Instructions are in @AGENTS.md