Armory
Source
Browse
MCPs

namin-dafny-verifier

Integrates with Dafny to verify code correctness through analysis of formal specifications and proofs.

Score
57.7542 signals
Evidence
3 stars · 4 forks
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. mathematica-mcp48 stars · 6 forks83.876
  2. p2pclaw-mcp-server15 stars · 13 forks81.185
  3. chimera-protocol-csl-core16 stars · 12 forks80.448

What it is

MCP server Dafny Verifier, catalogued on PulseMCP. Integrates with Dafny to verify code correctness through analysis of formal specifications and proofs.

When to use it

Integrates with Dafny to verify code correctness through analysis of formal specifications and proofs.

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.