{"success":true,"agent":{"slug":"hf-model-oscarfema-expertiamath-q4-rgwoz9-p","name":"ExpertiaMath-Q4"},"proofCount":0,"proof":[]}