see AGENTS.md