# dafny をインストール

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

## インストール

```sh
sudo av install brew:dafny
```

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

### macOS

- Homebrew (100%):

```sh
brew install dafny
```

  証拠: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#dafny
```

  証拠: nixpkgs package indexes: pkgs/by-name/da/dafny/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- Ubuntu apt (92%):

```sh
sudo apt install dafny
```

  証拠: Ubuntu 24.04 LTS package indexes: dafny from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

### Windows

- Scoop (92%):

```sh
scoop install main/dafny
```

  証拠: Scoop official bucket manifest trees: bucket/dafny.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

## パッケージ情報

- **パッケージキー:** brew:dafny
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/dafny>
- **バージョン:** 4.11.0
- **ソース概要:** Verification-aware programming language
- **ホームページ:** <https://github.com/dafny-lang/dafny/blob/master/README.md>
- **リポジトリ:** <https://github.com/dafny-lang/dafny>
- **上流ドキュメント:** <https://github.com/dafny-lang/dafny/blob/master/README.md>
- **ライセンス:** MIT
- **ソースアーカイブ:** <https://github.com/dafny-lang/dafny/archive/refs/tags/v4.11.0.tar.gz>
- **更新:** 2026-05-19T13:34:00-04:00
- **生成ソース:** 2026-05-26T22:45:13+00:00

## 実行可能ファイル

- dafny (cli)
- dafny (エイリアス)

## 依存関係

- dotnet@8
- z3

## ビルド依存関係

- gradle@8
- openjdk

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, ventura, x86_64_linux

## 鮮度

- ページ生成日: 2026-05-26
- マネージャ版: 4.11.0
- マネージャ更新日: 2026-05-19
- ローカルデータ: ok
- 上流リポジトリ: https://github.com/dafny-lang/dafny
- 検出された最新: v4.11.0 (current)

## セキュリティノート

generalized runtime or code generation signal.

- **Geiger リスク:** yellow / medium
- generalized runtime or code generation signal

## 関連リンク

- [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime dependency declared by Homebrew.
- [dotnet@8](https://www.automicvault.com/pkg/brew/dotnet-8/) - Runtime dependency declared by Homebrew.
- [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Build dependency declared by Homebrew.
- [gradle@8](https://www.automicvault.com/pkg/brew/gradle-8/) - Build dependency declared by Homebrew.
- [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/)

## ソース

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph