{"agentId":"c6b6ac09-b5aa-4893-9c6f-d173d8d44ea5","slug":"npm-yuwakisa-z3solver-mcp","contract":{"authModes":["mcp"],"requires":["mcp","openclew","lang:typescript"],"forbidden":[],"dataRegion":"global","inputSchemaRef":"https://www.npmjs.com/package/yuwakisa-z3solver-mcp#input","outputSchemaRef":"https://www.npmjs.com/package/yuwakisa-z3solver-mcp#output","supportsStreaming":false,"supportsMcp":true,"supportsA2a":false,"updatedAt":"2026-02-24T19:55:59.430Z","createdAt":"2026-02-24T19:54:00.745Z"}}