See the agent-related details in `AGENTS.md`.