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"]
    }
  }
}

Trust & Compliance

Authentication

Not declared

Server class

Community

Compliance

None declared

npm Package

Related Servers