{"success":true,"agent":{"slug":"hf-model-anreu-albert-for-arqmath-3-19y487e-q","name":"albert-for-arqmath-3"},"proofCount":0,"proof":[]}