O Runtime de Contexto Aberto para Agentes de IA.
A camada de infraestrutura neutra, local primeiro, que gerencia o que sua IA vê, lembra e no que se concentra. Um binário. Zero configuração. 29+ ferramentas de IA. Código aberto.
curl -fsSL https://leanctx.com/install.sh | sh Ferramentas de IA inundam o modelo com ruído.
Cada leitura de arquivo, cada comando de shell, cada resultado de busca - sua IA envia tudo ao modelo sem filtrar. Resultado: respostas mais lentas, custos maiores e uma IA que perde o foco na própria janela de contexto.
"O gargalo não é o modelo. É o que você alimenta."
Four capabilities. One runtime.
LeanCTX sits between your AI and your codebase. It handles the full context lifecycle — from file read to model delivery.
Compress
10 read modes with Tree-sitter AST parsing for 18 languages. Strips noise, keeps structure. Cached re-reads cost ~13 tokens.
Remember
Cross-session memory, knowledge graphs, and context checkpoints. Your AI remembers decisions, discoveries, and file relationships.
Govern
Profiles, roles, budgets, and SLOs. Control what each agent sees, how much it spends, and when it gets throttled.
Verify
82 teoremas Lean4 provam invariantes de políticas e compressão. Verificação baseada em claims com Quality Levels 0-4. Sem perda silenciosa de dados.
Como fica no seu terminal.
O lean-ctx funciona silenciosamente nos bastidores. Quando sua IA lê um arquivo, ele comprime a saída de forma transparente. Veja uma chamada real de ctx_read e o dashboard de métricas.
Funciona com todas as principais ferramentas de codificação com IA.
Cursor, Claude Code, GitHub Copilot, Windsurf, Crush, Codex - o lean-ctx se integra com todos. Zero dependência de fornecedor, zero configuração por ferramenta. Instale uma vez, beneficie-se em todos.
Frequently Asked Questions
What is LeanCTX?
LeanCTX é o Context OS para desenvolvimento com IA. Ele fica entre sua ferramenta de codificação IA e sua base de código, comprimindo leituras de arquivos em até 99%, persistindo memória entre sessões e verificando todas as saídas antes da entrega. Funciona com 29+ ferramentas IA, incluindo Cursor, Claude Code e GitHub Copilot.
Quanto o LeanCTX economiza em custos de tokens?
Desenvolvedores ativos economizam $30-100+ por mês em custos de API de IA. Leituras de arquivos são comprimidas em 60-99%, saída de shell em 60-95%, e re-leituras em cache custam apenas 13 tokens. Use lean-ctx gain para medir suas economias pessoais.
O LeanCTX funciona com Cursor / Claude Code / Copilot?
Sim. O LeanCTX suporta 29+ ferramentas de codificação IA prontas para uso. Execute lean-ctx setup para auto-detectar e configurar todos os editores instalados. Ele suporta três modos de integração: CLI-Redirect, Hybrid e Full MCP.
O LeanCTX é gratuito e de código aberto?
Sim. O LeanCTX é totalmente de código aberto sob licença dupla MIT + Apache-2.0. Zero telemetria, tudo roda localmente. O binário Rust único está disponível via npm, cargo ou download direto.
What is Context OS?
Context OS é a arquitetura que gerencia o ciclo de vida completo do contexto de IA. Possui seis pilares: Smart I/O (compressão), Intelligence (roteamento), Memory (persistência), Governance (controle), Verification (provas) e Integrations (29+ ferramentas). Substitui engenharia de prompts ad-hoc por um runtime sistemático.
Dê à sua IA o contexto que ela merece.
O gargalo na programação com IA não é o modelo - é o contexto. lean-ctx molda a informação antes de chegar ao LLM. Um binário Rust. Sem cloud. Apache-2.0.