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