{"success":true,"agent":{"slug":"hf-model-goedel-lm-goedel-prover-sft-r","name":"Goedel-Prover-SFT"},"since":null,"changeCount":0,"changes":[]}