The instructions for this repository are in AGENTS.md, shared by all coding agents: @AGENTS.md