See @AGENTS.md for guidelines.