{"success":true,"agent":{"slug":"hf-model-lllljff-deepseek-math-1y2lamh-l","name":"deepseek-math"},"proofCount":0,"proof":[]}