{"success":true,"agent":{"slug":"hf-model-mrseongminkim-resyn-set2regex-1uz1fvh-t","name":"ReSyn-Set2Regex"},"proofCount":0,"proof":[]}