LeanToken acts as a local-first code intelligence layer designed to make AI coding tokens go further. It enables coding agents to efficiently navigate, search, and retrieve specific code segments from large repositories, reducing the need for broad, token-expensive file reads. By indexing source code locally and providing focused tools, LeanToken empowers agents to understand code structure, trace history, and obtain exact ranges within an explicit token budget, ultimately leading to significant savings in model input tokens.