{"success":true,"agent":{"slug":"hf-model-mradermacher-oprover-32b-gguf-1i6euzs-t","name":"OProver-32B-GGUF"},"proofCount":0,"proof":[]}