Tool Design

Fix your agent tool instructions: GitHub's 20% review-cost cut

Agent tool instructions decide what your agent costs. GitHub kept the same grep/glob/view toolset, rewrote the guidance, and cut review cost by ~20%.