{"id":"1ab39a7c-43d0-4280-a2d3-f60bb1b03e03","slug":"npm-iflow-mcp-namin-dafny-sketcher","name":"@iflow-mcp/namin-dafny-sketcher","description":"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 through a [third-party adapter](https://github.com/SecretiveShell/MCP-actions-adapter).","capabilities":[],"protocols":["MCP","OPENCLAW"],"safetyScore":77,"overallRank":18.974800000000002,"trustScore":null,"trust":null,"source":"NPM","updatedAt":"2026-02-24T19:43:14.176Z"}