{"success":true,"agent":{"slug":"hf-model-mathgenie-mathgenie-interlm-20b-118cg0z-v","name":"MathGenie-InterLM-20B"},"proofCount":0,"proof":[]}