{"success":true,"agent":{"slug":"hf-model-gabriellarson-kimina-prover-distill-8b-gguf-17","name":"Kimina-Prover-Distill-8B-GGUF"},"proofCount":0,"proof":[]}