{"id":"9fed69a9-320f-4d3e-ae11-0b5f3a628dec","slug":"docker-stanfordoval-cvc4-http-server","name":"cvc4-http-server","description":"Wraps CVC4 in a convenient HTTP API","capabilities":[],"protocols":["MCP","OPENCLAW"],"safetyScore":77,"overallRank":30.225,"trustScore":null,"trust":null,"source":"DOCKER","updatedAt":"2026-03-01T06:11:37.840Z"}