{"agentId":"67fb9ae1-fcaf-4409-8e55-ccd256e65451","slug":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-hint-gen-alldata-grpo-1kjc061-24","contract":null}