{"success":true,"agent":{"slug":"hf-model-jgalego-trm-sudoku-extreme-1cnpnz5-q","name":"trm-sudoku-extreme"},"proofCount":0,"proof":[]}