Agentes de IA perdem contexto constantemente
Todo agente de IA para programação enfrenta o mesmo desafio fundamental: eles releem arquivos inteiros quando precisam apenas de uma assinatura de função, processam saídas shell brutas que poderiam ser comprimidas em 95%, e esquecem tudo no momento em que a sessão termina. O resultado: tokens desperdiçados, respostas lentas e saídas pouco confiáveis.
O que é um Context OS?
Um Context OS controla todo o ciclo de vida do contexto de IA: desde a leitura de arquivos e compressão de saída shell, através de roteamento inteligente e memória persistente, até saídas verificadas e entrega perfeita entre ferramentas, equipes e modelos.
Como Funciona
Cada requisição de contexto flui pelo pipeline determinístico do LeanCTX alimentado por grafos. O sistema classifica a intenção, pontua a relevância com Multi-Edge BFS e RRF Fusion, comprime com algoritmos específicos por modo e verifica as saídas antes da entrega. Cada etapa é reproduzível e auditável.
Entrada
Recebe leituras de arquivos, comandos shell e consultas de busca de qualquer ferramenta de IA via MCP ou HTTP.
Intenção
Classifica o tipo de tarefa e seleciona a estratégia de processamento ideal para cada requisição.
Relevância
Filtra o conteúdo para mostrar apenas informações relevantes à tarefa usando análise AST, scoring de entropia e travessia Multi-Edge do Graph através de imports, chamadas, referências de tipo e links de testes.
Compressão
Aplica compressão inteligente com algoritmos específicos por modo, cache e codificação delta.
Verificação
Verifica as saídas em busca de caminhos alucinados, imports quebrados, vazamentos de segredos e violações de políticas.
Entrega
Retorna contexto comprimido e verificado para a ferramenta de IA via MCP, HTTP API ou SDK.
Uma ferramenta, três formas de conectar
lean-ctx seleciona automaticamente o modo de integração ideal para cada agente. CLI-Redirect elimina completamente a sobrecarga do schema MCP, Hybrid combina o melhor de ambos, e Full MCP oferece acesso máximo a ferramentas.
lean-ctx read src/auth.ts -m map MCP cache + CLI shell/search 58 tools via MCP + lazy tool set Runtime de contexto permanente
O daemon lean-ctx roda como serviço em segundo plano via Unix Domain Socket. Oferece estado de sessão persistente, acertos de cache instantâneos e inicialização automática durante o setup. Na atualização, o daemon reinicia automaticamente com o novo binário. Arquivos PID/socket obsoletos são limpos proativamente, e todas as conexões têm timeouts integrados — sem necessidade de gerenciamento manual.
29+ agentes, configurados automaticamente
lean-ctx detecta agentes instalados e configura o modo de integração ideal para cada um. CLI-Redirect para agentes com acesso shell, Hybrid para ambientes mistos, Full MCP para agentes apenas protocolo.
| Agent | CLI-Redirect | Hybrid | MCP | Setup |
|---|---|---|---|---|
| Cursor | ● | – | – | lean-ctx init --agent cursor |
| Claude Code | – | ● | – | lean-ctx init --agent claude |
| Codex | – | ● | – | lean-ctx init --agent codex |
| OpenCode | – | ● | – | lean-ctx init --agent opencode |
| Gemini CLI | ● | – | – | lean-ctx init --agent gemini |
| CRUSH | – | ● | – | lean-ctx init --agent crush |
| Hermes | – | ● | – | lean-ctx init --agent hermes |
| Pi | – | ● | – | lean-ctx init --agent pi |
| Qoder | – | ● | – | lean-ctx init --agent qoder |
| Windsurf | – | ● | – | lean-ctx init --agent windsurf |
| Copilot | – | ● | – | lean-ctx init --agent copilot |
| Amp | – | ● | – | lean-ctx init --agent amp |
| Cline | – | ● | – | lean-ctx init --agent cline |
| Roo Code | – | ● | – | lean-ctx init --agent roo |
| Kiro | – | ● | – | lean-ctx init --agent kiro |
| Antigravity | – | ● | – | lean-ctx init --agent antigravity |
| Amazon Q | – | ● | – | lean-ctx init --agent amazonq |
| Qwen | – | ● | – | lean-ctx init --agent qwen |
| Trae | – | ● | – | lean-ctx init --agent trae |
| Verdent | – | ● | – | lean-ctx init --agent verdent |
| JetBrains | – | – | ● | lean-ctx init --agent jetbrains |
| QoderWork | – | – | ● | lean-ctx init --agent qoderwork |
| VS Code | – | – | ● | lean-ctx init --agent vscode |
| Zed | – | – | ● | lean-ctx init --agent zed |
| Neovim | – | – | ● | lean-ctx init --agent neovim |
| Emacs | – | – | ● | lean-ctx init --agent emacs |
| Sublime Text | – | – | ● | lean-ctx init --agent sublime |
| Aider | – | – | ● | lean-ctx init --agent aider |
| Continue | – | – | ● | lean-ctx init --agent continue |
Seleção de Contexto com Fundamento Matemático
Cada elemento de contexto tem um valor potencial mensurável. O LeanCTX usa a Context Field Theory (CFT) para calcular quais arquivos, funções e fatos de conhecimento pertencem à janela de atenção da sua IA — e quais não.
Potencial de Contexto Φ
A função Phi pontua cada elemento de contexto em tempo real. Relevância, obsolescência, centralidade do grafo, histórico, custo e redundância são combinados em uma pontuação de classificação única.
Handles de Contexto
Referências esparsas e preguiçosas para elementos de contexto. Em vez de carregar arquivos inteiros, os agentes trabalham com handles leves como @F1 ou @K3 que se expandem sob demanda — economizando tokens até que o conteúdo seja realmente necessário.
Overlays de Contexto
Mutações reversíveis no estado do contexto. Fixar arquivos críticos, suprimir ruído, aumentar prioridade ou marcar itens como obsoletos — tudo sem modificar a fonte. Overlays se empilham e podem ser desfeitos.
Compilador de Contexto
Dado um orçamento de tokens e uma descrição de tarefa, o compilador seleciona o subconjunto ótimo de elementos de contexto usando seleção gulosa classificada por Φ com penalidades de redundância. O resultado é um pacote de contexto mínimo e verificado.
Motor de Políticas de Contexto
Regras declarativas que governam o comportamento do contexto. Fixar automaticamente arquivos de teste durante TDD, suprimir diretórios vendor, aplicar limites de tokens por tipo de arquivo ou marcar itens obsoletos — tudo configurável por projeto.
Acesso Completo CLI e MCP
Cada operação CFT está disponível via comandos CLI e ferramentas MCP. Use lean-ctx control, lean-ctx plan, lean-ctx compile no terminal, ou ctx_control, ctx_plan, ctx_compile via MCP.
Context Packages
Empacote, compartilhe e reutilize o contexto acumulado do projeto. Exporte conhecimento, dados de grafo, armadilhas e descobertas de sessão como bundles portáteis. Carregue pacotes automaticamente no início da sessão para expertise de domínio instantânea.
Nove Pilares. Um Runtime.
Tudo entre seu código e a IA, resolvido.
Smart I/O
Leituras determinísticas, compressão shell, busca - 99% menos tokens
Inteligência
Roteamento de intenção, seleção de modo, pipeline adaptativo
Memória
Sessões, conhecimento do projeto, grafos, transferências
Governança
Papéis, orçamentos, SLOs, portões de workflow, políticas
Verificação
Provas formais Lean4, Claim-based Verification, Quality Levels 0-4
Integrações
MCP, HTTP, SDK, 29+ IDEs, Cloud, Team Server
Shared Sessions
Compartilhamento de sessões entre agentes baseado em espaços de trabalho e canais
Context Bus
Fluxo de eventos em tempo real para mudanças de contexto via SSE
SDK & API
SDK TypeScript e API REST para integrações externas
Veja em ação
O LeanCTX se posiciona entre sua ferramenta de IA e seu código. Cada leitura de arquivo, comando shell e consulta de busca flui pelo Context Kernel - comprimido, cacheado e verificado antes de chegar ao modelo.
Cada saída carrega prova
O LeanCTX gera artefatos de prova para cada sessão: quais arquivos foram lidos, o que foi comprimido, quais verificações passaram e como os tokens foram gastos. Isso torna o trabalho de IA auditável, reproduzível e confiável.
Ready to get started?
Install lean-ctx in 60 seconds, auto-configure your editor, and start saving tokens immediately. No cloud, no config files to write manually.
See how to get started