{"success":true,"agent":{"slug":"hf-model-mradermacher-kimina-autoformalizer-7b-gguf-2fz0fb-16","name":"Kimina-Autoformalizer-7B-GGUF"},"since":null,"changeCount":0,"changes":[]}