pkg.soopen package index

brew / 順位 4973

dafny を Homebrew, Nix, apt, scoop でインストール

dafny のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install dafny

local Homebrew formula metadata

Linux

Nix確認済み · 92%
nix profile install nixpkgs#dafny

nixpkgs package indexes · pkgs/by-name/da/dafny/package.nix · ソース: api.github.com

Ubuntu apt確認済み · 92%
sudo apt install dafny

Ubuntu 24.04 LTS package indexes · dafny · ソース: archive.ubuntu.com

Windows

Scoop確認済み · 92%
scoop install main/dafny

Scoop official bucket manifest trees · bucket/dafny.json · ソース: api.github.com

概要

パッケージ概要

Verification-aware programming language

コマンドとエイリアス

  • dafny

履歴

プロジェクトの歴史と使われ方

Dafny is a verification-aware programming language and toolchain. It occupies a special package-manager niche: a single CLI that lets developers write programs, specifications, and proofs together, then verify them and compile to mainstream languages.

プロジェクトの歴史

The official Dafny README describes Dafny as a verification-ready programming language whose verifier checks code against specifications while the developer writes. The public dafny-lang/dafny repository was created in 2016, and GitHub release metadata records Dafny 1.9.7 in June 2016.

採用の歴史

Dafny has grown through language documentation, binary releases for common operating systems, a wiki and issue tracker, and editor-centered workflows such as Visual Studio Code installation. Its README also points to tutorials, reference material, a Zulip channel, and a standard library, which are typical signs of a specialist language moving from research use into practical developer workflows.

使われ方

Users write Dafny programs with specifications such as preconditions, postconditions, invariants, and proofs; the Dafny verifier checks them, and the compiler can emit C#, Go, Python, Java, or JavaScript. The reference manual is the authoritative source for the language and verification system.

パッケージ好きにとっての重要性

Dafny matters in package history because it packages formal methods as an installable developer tool rather than a one-off theorem-proving environment. It gives package managers a concrete artifact for a verification language, including CLI binaries, documentation, and cross-platform releases.

タイムライン

  • 2016: Public dafny-lang/dafny GitHub repository is created.
  • 2016: Dafny 1.9.7 is published on GitHub releases.
  • 2017: Dafny 2.0.0 is published on GitHub releases.
  • 2025: Dafny 4.11.0 is published on GitHub releases.

Related projects

  • The official README lists influences including Euclid, Eiffel, CLU, Java, C#, Scala, ML, Coq, and VeriFast, and points to Dafny libraries and editor integrations.

セキュリティ状態

リスクレベル: yellow

generalized runtime or code generation signal.

リスク分類器

リスク yellow · 信頼度 中 · runtime

理由

  • generalized runtime or code generation signal

信号

  • text:programming language

インストール挙動

  • Homebrew bottle メタデータは記録されていません。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
dafny実行可能ファイルインデックス済み実行可能ファイルローカル実行可能ファイルインデックスから検出されました。

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-08-03
マネージャ版4.11.0
マネージャ更新日2026-06-22
ローカルデータ不明
上流利用不可
検出された最新未検出
  • OK鮮度警告は生成されていません。

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:dafny
バージョン4.11.0
パッケージマネージャHomebrew
ホームページhttps://github.com/dafny-lang/dafny/blob/master/README.md
リポジトリhttps://github.com/dafny-lang/dafny
最終更新2026-06-22T14:03:07-07:00
Pulseupdated
Bottle未記録
サービス宣言なし

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Nix95%

dafny

nix profile install nixpkgs#dafny
  • normalized package name match
  • 一致条件: Dafny
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/da/dafny/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

dafny 2.3.0+dfsg-0.1

programming language with program correctness verifier

https://research.microsoft.com/en-us/projects/dafny/

sudo apt install dafny
  • Section: universe/devel
  • Architecture: all
  • 9 依存関係
  • normalized package name match
  • 一致条件: Dafny
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: dafny from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Scoop95%

main/dafny

scoop install main/dafny
  • normalized package name match
  • 一致条件: Dafny
Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/dafny.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation