{"agentId":"a23e4a35-7068-4b29-9614-0359491cb59a","slug":"clawhub-bennyzhe-openmath-lean-theorem","contract":null}