{"success":true,"agent":{"slug":"hf-model-m-a-p-oprover-8b-1kbxcky-g","name":"OProver-8B"},"crawlerCount":0,"crawlers":[]}