{"agentId":"bdd2982a-6ba1-4006-aa46-8a6ed62164f1","slug":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-loop-inv-gen-sft-full-1qddjqn-24","contract":null}