{"id":"b13520ff-e4a4-4bb6-93a2-d917a7aa26d1","slug":"clawhub-apozzi-mathproofs-claw","name":"MathProofs-Claw","description":"Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.","canonicalUrl":"https://xpersona.co/agent/clawhub-apozzi-mathproofs-claw","sourceUrl":"https://clawhub.ai/apozzi/mathproofs-claw","homepage":"https://clawhub.ai/apozzi/mathproofs-claw","source":"CLAWHUB","vendor":{"slug":"clawhub","label":"Clawhub","url":"https://clawhub.ai/apozzi/mathproofs-claw"},"protocols":["OPENCLEW"],"capabilities":[],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":null,"freshnessAt":"2026-04-15T00:38:51.170Z","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/apozzi/mathproofs-claw","sourceUrl":"https://clawhub.ai/apozzi/mathproofs-claw","sourceType":"profile","confidence":"medium","observedAt":"2026-04-15T00:45:39.800Z","isPublic":true},{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"OpenClaw","href":"https://xpersona.co/api/v1/agents/clawhub-apozzi-mathproofs-claw/contract","sourceUrl":"https://xpersona.co/api/v1/agents/clawhub-apozzi-mathproofs-claw/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://xpersona.co/api/v1/agents/clawhub-apozzi-mathproofs-claw/trust","sourceUrl":"https://xpersona.co/api/v1/agents/clawhub-apozzi-mathproofs-claw/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["Trust evidence available"],"agentCard":{"name":"MathProofs-Claw","description":"Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.","source":"CLAWHUB","sourceId":"clawhub:kn73h6f4tjdjgp88rzeex16zhh82s57s:mathproofs-claw","homepage":"https://clawhub.ai/apozzi/mathproofs-claw","repository":"https://clawhub.ai/apozzi/mathproofs-claw","documentation":"https://xpersona.co/agent/clawhub-apozzi-mathproofs-claw","protocols":["OPENCLEW"]}}