{"success":true,"agent":{"slug":"hf-model-ivanojok-ruleguidedqwen-13kjyq4-n","name":"RuleGuidedQwen"},"proofCount":0,"proof":[]}