达芬·麦克普
用于模型上下文协议的Dafny验证器工具，可与Claude一起使用
依赖项
- 在本地使用Dafny，因此请安装它，例如。
brew install dafny在Mac OS X上。 - 使用 MCP Python SDK
设置
uv pip install "mcp[cli]"mcp install mcp.pymcp dev mcp.py
运维云端未说明官方级别未说明来源级核验
Dafny MCP
MCP Server
用于模型上下文协议的Dafny验证工具，可与Claude一起使用。
工具数
0
提示词数
0
GitHub Stars
3
资源数
0
PythonClaude云端部署Claude
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
详细介绍
目录标签
目录标签
PythonClaude云端部署验证工具本地部署模型验证协议验证
支持客户端
Claude
接入字段
传输方式（transport，传输协议）
未说明
鉴权方式（authType，认证方式）
none
工具数量（toolCount，工具数）
0
资源数量（resourceCount，资源数）
0
提示词数量（promptCount，提示词数）
0
权限和风险
未说明none部署方式未说明
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
安装前确认
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
仍需确认：installCommand
来源信息
继续浏览同类 MCP
上一个 MCP
Daemon MCP
Daemon注册服务是一个用于管理和发现个人Daemon的MCP服务器，允许用户查询个人Daemon、发现社区网络并将自己的Daemon注册到注册表中。
下一个 MCP
DagPipe Pipeline Generator
Generates crash-proof Python LLM pipelines from plain English descriptions. Pipelines resume from the last successful node after a crash instead of restarting from scratch. IProvider-agnostic , works with Groq, Gemini, Ollama, OpenAI, or any Python callable. Zero infrastructure, runs entirely on free-tier APIs.