Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude
- Uses Dafny locally so install it, e.g.
brew install dafnyon Mac OS X. - Uses the MCP Python SDK
uv pip install "mcp[cli]"mcp install mcp.pymcp dev mcp.py
-
Notifications
You must be signed in to change notification settings - Fork 2
Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude
License
namin/dafny-mcp
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published