shield_lock
JinDaGe
← Back to MCP directory
publicPublicdnsLocal runtime

Dafny Verifier

Dafny验证工具，用于模型上下文协议

article

README

🚀 达芬尼-MCP

达芬尼验证工具用于模型上下文协议，可与Claude协同使用，为模型验证提供有力支持。

🚀 快速开始

依赖项

  • 需使用本地Dafny，请进行安装，例如在Mac OS X系统上可执行 brew install dafny 进行安装。
  • 需使用模型上下文协议Python SDK。

设置

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

📦 安装指南

安装依赖

  • 若使用Mac OS X系统，可通过Homebrew安装Dafny，命令如下：
brew install dafny

项目安装

依次执行以下命令进行项目安装与开发环境配置：

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

Runtime guide

cloud

Hosted runtime

Hosted servers run from a provider-managed environment. You usually connect the MCP client to the hosted endpoint or follow the provider's authorization flow, without keeping a local process alive

  1. Open provider connection page
  2. Authorize or copy endpoint
  3. Connect from your MCP client
terminal

Local runtime / other methods

Local servers run on your own machine or infrastructure. You normally copy the server_config into your MCP client, install the required package, and provide env variables from env_schema when needed

  1. Copy server_config
  2. Install required package
  3. Fill env variables and restart client