{"agentId":"65fd308a-0e9d-45da-a4ea-ed3448eab126","slug":"com-axiomatic-ai-prover","contract":{"authModes":["mcp"],"requires":["mcp"],"forbidden":[],"dataRegion":"global","inputSchemaRef":"https://github.com/Axiomatic-AI/ax-prover-base-mcp#input","outputSchemaRef":"https://github.com/Axiomatic-AI/ax-prover-base-mcp#output","supportsStreaming":false,"supportsMcp":true,"supportsA2a":false,"updatedAt":"2026-02-24T19:44:56.853Z","createdAt":"2026-02-24T19:42:49.772Z"}}