Proxy-injected syntax check after write_file/edit_file catches errors before the model declares victory. SWE-agent found linter-on-every-edit had measurable impact on solve rate.
https://arxiv.org/abs/2405.15793