namin/dafny-mcp

Score: 19.7 Rank #13598

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

namin/dafny-mcp is a Python MCP server licensed under MIT. Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude

Ranked #13598 out of 25632 indexed tools.

Python MIT

Stars 2

Freshness 1y ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 3

Description Good

License MIT

Description low impact

Expand your description to 150+ characters for better discoverability

Freshness high impact

Last commit was 421 days ago — a recent commit would boost your freshness score

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/namin--dafny-mcp)](https://agentrank-ai.com/tool/namin--dafny-mcp)

HTML

<a href="https://agentrank-ai.com/tool/namin--dafny-mcp"><img src="https://agentrank-ai.com/api/badge/tool/namin--dafny-mcp" alt="AgentRank"></a>

"model context protocol""model-context-protocol"

Are you the maintainer? Claim this listing