dafny-mcp
2025.01.20
2
PythonDafny 验证工具模型上下文协议开发效率
dafny-mcp 是一个用于 Model Context Protocol 的 Dafny 验证工具，可以与 Claude 一起使用。它主要用于验证和开发基于 Dafny 的模型上下文协议。
View on GitHub
Overview
基本能力
产品定位
dafny-mcp 是一个用于验证和开发基于 Dafny 的模型上下文协议的工具，特别适用于与 Claude 集成使用。
核心功能
- 提供 Dafny 验证功能，用于验证模型上下文协议的正确性。
- 与 MCP Python SDK 集成，支持 Python 环境下的开发。
适用场景
- 开发基于 Dafny 的模型上下文协议。
- 验证模型上下文协议的正确性和一致性。
- 与 Claude 集成使用，提升开发效率。
工具列表
- Dafny: 本地安装的 Dafny 工具，用于验证和开发。
- MCP Python SDK: 提供 Python 环境下的开发支持。
常见问题解答
- 无明确常见问题解答部分。
使用教程
使用依赖
- 安装 Dafny，例如在 Mac OS X 上使用命令：
brew install dafny - 安装 MCP Python SDK：访问 MCP Python SDK
安装教程
- 使用以下命令安装 mcp 及其 CLI 工具：
bash uv pip install "mcp[cli]" - 安装 mcp.py：
bash mcp install mcp.py - 开发模式启动：
bash mcp dev mcp.py
调试方式
- 无明确调试步骤说明。