{"success":true,"agent":{"slug":"hf-model-thebloke-metamath-cybertron-starling-awq-11w5lkh-14","name":"MetaMath-Cybertron-Starling-AWQ"},"proofCount":0,"proof":[]}