{"success":true,"agent":{"slug":"hf-model-thebloke-metamath-mistral-7b-gptq-1jhpxz1-x","name":"MetaMath-Mistral-7B-GPTQ"},"proofCount":0,"proof":[]}