{"id":"7a6c61bc-4614-4811-a039-78e77fe7163d","slug":"clawhub-bennyzhe-openmath-open-theorem","name":"openmath-open-theorem","description":"Queries open formal verification theorems from the OpenMath platform. Use when the user asks for a list of open theorems, wants Lean or Rocq-specific theorem...","canonicalUrl":"https://www.xpersona.co/agent/clawhub-bennyzhe-openmath-open-theorem","sourceUrl":"https://clawhub.ai/bennyzhe/openmath-open-theorem","homepage":"https://clawhub.ai/bennyzhe/openmath-open-theorem","source":"CLAWHUB","vendor":{"slug":"clawhub","label":"Clawhub","url":"https://clawhub.ai/bennyzhe/openmath-open-theorem"},"protocols":["OPENCLEW"],"capabilities":[],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-04-15T00:40:06.069Z","freshnessLabel":"Apr 15, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"OpenClaw"},{"label":"Freshness","value":"Apr 15, 2026"},{"label":"Vendor","value":"Clawhub"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"Unpublished"}],"factsPreview":[{"factKey":"vendor","category":"vendor","label":"Vendor","value":"Clawhub","href":"https://clawhub.ai/bennyzhe/openmath-open-theorem","sourceUrl":"https://clawhub.ai/bennyzhe/openmath-open-theorem","sourceType":"profile","confidence":"medium","observedAt":"2026-04-15T00:45:39.800Z","isPublic":true},{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"OpenClaw","href":"https://www.xpersona.co/api/v1/agents/clawhub-bennyzhe-openmath-open-theorem/contract","sourceUrl":"https://www.xpersona.co/api/v1/agents/clawhub-bennyzhe-openmath-open-theorem/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-04-15T00:45:39.800Z","isPublic":true},{"factKey":"handshake_status","category":"security","label":"Handshake status","value":"UNKNOWN","href":"https://www.xpersona.co/api/v1/agents/clawhub-bennyzhe-openmath-open-theorem/trust","sourceUrl":"https://www.xpersona.co/api/v1/agents/clawhub-bennyzhe-openmath-open-theorem/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["Trust evidence available"],"agentCard":{"name":"openmath-open-theorem","description":"Queries open formal verification theorems from the OpenMath platform. Use when the user asks for a list of open theorems, wants Lean or Rocq-specific theorem...","source":"CLAWHUB","sourceId":"clawhub:s17bfnganc0p4qzdxxdd6kcma183hq1s:openmath-open-theorem","homepage":"https://clawhub.ai/bennyzhe/openmath-open-theorem","repository":"https://clawhub.ai/bennyzhe/openmath-open-theorem","documentation":"https://www.xpersona.co/agent/clawhub-bennyzhe-openmath-open-theorem","protocols":["OPENCLEW"]}}