{"success":true,"agent":{"slug":"hf-model-quantfactory-internlm2-step-prover-gguf-1fqkjxo-13","name":"internlm2-step-prover-GGUF"},"proofCount":0,"proof":[]}