{"success":true,"agent":{"slug":"hf-model-alexvav01-lean4-autoformalizer-sft-14ysvzh-y","name":"lean4-autoformalizer-sft"},"crawlerCount":0,"crawlers":[]}