Como Funciona

A Camada de Engenharia de Contexto
para Codificação com IA.

O lean-ctx é um sistema de compressão com três camadas independentes. Um servidor de contexto substitui as leituras de arquivo da sua IA por versões comprimidas com reconhecimento de AST. Um hook de shell intercepta mais de 95 padrões de comandos CLI. E três protocolos de comunicação ensinam a IA a responder de forma mais eficiente. Você instala uma vez - todo o resto é automático.

O fluxo de dados

Onde o lean-ctx se encaixa?

O lean-ctx intercepta em dois níveis: a camada de contexto (leituras de arquivo, busca de código, comandos de shell) e a camada de shell (saída bruta da CLI). Ambos comprimem os dados antes que cheguem ao LLM. A IA vê a mesma informação em uma fração dos tokens.

data flow - before vs. after 
Without lean-ctx:

You  →  AI Tool  →  reads file  (full content)  →  LLM processes everything

With lean-ctx:

You  →  AI Tool  →  lean-ctx compresses  →  signal only  →  LLM: 60–99% less noise
                           ├─ PathJail sandbox + size caps
                           ├─ AST-aware compression
                           ├─ Memory Runtime (knowledge + forgetting)
                           ├─ Session cache (re-read ≈ 13 tok)
                           └─ 10 read modes per file type

Você

Programe normalmente. Não mude nada no seu fluxo de trabalho.

Ferramenta de IA

Cursor, Claude Code, Copilot, Windsurf, …

lean-ctx

Comprime tudo via Servidor de Contexto e Hook de Shell.

LLM

Vê apenas o sinal. 60–90% menos tokens, mesma informação.

Dois comandos. É só isso.

O que VOCÊ realmente faz?

Quase nada. O lean-ctx funciona de forma invisível após uma configuração única. Você continua programando exatamente como antes.

01

Instalar

Um único binário Rust. Sem dependências, sem nuvem, sem conta.

curl -fsSL leanctx.com/install.sh | sh
02

Configurar

Detecta automaticamente seu shell e ferramentas de IA. Configura tudo em segundos.

lean-ctx setup
03

Não existe passo 3

Programe normalmente. Sua IA usa ferramentas comprimidas automaticamente.

Tokens economizados: automaticamente

Você vs. A Máquina

O que VOCÊ faz (uma vez) O que acontece AUTOMATICAMENTE
lean-ctx setup A IA usa ctx_read em vez de Read - até 99% menos tokens (releituras em cache)
A IA usa ctx_shell em vez de Shell - 60–90% menos tokens
A IA usa ctx_search em vez de Grep - 50–80% menos tokens
O hook de shell comprime a saída da CLI de forma transparente
O cache de sessão lembra arquivos entre leituras (~13 tokens para releituras)
lean-ctx gain (opcional) Veja seu dashboard de economia acumulada

Guia completo de configuração → Primeiros Passos  ·  Todos os comandos CLI → Referência CLI

Reciprocal Rank Fusion (RRF) Cache Eviction

When the session cache is full, lean-ctx uses Reciprocal Rank Fusion to decide which entries to evict. Each signal (recency, frequency, size) is ranked independently, then fused into a single score - no arbitrary weight tuning required.

Formula: RRF(d) = Σ 1/(K + rank_i(d)) where K=60. This handles signal incomparability (seconds vs counts vs tokens) without needing tuned weights, unlike traditional weighted combinations.

Want to understand the architecture?

Explore the Context OS: the six-step pipeline, integration modes, agent matrix, Context Field Theory, and nine architectural pillars that make lean-ctx work.

Deep dive into Context OS

Security Layer

lean-ctx enforces a defense-in-depth security model to prevent LLM prompt injection from accessing files outside the project:

  • PathJail - All file operations are sandboxed to the project root. Symlink traversal, ../ escapes, and absolute paths outside the jail are blocked at the resolve_path chokepoint.
  • Bounded Shell Capture - Shell output is capped at 200KB with clear truncation markers. Prevents memory exhaustion from runaway commands.
  • TOCTOU Prevention - File edits use same file handle for read-verify-write, eliminating time-of-check-to-time-of-use race conditions.
  • Build Integrity - Compile-time integrity seed and hash verification detect tampered binaries. Checked automatically by lean-ctx doctor.
Comece agora

Pronto para começar a economizar?

Um binário. Zero dependências na nuvem. Licença Apache-2.0. Instale em 60 segundos e comece a economizar tokens imediatamente.

Primeiros Passos Verificar Compatibilidade