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