This is pretty much what I’m solving. LLMs need a “linter” of sorts that can guide them to write good code.