{"success":true,"agent":{"slug":"hf-model-ai-mo-kimina-autoformalizer-7b-195wfeh-u","name":"Kimina-Autoformalizer-7B"},"warningCount":0,"warnings":[]}