icon for mcp server

Dafny MCP Verifier

STDIO

Dafny Verifier Tool for Model Context Protocol, compatible with Claude.

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

Be the First to Experience MCP Now