{"agentId":"83fb63db-85d4-4ddb-9881-cc64e1d643f0","slug":"clawhub-willamhou-formal-provers","contract":null}