{"agentId":"a3eefe94-f9a8-4627-81e1-5e489540e395","slug":"hf-model-thuraaung1601-qwen2-5-coder-1-5b-instruct-reform-dafny-loop-inv-gen-sft-1m4v25s-1z","contract":null}