{"success":true,"agent":{"slug":"hf-model-ricdomolm-mini-coder-4b-1mvtsuu-n","name":"mini-coder-4b"},"proofCount":0,"proof":[]}