See AGENTS.md (@AGENTS.md).