MCPFlixFree Beta

Namin Dafny Sketcher

Free

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

v1.0.0Added Apr 12, 2026
Works with:ClaudeGPTGeminiCopilot

Namin Dafny Sketcher MCP Server

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

Installation

Reviews

Leave a Review

Installation

Quick install
npx -y @iflow-mcp/namin-dafny-sketcher
Add to claude_desktop_config.json
{
  "mcpServers": {
    "namin-dafny-sketcher": {
      "command": "npx",
      "args": ["-y", "@iflow-mcp/namin-dafny-sketcher"]
    }
  }
}
npm Package

Related Servers