dafny-verifier

内容来源：README.md（说明文档） · 原始地址 · 查看安装指南

原始内容

# dafny-mcp
Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude

## Dependencies

- Uses Dafny locally so install it, e.g. `brew install dafny` on Mac OS X.
- Uses the [MCP Python SDK](https://github.com/modelcontextprotocol/python-sdk)


## Setup

- `uv pip install "mcp[cli]"`
- `mcp install mcp.py`
- `mcp dev mcp.py`

dafny-mcp

Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude

Dependencies

Uses Dafny locally so install it, e.g. brew install dafny on Mac OS X.
Uses the MCP Python SDK

Setup

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