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 dafny on Mac OS X.
• Uses the MCP Python SDK

Setup

• uv pip install "mcp[cli]"
• mcp install mcp.py
• mcp dev mcp.py