Discover the toolingbehind modern intelligence
The operating system for AI infrastructure discovery. Search a live map of MCP servers, AI agents, LLM tools, automation systems, and developer infrastructure.
dafny-mcp
Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude
3stars
3forks
Python
Quality signals
StaleNo testsNo CIThin docsNo licenseNew
InstallMCPRun via uvx (Python)
Universal installANY TOOL
$ npx skillcity@latest namin/dafny-mcpAuto-detects the skill or MCP server in this repo and installs it for Claude Code, Codex, Cursor, Cline, OpenCode, Gemini CLI, Anti-Gravity, OpenClaw and Hermes.
Requires Node.js 18+ (ships with npx).
Or install manually
uvx dafny-mcp
MCP Configuration
Add this to your claude_desktop_config.json
{
"mcpServers": {
"dafny-mcp": {
"command": "uvx",
"args": [
"dafny-mcp"
]
}
}
}Loading README…
Ask a simulated agent to run this skill. It loads the real SKILL.md and reasons over your task with NVIDIA.
dafny-mcp — sandboxAI sandbox
Pick a quick prompt below or type your own — watch the agent execute this skill step by step.
guest@skillcity:~$Try a prompt