See AGENTS.md for all repository instructions.