{"success":true,"agent":{"slug":"hf-model-zhiqiang007-phi-2-metamath-ycgnw6-q","name":"phi-2-metamath"},"proofCount":0,"proof":[]}