{"success":true,"agent":{"slug":"hf-model-rosieyzh-finemath4-full-150m-1yoteon-s","name":"finemath4_full_150m"},"proofCount":0,"proof":[]}