{"success":true,"agent":{"slug":"hf-model-hllj-mistral-7b-vi-math-ruj7at-n","name":"Mistral-7B-Vi-Math"},"proofCount":0,"proof":[]}