{"success":true,"agent":{"slug":"hf-model-simondvic-axioms-mira-dataset-10wbxrg-t","name":"axioms-mira-dataset"},"proofCount":0,"proof":[]}