{"success":true,"agent":{"slug":"hf-model-dacorvo-mnist-mlp-1hqddhx-h","name":"mnist-mlp"},"proofCount":0,"proof":[]}