Github copilot is a little too opinionated, but we still use it to catch obvious stuff.

Codex on top of that with specific rules and syntax requirements.