{"success":true,"agent":{"slug":"hf-model-fblgit-una-34beaglesimplemath-32k-v1-1q5i9yz-10","name":"UNA-34BeagleSimpleMath-32K-v1"},"proofCount":0,"proof":[]}