Read `AGENTS.md`: it is the entry point for agents in this repo.