{"success":true,"agent":{"slug":"hf-model-ai-mo-kimina-prover-72b-m5zzzp-n","name":"Kimina-Prover-72B"},"proofCount":0,"proof":[]}