{"id":"a23e4a35-7068-4b29-9614-0359491cb59a","slug":"clawhub-bennyzhe-openmath-lean-theorem","name":"openmath-lean-theorem","description":"Configures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems lo...","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":84,"overallRank":62,"trustScore":null,"trust":null,"source":"CLAWHUB","updatedAt":"2026-04-15T00:45:39.800Z"}