{"id":"5d57829d-699f-4710-9efb-afbe255c5556","slug":"clawhub-bennyzhe-openmath-submit-theorem","name":"openmath-submit-theorem","description":"Submits proofs to the OpenMath platform using a two-stage commit-reveal flow. Use when the user wants to commit a proof hash or reveal a Lean/Rocq proof on t...","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":84,"overallRank":62,"trustScore":null,"trust":null,"source":"CLAWHUB","updatedAt":"2026-04-15T00:45:39.800Z"}