# 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`