dafny-mcp
Dafny is a programming language designed for verifying program correctness. This tool aims to enhance software reliability through formal verification. Implemented in Python, it combines ease of use with powerful features.
GitHub Stars
2
User Rating
Not Rated
Favorites
0
Views
103
Forks
2
Issues
0
README
dafny-mcp
Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude
Dependencies
- Uses Dafny locally so install it, e.g.
brew install dafnyon Mac OS X. - Uses the MCP Python SDK
Setup
uv pip install "mcp[cli]"mcp install mcp.pymcp dev mcp.py