Um kit baseado em modelos que dá a agentes de programação com IA um fluxo model-first: modelar o negócio, avaliar e corrigir o modelo, gerar uma aplicação tipada e verificar o resultado.
yvgude/lean-ctx
Engine open source em Rust que filtra e comprime o contexto lido por ferramentas de programação com IA, com servidor MCP, hooks de shell e registros locais de auditoria.
- Estrelas
- 3,897
- Forks
- 356
- Issues abertas
- 10
- Último commit
- há 13 horas
O que é?
LeanCTX é um gateway de contexto para ferramentas de IA. Ele fica entre um agente de programação com IA e os arquivos, a saída do shell e os resultados de ferramentas que o agente lê, selecionando conteúdo relevante para a tarefa e reduzindo entradas repetidas ou ruidosas para que ocupem menos espaço na janela de contexto.
O Engine open source roda localmente por meio de uma CLI, de um servidor MCP, de hooks de shell e de um proxy de requisições opcional. Os modos de leitura compatíveis incluem visualizações completas, de mapas, de assinaturas, de diferenças e de intervalos de linhas; além disso, a saída de ferramentas como git, npm, cargo, docker e kubectl é comprimida. A análise com Tree-sitter abrange 27 linguagens, e permissões de caminhos, filtros de conteúdo e limites de contexto configurados são aplicados aos caminhos compatíveis.
O projeto também mantém memória local de sessões, um grafo de propriedades do código para análise de impacto e registros das operações de contexto, que podem ser consultados com `lean-ctx inspect` ou em um painel no navegador. A configuração é feita com `lean-ctx wrap` para agentes compatíveis, como Cursor, Claude Code e Codex.
Recursos principais
- 01Vários modos de leitura de arquivos, incluindo mapas estruturais, assinaturas e intervalos de linhas, com releituras em cache que retornam referências compactas.
- 02Compressão da saída do shell para ferramentas comuns, como git, npm, cargo, docker e kubectl.
- 03Análise estrutural com Tree-sitter para 27 linguagens.
- 04Memória local de sessões e um grafo de propriedades do código para análise de impacto.
- 05Permissões de caminhos, filtros de conteúdo e limites de contexto configurados para os caminhos compatíveis.
- 06CLI local, servidor MCP e painel no navegador para inspecionar a atividade de contexto.
Casos de uso
- Reduzir o uso de tokens de um agente de programação com IA que trabalha em um repositório grande.
- Evitar que sessões de agentes com uso intenso do shell encham a janela de contexto com logs de build e testes.
- Retomar projetos longos entre sessões de chat, mantendo registros de tarefas e decisões.
- Restringir o acesso de uma ferramenta de IA ao sistema de arquivos a um escopo de projeto configurado.
Início rápido
- 1
Instale o LeanCTX por um dos gerenciadores de pacotes listados no README (npm, crates.io ou AUR)
- 2
Configure uma integração compatível com ferramentas de IA
lean-ctx setup - 3
Depois de usar por um tempo, confira a economia de tokens local
lean-ctx savings
Antes de usar
- O README informa que a licença é mista, mas os metadados listam Apache-2.0. Confira o LICENSE.md antes de usar comercialmente.
- Vários recursos, como transferência entre agentes, pacotes de contexto, snapshots e addons, estão marcados como experimentais (Research).
- A economia do Shadow Mode é uma estimativa simulada, não um resultado medido, e não comprova a qualidade das respostas.
Em coleções
Tópicos
Perguntas frequentes
- O que é lean-ctx?
- Engine open source em Rust que filtra e comprime o contexto lido por ferramentas de programação com IA, com servidor MCP, hooks de shell e registros locais de auditoria. LeanCTX é um gateway de contexto para ferramentas de IA. Ele fica entre um agente de programação com IA e os arquivos, a saída do shell e os resultados de ferramentas que o agente lê, selecionando conteúdo relevante para a tarefa e reduzindo entradas repetidas ou ruidosas para que ocupem menos espaço na janela de contexto.
- lean-ctx é gratuito? Qual é a licença?
- lean-ctx é open source sob a licença Apache-2.0. Confira os termos da licença antes de usá-lo em produtos comerciais.
- lean-ctx ainda é mantido?
- Manutenção ativa. O último commit de lean-ctx foi em 24 de out. de 2026.
- Para que posso usar lean-ctx?
- Reduzir o uso de tokens de um agente de programação com IA que trabalha em um repositório grande. Evitar que sessões de agentes com uso intenso do shell encham a janela de contexto com logs de build e testes. Retomar projetos longos entre sessões de chat, mantendo registros de tarefas e decisões. Restringir o acesso de uma ferramenta de IA ao sistema de arquivos a um escopo de projeto configurado.
- Como instalar lean-ctx?
- Instale o LeanCTX por um dos gerenciadores de pacotes listados no README (npm, crates.io ou AUR) Configure uma integração compatível com ferramentas de IA: lean-ctx setup Depois de usar por um tempo, confira a economia de tokens local: lean-ctx savings
- Onde consigo lean-ctx?
- O código-fonte e as instruções de instalação estão no GitHub: https://github.com/yvgude/lean-ctx
Resumo gerado por IA a partir do README do projeto. As estatísticas do GitHub são atualizadas diariamente.
Projetos relacionados
Um agente de programação baseado no pi que encaminha decisões rotineiras, como verificações de permissões e poda de contexto, para um modelo juiz pequeno, deixando o modelo principal focado no código.
Agente de programação com IA e código aberto que funciona no VS Code, em IDEs JetBrains ou no terminal, com acesso a mais de 500 modelos.
Um terminal de programação com IA, local-first e baseado em evidências, que conecta LLMs a arquivos reais do projeto, ferramentas, permissões, verificações e contexto.
Plugin do Claude Code com memória autocorretiva, wikis de pesquisa persistentes com FTS5 e skills, comandos e hooks para agentes de programação com IA.
Uma CLI que analisa seu código e gera arquivos compactos de contexto para IA, reduzindo os tokens que assistentes de programação gastam explorando o projeto.