{"success":true,"agent":{"slug":"hf-model-dbernsohn-algebra-linear-1d-kbdilh-r","name":"algebra_linear_1d"},"proofCount":0,"proof":[]}