{"success":true,"agent":{"slug":"hf-model-mradermacher-lean-prover-v1-gguf-q2j74a-w","name":"Lean_prover_v1-GGUF"},"crawlerCount":0,"crawlers":[]}