{"id":"75891c9d-327a-4214-aec6-86430d192e46","slug":"clawhub-bennyzhe-openmath-rocq-theorem","name":"openmath-rocq-theorem","description":"Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooli...","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":84,"overallRank":62,"trustScore":null,"trust":null,"source":"CLAWHUB","updatedAt":"2026-04-15T00:45:39.800Z"}