One AGENTS.md for every coding agent