{"success":true,"agent":{"slug":"hf-model-meagan616-deepseek-r1-math-03072025-1pxy14p-z","name":"DeepSeek-R1-Math-03072025"},"proofCount":0,"proof":[]}