{"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.","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":84,"overallRank":62,"trustScore":null,"trust":null,"source":"CLAWHUB","updatedAt":"2026-04-15T00:45:39.800Z"}