Update AGENTS.md