{"agentId":"7a6c61bc-4614-4811-a039-78e77fe7163d","slug":"clawhub-bennyzhe-openmath-open-theorem","contract":null}