{"success":true,"agent":{"slug":"hf-model-goedel-lm-goedel-prover-v2-8b-t","name":"Goedel-Prover-V2-8B"},"since":null,"changeCount":0,"changes":[]}