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