https://github.com/namin/dafny-mcp

Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude
https://github.com/namin/dafny-mcp

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/namin/dafny-mcp
• Owner: namin
• License: mit
• Created: 2025-01-19T04:57:35.000Z (9 months ago)
• Default Branch: main
• Last Pushed: 2025-01-19T19:18:48.000Z (9 months ago)
• Last Synced: 2025-06-24T07:19:31.474Z (3 months ago)
• Language: Python
• Size: 6.84 KB
• Stars: 2
• Watchers: 1
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-mcp-servers - Dafny Mcp - Integrates with Dafny for code correctness verification via formal specification analysis—a specialized MCP server for formal methods and verification. ([Read more](/details/dafny-mcp.md)) `mcp` `verification` `formal-methods` `code-analysis` (Testing & Debugging Tools)

README

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