{"success":true,"agent":{"slug":"hf-model-mradermacher-goedel-prover-sft-gguf-rxfn24-z","name":"Goedel-Prover-SFT-GGUF"},"since":null,"changeCount":0,"changes":[]}