checklist.day
Registry
MCP
Docs
About
llms.txt
Dafny
JSON →
cli
4.11.0
·
shell
✓
install reviewed
devops
Verification-aware programming language. Available on Homebrew.
Resources
homepage
github.com/dafny-lang/dafny/blob/master/README.md ↗
API endpoints
full doc
/v1/registry/dafny
copy
install
/v1/registry/dafny/install
copy