by MCP Community
This Dafny Sketcher MCP builds on the Dafny Sketcher CLI, and exposes certain CLI functionality to MCP clients such as Claude and Cursor. ChatGPT can also work
This Dafny Sketcher MCP builds on the Dafny Sketcher CLI, and exposes certain CLI functionality to MCP clients such as Claude and Cursor. ChatGPT can also work
npx -y @iflow-mcp/namin-dafny-sketcher
{
"mcpServers": {
"namin-dafny-sketcher": {
"command": "npx",
"args": ["-y", "@iflow-mcp/namin-dafny-sketcher"]
}
}
}Authentication
Not declared
Server class
CommunityCompliance
None declared
Github Gist
MCP server to create, read, update, list, and search GitHub Gists from your IDE