Read @AGENTS.md for coding guidelines