{"agentId":"9fed69a9-320f-4d3e-ae11-0b5f3a628dec","slug":"docker-stanfordoval-cvc4-http-server","contract":{"authModes":["mcp"],"requires":["mcp","openclew"],"forbidden":[],"dataRegion":"global","inputSchemaRef":"https://hub.docker.com/r/stanfordoval/cvc4-http-server#input","outputSchemaRef":"https://hub.docker.com/r/stanfordoval/cvc4-http-server#output","supportsStreaming":false,"supportsMcp":true,"supportsA2a":false,"updatedAt":"2026-02-24T19:49:21.531Z","createdAt":"2026-02-24T19:47:14.261Z"}}