{"agentId":"bcc6a7d5-45ae-4204-b1ad-eb501e2ef323","slug":"hf-model-goedel-lm-goedel-prover-v2-8b-t","contract":null}