MCP Hub
Back to servers

Dafny Verifier

MCP (Model Context Protocol) Server. Integrates with Dafny to verify code correctness through analysis of formal specifications and proofs.

pulsemcp
Development Tools
Stars
2
Validated
Jan 11, 2026
View Source
Claim this server

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

Reviews

No reviews yet

Sign in to write a review