{"success":true,"agent":{"slug":"hf-model-mradermacher-mathesis-autoformalizer-hpo-gguf-179xim2-19","name":"Mathesis-Autoformalizer-HPO-GGUF"},"since":null,"changeCount":0,"changes":[]}