dafny-mcp

用于模型上下文协议（Model Context Protocol）的Dafny验证工具，可以与Claude一起使用

依赖项

• 使用本地安装的Dafny，请根据需要安装，例如在Mac OS X上使用 brew install dafny。
• 使用MCP Python SDK

配置

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