AGENTS.md Optimization: Cut Token Waste with Automated Linting