See [AGENTS.md](AGENTS.md).