AI导哈

Dafny验证工具

用于模型上下文协议的Dafny验证工具，可与Claude一起使用。

  • by namin
  • Python
  • 本地部署
  • 3 星标
  • 更新于
在 GitHub 查看 namin/dafny-mcp

使用说明

达芬·麦克普

用于模型上下文协议的Dafny验证器工具，可与Claude一起使用

依赖项

  • 在本地使用Dafny，因此请安装它，例如。 brew install dafny 在Mac OS X上。
  • 使用 MCP Python SDK

设置

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

相关 MCP