Perceber
Veja o que importa antes de agir.
Read moreA definição
O que é LeanCTX?
LeanCTX (abreviação de Lean Context) é a camada de context engineering para agentes de IA: ele decide o que os agentes leem, comprime o que eles enviam, lembra o que eles aprendem, protege o que eles tocam e prova o que eles salvam — para que o que atravessa o limite do modelo seja intencional, comprimido e comprovável.
The one-paragraph definition
LeanCTX (short for Lean Context) is the open-source context engineering layer for AI agents. One local Rust binary decides what agents read (10 read modes, 60–90% fewer tokens, ~13-token cached re-reads), remembers what they learn (persistent sessions, knowledge graph), guards what they touch (PathJail, secret redaction, budgets, injection detection), proves what they save (Ed25519-signed ledger, reproducible benchmark) and replays what they saw (git-anchored, signed context snapshots you can restore or share); an optional local proxy compresses what they send — every request’s system prompt, history and tool output, prompt-cache-safe on the wire. Compression — read-side and wire-side — is one of five subsystems, and every original stays locally retrievable. Works with 30+ AI coding tools via MCP and shell hooks; embeds in any agent via a versioned /v1 API with Python, TypeScript and Rust SDKs. Local use is free forever, enforced by CI.
It's not about tokens. It's about what matters.
O nome
O que LeanCTX significa?
Lean Context. O nome descreve a função: contexto enxuto e preciso para agentes de IA em vez de entrada bruta e ruidosa.
- LeanCTX
- o nome da marca e do projeto, usado em prosa e títulos.
- lean-ctx
- o binário, o pacote e o comando CLI.
- Lean Context
- a que o nome se expande, e o termo de pesquisa que nos encontra.
Não é "Lean Cortex", um erro de digitação que apareceu em primeiras reportagens. Se você estiver escrevendo sobre o projeto, o kit de imprensa tem texto pronto para uso.
Os quatro trabalhos
Lê menos. Lembra mais. Prova isso.
Quatro coisas mudam no momento em que LeanCTX se torna sua camada de context engineering.
Without LeanCTX, your agent…With LeanCTX…The receipt
reads everything reads what matters
60–90% less per readforgets everything remembers across sessions
re-reads cost ~13 tokenstouches anything touches only what’s allowed
PathJail · redaction · budgetsproves nothing proves every saving
Ed25519-signed ledgercan’t revisit what it saw replays any past state
git-anchored, signed snapshotsToken savings are the receipt. Context engineering is the product.
Por baixo dos panos
Cinco subsistemas, um binário.
Arquitetonicamente, LeanCTX é uma Camada Cognitiva de Contexto: cinco subsistemas rodam em cada leitura, comando e pesquisa. Compressão é um deles — context engineering é o produto.
Fatos chave
Os números por trás da afirmação.
Todos os números são reprodutíveis: lean-ctx benchmark report . mede-os no seu próprio repositório, e cada economia é registada num ledger assinado Ed25519.
O nome, o preço, o produto. the product.
The short answers to the essential questions.
LeanCTX (short for Lean Context) is the open-source context engineering layer for AI agents. One local Rust binary decides what agents read (10 read modes, 60–90% fewer tokens, ~13-token cached re-reads), remembers what they learn (persistent sessions, knowledge graph), guards what they touch (PathJail, secret redaction, budgets, injection detection), proves what they save (Ed25519-signed ledger, reproducible benchmark) and replays what they saw (git-anchored, signed context snapshots you can restore or share); an optional local proxy compresses what they send — every request’s system prompt, history and tool output, prompt-cache-safe on the wire. Compression — read-side and wire-side — is one of five subsystems, and every original stays locally retrievable. Works with 30+ AI coding tools via MCP and shell hooks; embeds in any agent via a versioned /v1 API with Python, TypeScript and Rust SDKs. Local use is free forever, enforced by CI.
Lean Context. O nome descreve a função: contexto enxuto e preciso para agentes de IA em vez de entrada bruta e ruidosa. LeanCTX é o nome da marca e do projeto; lean-ctx é o binário, o pacote e o comando CLI. Não é "Lean Cortex" — um erro de digitação que apareceu nas primeiras coberturas.
Não. Compressão é um dos cinco subsistemas. LeanCTX é uma camada de context engineering: ele decide o que os agentes leem, lembra o que eles aprendem, protege o que eles tocam e prova o que eles salvam em um livro-razão assinado Ed25519. A economia de tokens é o recibo — a context engineering é o produto.
Sim. O uso local é grátis para sempre, garantido por um portão CI público que falha qualquer commit que coloque uma capacidade local atrás de um paywall. O núcleo é open source (Apache-2.0). Planos pagos adicionam sincronização hospedada (Pro) e um plano compartilhado para equipe (Team) por cima.
Veja decidir no seu próprio repo.on your own repo.
Instale gratuitamente, execute lean-ctx setup e veja o primeiro ganho medido em menos de dez minutos. O uso local é gratuito para sempre, garantido por CI.