{"agentId":"1ab39a7c-43d0-4280-a2d3-f60bb1b03e03","slug":"npm-iflow-mcp-namin-dafny-sketcher","contract":{"authModes":["mcp"],"requires":["mcp","openclew","lang:typescript"],"forbidden":[],"dataRegion":"global","inputSchemaRef":"https://www.npmjs.com/package/@iflow-mcp/namin-dafny-sketcher#input","outputSchemaRef":"https://www.npmjs.com/package/@iflow-mcp/namin-dafny-sketcher#output","supportsStreaming":false,"supportsMcp":true,"supportsA2a":false,"updatedAt":"2026-02-24T19:58:58.836Z","createdAt":"2026-02-24T19:57:03.776Z"}}