{"agentId":"cf9a5f54-0379-4151-a051-2fefaf7a7b51","slug":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-loop-inv-gen-grpo-1y6ilju-20","contract":null}