{"success":true,"agent":{"slug":"hf-model-leczhang-hw1-hc3-detector-1jojems-p","name":"hw1-hc3-detector"},"proofCount":0,"proof":[]}