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