Automic VaultAutomic Vault

brew

dafny mit Homebrew, Nix, apt, scoop installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für dafny in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install dafny

local Homebrew formula metadata

Linux

Nixverifiziert · 92%
nix profile install nixpkgs#dafny

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

Ubuntu aptverifiziert · 92%
sudo apt install dafny

Ubuntu 24.04 LTS package indexes · dafny · Quelle: archive.ubuntu.com

Windows

Scoopverifiziert · 92%
scoop install main/dafny

Scoop official bucket manifest trees · bucket/dafny.json · Quelle: api.github.com

Überblick

Paketzusammenfassung

Verification-aware programming language

Befehle und Aliase

  • dafny

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

  • 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.

Sicherheitslage

Risikostufe: yellow

generalized runtime or code generation signal.

Risikoklassifikator

yellow Risiko · mittel Konfidenz · runtime

Warum

  • generalized runtime or code generation signal

Signale

  • text:programming language

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 8 Plattformziele verfügbar.
  • Installiert mit 2 Laufzeitabhängigkeiten.
  • Build-Metadaten listen 2 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
dafnycliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-10
Manager-Version4.11.0
Manager aktualisiert2026-06-22
lokale DatenOK
Upstreamaktuell
neueste erkannte Versionv4.11.0

https://github.com/dafny-lang/dafny

  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:dafny
Version4.11.0
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/dafny
Homepagehttps://github.com/dafny-lang/dafny/blob/master/README.md
Repositoryhttps://github.com/dafny-lang/dafny
Upstream-Dokumentationhttps://dafny.org/dafny/DafnyRef/DafnyRef
LizenzMIT
Quellarchivhttps://github.com/dafny-lang/dafny/archive/refs/tags/v4.11.0.tar.gz
Zuletzt aktualisiert2026-06-22T14:03:07-07:00
Pulseupdated
Abhängigkeitendotnet@8, z3
Build-Abhängigkeitengradle@8, openjdk
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namedafny
Version Scheme0
Revision0
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

dafny

nix profile install nixpkgs#dafny
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Verwandte Tools

  • dotnet@8Runtime dependency declared by Homebrew.
  • z3Runtime dependency declared by Homebrew.
  • openjdkBuild dependency declared by Homebrew.

Gleicher Workflow

  • sbyShares av.db curated category or tags: cli, developer-tools, formal-methods, formal-verification.
  • cbmcShares av.db curated category or tags: cli, developer-tools, formal-verification, static-analysis.
  • proof-generalShares av.db curated category or tags: cli, developer-tools, formal-methods.
  • quintShares av.db curated category or tags: cli, developer-tools, formal-methods.
  • stpShares av.db curated category or tags: cli, developer-tools, formal-methods.
  • actionlintShares av.db curated category or tags: cli, developer-tools, static-analysis.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment