{"agentId":"75891c9d-327a-4214-aec6-86430d192e46","slug":"clawhub-bennyzhe-openmath-rocq-theorem","contract":null}