╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ╚══════════════╝ ╚══════════╝ ╚══════════════╝ ╚══════════╝ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ file file file file read cache send tok tok tok tok tok tok file file file file read cache send tok tok tok tok tok tok ╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ╚══════════════╝ ╚══════════╝ ╚══════════════╝ ╚══════════╝ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ file file file file read cache send tok tok tok tok tok tok file file file file read cache send tok tok tok tok tok tok

Kit de imprensa

Escrevendo sobre
LeanCTX?

Tudo abaixo está pronto para cópia e canônico: texto padrão em três comprimentos, uma ficha técnica obtida da mesma fonte única de verdade deste site e a correção que nos preocupa.

O nome

Lean Context. Não Lean Cortex.

LeanCTX é abreviação de Lean Context: contexto enxuto e preciso para agentes de IA em vez de entrada bruta e ruidosa. Em prosa, use LeanCTX; para o binário, pacote e comando, use lean-ctx.

Coberturas iniciais ocasionalmente soletraram o projeto como "Lean Cortex". Se você encontrar isso em algum lugar, agradecemos uma correção. E se você não tiver certeza sobre qualquer afirmação, todo número abaixo é reprodutível a partir do repositório open-source.

Boilerplate

Pronto para cópia, três comprimentos.

Use estes literalmente ou como base. Eles são mantidos idênticos às definições na página inicial, /what-is-leanctx e no README do repositório.

~50 palavras

LeanCTX (abreviação de Lean Context) é a camada open-source de context engineering que permite aos desenvolvedores controlar o que sua IA pode ver. Um único binário local em Rust decide o que os agentes leem, comprime o que enviam, lembra o que aprendem, protege o que tocam e prova o que salvam em um livro-razão assinado. 60–90% menos tokens, mais de 30 ferramentas de IA, zero telemetria.

~100 palavras

LeanCTX (abreviação de Lean Context) é a camada open-source de context engineering para agentes de IA. Um único binário local em Rust decide o que os agentes leem (10 modos de leitura, re-leituras cacheadas de ~13 tokens) e comprime o que enviam (um proxy local opcional, seguro para prompt-cache), lembra o que aprendem ao longo das sessões, protege o que tocam (PathJail, redação de segredos, orçamentos) e prova o que salvam em um livro-razão assinado Ed25519. Funciona com mais de 30 ferramentas de codificação de IA (Cursor, Claude Code, OpenAI Codex, GitHub Copilot) via MCP e hooks de shell, e se incorpora a qualquer agente via API versionada /v1. Economias de tokens de 60–90% são o recibo; context engineering é o produto. O uso local é gratuito para sempre, garantido por CI.

~200 palavras

LeanCTX (abreviação de Lean Context) é a camada open-source de context engineering para agentes de IA. Um binário local Rust decide o que os agentes leem (10 modos de leitura, 60–90% menos tokens, re-leituras em cache de ~13 tokens), lembra o que eles aprendem (sessões persistentes, grafo de conhecimento), protege o que eles tocam (PathJail, redação de segredos, orçamentos, detecção de injeção), prova o que eles salvam (ledger assinado Ed25519, benchmark reprodutível) e reproduz o que viram (snapshots de contexto assinados e ancorados em git que você pode restaurar ou compartilhar); um proxy local opcional comprime o que eles enviam — prompt do sistema, histórico e saída da ferramenta de cada requisição, seguro para cache de prompts na linha. A compressão — no lado da leitura e na linha — é um dos cinco subsistemas, e todo original permanece recuperável localmente. Funciona com mais de 30 ferramentas de codificação de IA via MCP e hooks de shell; incorpora em qualquer agente via API versionada /v1 com SDKs Python, TypeScript e Rust. O uso local é grátis para sempre, garantido por CI. O projeto é escrito em Rust, analisa 26 linguagens via tree-sitter AST e distribui mais de 95 padrões de compressão de shell que encolhem a saída de comandos em 88–99%. As economias são registradas em um livro-razão hash-encadeado assinado Ed25519 na máquina do usuário e podem ser reproduzidas com o benchmark embutido (relatório de benchmark lean-ctx). LeanCTX é local-first com zero telemetria: cache, memória e livro-razão são arquivos locais, e nada sai da máquina a menos que o usuário configure. O nome se expande para "Lean Context". O projeto é ocasionalmente escrito incorretamente como "Lean Cortex" em cobertura, o que a equipe corrige ativamente.

Ficha técnica

Os números, diretamente da fonte.

Fonte dos mesmos números SSOT que renderizam este site. Cada métrica é reprodutível com o relatório de benchmark lean-ctx em qualquer repositório.

Name LeanCTX (abreviação de Lean Context); binário/CLI: lean-ctx

Claim Controle o que sua IA pode ver.

Categoria Camada de context engineering para agentes de IA

Licença Apache-2.0 (open source; uso local gratuito para sempre, garantido por CI)

Tecnologia Um binário Rust; tree-sitter AST para 26 linguagens

Economia de tokens 60–90% por leitura; ~13 tokens por re-leitura cacheada; 88–99% na saída do shell

Superfície Catálogo de 81-ferramentas (~superfície padrão lean de 13 ferramentas; conjunto completo sob demanda via ctx_call / ctx_expand), 10 modos de leitura, 95+ padrões de shell

Integrações Mais de 30 ferramentas de IA auto-detectadas (Cursor, Claude Code, Codex, Copilot, Windsurf, Cline…)

Incorporação API HTTP versionada /v1 (OpenAPI + /v1/capabilities), gateway ctx_tools, SDKs Python e TypeScript (GA, kit de conformidade 14-check), SDK Rust, runtime de extensão WASM, plugins

Segurança Local-first, zero telemetria, PathJail, allowlist de shell, redação de segredos, triagem de injeção alinhada ao OWASP

Prova Lançamento de livro-razão encadeado por hash e assinado Ed25519; benchmark reprodutível

Governance Pacotes de política de contexto (baseline / strict-redaction / finance-eu / healthcare / open-source), registro de agentes de primeira classe, log de auditoria da organização, cobertura de política lean-ctx

Compliance Evidence Bundle v1 + leanctx-verify offline; relatórios do framework EU AI Act / ISO 42001 / SOC 2; Context Governance Benchmark (CGB)

FinOps exportação finops lean-ctx (FOCUS 1.2 / CloudZero / Vantage), Datadog & Prometheus /metrics, net-of-injection (net_tokens_saved)

Links leanctx.com · github.com/yvgude/lean-ctx

Ativos e contato

Logos, capturas de tela, e um humano.

Logo e marca SVG e PNG, variantes escuras e claras, direto do repositório. github.com/yvgude/lean-ctx → assets/ Capturas de tela e demos O terminal herói da página inicial e a página de métricas ao vivo são prontos para uso na imprensa. leanctx.com/metrics Fundo profundo O que é o LeanCTX, como a arquitetura funciona e como cada número é medido. benchmark & metodologia Contato de imprensa Uma pessoa responde. Resposta rápida, números reprodutíveis, sem pedir revisão de rascunho. hello@leanctx.com

Dúvidas para uma matéria?

Respondemos rápido, fornecemos números reprodutíveis e nunca pedimos para revisar seu rascunho.

Email hello@leanctx.com O que é LeanCTX?

Escrevendo sobreLeanCTX?