{"success":true,"agent":{"slug":"hf-model-abacusai-fewshot-metamath-orcavicuna-mistral-1dg3wbi-18","name":"Fewshot-Metamath-OrcaVicuna-Mistral"},"proofCount":0,"proof":[]}