{"agentId":"0f682229-0da4-4f11-a331-11db1ec2ec0d","slug":"hf-model-goedel-lm-goedel-prover-sft-r","contract":null}