---
slug: "dafny-verifier"
source_type: "readme"
source_url: "https://cdn.jsdelivr.net/gh/namin/dafny-mcp@main/README.md"
repo: "https://github.com/namin/dafny-mcp"
source_file: "README.md"
branch: "main"
---
# 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`