@AGENTS.md Instructions @.github/instructions/executing-commands.md: how to run specs commands locally and in CI.