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