Improved token efficiency in agentic Sourcegraph tools

Deep Search and MCP tools are now more token-efficient.