╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> 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

Cómo Funciona

Cómo LeanCTX controla lo que
ve tu IA.

LeanCTX es la capa de context engineering para agentes de IA: un pequeño binario Rust que ejecuta el mismo ciclo en cada lectura, comando y búsqueda. decide lo que leen tus agentes, recuerda lo que aprenden a través de sesiones, protege lo que tocan, prueba lo que guardan en un libro mayor firmado, y reproduce lo que vieron. Las lecturas se analizan para estructura en 26 idiomas y se les elimina el ruido, por lo que lo que llega al modelo es intencional, comprimido y comprobable. Lo instalas una vez. Todo lo demás es automático.

El flujo de datos

¿Dónde se sitúa LeanCTX ?

LeanCTX se apoya en dos rutas. En la ruta de lectura da forma a lo que entra — lecturas de archivos, búsqueda de código y salida de shell, comprimidos antes de que el agente los vea. En la ruta de transmisión, un proxy local opcional se sitúa entre el agente y el modelo y comprime cada solicitud saliente — prompt del sistema, historial completo y resultados de herramientas — con seguridad de caché de prompts. Uno recorta lo que entra en contexto; el otro recorta cada solicitud por la que pagas. El modelo ve la misma señal en una fracción de los tokens.

flujo de datos: antes vs. después

Sin lean-ctx:

Tú  →  Herramienta de IA  →  lee archivo  (contenido completo)  →  El LLM procesa todo

Con lean-ctx:

Tú  →  Herramienta de IA  →  lean-ctx comprime  →  solo señal  →  LLM: 60–90% menos ruido
                           ├─ Sandbox PathJail + límites de tamaño
                           ├─ Compresión consciente del AST
                           ├─ Runtime de Memoria (conocimiento + olvido)
                           ├─ Caché de sesión (re-lectura ≈ 13 tok)
                           └─ 10 modos de lectura por tipo de archivo

Inmersión profunda: Patrones de Shell (95+ patrones) · Modos de Lectura (10 modos de compresión) · Caching

Tú

Codifica normalmente. No cambies nada en tu flujo de trabajo.

Herramienta de IA

Cursor, Claude Code, Copilot, Windsurf, …

LeanCTX

Decide, comprime y recuerda a través de un servidor MCP y un hook de shell las herramientas de IA que detectan automáticamente.

LLM

Solo ve la señal. Menos tokens del 60–90%, misma información.

Arquitectura

Un binario. Cinco capacidades.

Cada capacidad se ejecuta dentro de un único binario Rust. Así es como una solicitud fluye a través de LeanCTX: desde tu herramienta de IA, pasando por el pipeline cognitivo, hasta el modelo.

Tu Herramienta IA Cursor · Claude Code · Copilot · Windsurf

MCP · CLI · HTTP

lean-ctx Capa Contextual Cognitiva · Binario único · 81 herramientas

Comprender

10 modos de lectura
Visibilidad del contexto
Conteo de tokens
Detección de intención

Comprimir

AST Tree-sitter (26 lenguajes)
95+ patrones de shell
Reordenación CDC (Rabin-Karp)
Presupuesto de 64 KB, plazo de 500 ms

Recordar

Caché de sesión (zstd, en memoria)
Relecturas de 13 tokens
Grafo de conocimiento (SQLite)
Memoria entre sesiones

Verificar

Sandbox PathJail
Aislamiento a nivel de SO
Lista blanca de shells (denegar por defecto)
Rastro de auditoría completo

Conectar

GitHub · GitLab · Jira · Linear
Postgres · REST · MCP Bridge
Búsqueda híbrida (BM25 + semántico)
Proveedores basados en configuración (TOML)

10modos de lectura

13tokens por releído

18lenguajes (AST)

contexto optimizado

LLM Menos ruido · Señal más alta · Mejores resultados

Los cinco subsistemas

Cinco cosas que LeanCTX hace para cada token.

Entre tu IA y tu código, un binario local ejecuta el mismo ciclo de cinco pasos en cada lectura, comando y búsqueda: percibir, comprimir, recordar, enrutar, gobernar. Juntos realizan los cinco trabajos: decide lo que leen tus agentes, recuerda lo que aprenden, protege lo que tocan, prueba lo que guardan y reproduce lo que vieron.

Percibir

Ver lo que importa antes de actuar.

Mapea un repositorio desconocido, muestra los archivos y símbolos importantes, y lee la estructura en lugar de archivos completos, a través de 26 lenguajes con tree-sitter.

ctx_overview → repo mapped in one call

Comprimir

Cada token lleva señal.

Diez modos de lectura, más de 95 patrones de salida de shell y caché direccionada por contenido reducen las lecturas entre un 60% y un 90%, y las relecciones a ~13 tokens. El ruido nunca llega al modelo.

ctx_read → 4,200 → 920 tokens (78% saved)

Recordar

Continuidad entre sesiones.

Los hallazgos, decisiones y archivos tocados persisten y se restauran automáticamente en cada nueva sesión, por lo que tu agente nunca vuelve a explicar el contexto ni vuelve a leer lo que ya sabe.

ctx_session → restored · 0 re-reads

Enrutar

El contexto correcto al modelo correcto.

Detecta la intención, elige el modo de lectura y el presupuesto de tokens, y carga solo las herramientas que una tarea necesita, para que cada modelo vea exactamente el contexto que debe, y nada más.

ctx_intent → right mode + budget per task

Gobernar

Seguro, medido y aplicado.

PathJail, un allowlist de shell, detección de secretos, políticas de roles y presupuestos de tokens mantienen cada llamada a la herramienta dentro de los límites, y la analítica prueba exactamente lo que se guardó.

ctx_verify → paths ok · secrets blocked

Dos comandos. Eso es todo.

Qué es TÚ ¿realmente haces?

Casi nada. LeanCTX funciona invisiblemente después de una configuración única. Sigues programando exactamente como antes.

Instalar

Binario Rust único. Sin dependencias, sin nube, sin cuenta.

curl -fsSL https://leanctx.com/install.sh | sh

Setup

Detecta automáticamente tu shell y tus herramientas de IA. Configura todo en segundos.

lean-ctx setup

Hecho. Es automático

Escribe código normalmente. Tu IA usa herramientas comprimidas automáticamente.

Tokens ahorrados: automáticamente

Tú vs. La Máquina

Lo que HACES TÚ (una vez)	Lo que sucede AUTOMÁTICAMENTE
lean-ctx setup	La IA usa `ctx_read` en lugar de Read - hasta un 99% menos de tokens (relecturas cacheadas)
	La IA usa `ctx_shell` en lugar de Shell - 60–90% menos tokens
	La IA usa `ctx_search` en lugar de Grep - 50–80% menos tokens
	El hook de Shell comprime la salida de CLI transparentemente
	La caché de sesión recuerda archivos a través de lecturas (~13 tokens para relecturas)
lean-ctx gain (optional)	Ver tu panel de ahorro de por vida

Guía completa de configuración → Empezar · Todos los comandos CLI → Referencia de CLI

Incluso olvidar es una decisión.

Cuando la caché de sesión está llena, LeanCTX decide automáticamente qué conservar y qué eliminar. Clasifica las entradas por recurrencia, frecuencia y tamaño: luego fusiona estas señales en una única puntuación. Sin necesidad de ajuste.

Cómo funciona el caché

Seguridad

Guarda lo que toca.

LeanCTX aplica un modelo de seguridad de defensa en profundidad para evitar que la inyección de prompts del LLM acceda a archivos fuera del proyecto:

[//]

PathJail - Todas las operaciones de archivos se aíslan (sandboxed) al directorio raíz del proyecto. La navegación por symlink, escapes ../ y las rutas absolutas fuera de la cárcel están bloqueadas en el punto de control resolve_path.

[##]

Allowlist de Shell + Análisis AST - Cuando está configurado, cada segmento de comandos compuestos (pipes, cadenas) se valida contra la allowlist. Los patrones peligrosos (eval, backticks, $()) están bloqueados incondicionalmente. La salida está limitada a 200KB.

[]

Acceso seguro a archivos - Las lecturas de archivos no pueden ser engañadas para seguir symlinks fuera de su proyecto, y el proxy local solo se comunica con su propia máquina.

[ok]

Integridad del Build - La semilla de integridad en tiempo de compilación y la verificación de hash detectan binarios manipulados. Verificado automáticamente por lean-ctx doctor.

Detalles de seguridad y confianza →

¿Quieres entender la arquitectura?

Explora la Cognitive Context Layer: el pipeline de seis pasos, los modos de integración, la matriz de agentes, la Teoría del Campo de Contexto y los nueve pilares arquitectónicos que hacen funcionar LeanCTX.

Profundizar en la Arquitectura

FAQ

Cómo funciona, respondido.

¿Qué es LeanCTX?

LeanCTX (acrónimo de Lean Context) es la capa de context engineering de código abierto para agentes de IA. Un único binario local de Rust decide lo que los agentes leen, comprime lo que envían, recuerda lo que aprenden, protege lo que tocan, prueba lo que guardan y reproduce lo que vieron, con ahorros del 60-90% por lectura como recibo.

¿La compresión afecta la calidad del código?

No. LeanCTX utiliza el análisis AST de tree-sitter para comprender la estructura del código y luego elimina solo lo que el LLM no necesita: espacios en blanco redundantes, imports boilerplate y comentarios decorativos. En promedio, se preserva el 98% de la estructura AST, el 97% de los identificadores y el 96% de las líneas de código significativas. Puedes verificar esto con una ejecución de benchmark de lean-ctx.

¿Cómo instalo LeanCTX?

Instala mediante cargo install lean-ctx o curl -fsSL https://leanctx.com/install.sh | sh. Luego ejecuta lean-ctx init para el hook de shell y lean-ctx setup para conectar con tus herramientas de IA. No se requiere configuración.

¿Qué herramientas de IA soporta LeanCTX?

LeanCTX funciona con todas las principales herramientas de codificación de IA: Cursor, GitHub Copilot, Claude Code, Windsurf, Cline, OpenAI Codex, Gemini CLI, Antigravity, Pi, Crush, Zed, Continue y OpenCode. Todas las herramientas se benefician tanto del servidor de contexto como de la compresión del hook de shell.

Empezar

Sesenta segundos para agentes más inteligentes.

Un binario. Cero dependencias en la nube. Apache-2.0. Tu próxima sesión lee más ligero, y el libro de contabilidad guarda el recibo.

Empezar Comprobar compatibilidad

Cómo LeanCTX controla lo queve tu IA.

¿Dónde se sitúa LeanCTX ?

Tú

Herramienta de IA

LeanCTX

LLM

Un binario. Cinco capacidades.

Cinco cosas que LeanCTX hace para cada token.

Percibir

Comprimir

Recordar

Enrutar

Gobernar

Qué es TÚ ¿realmente haces?

Instalar

Setup

Hecho. Es automático

Incluso olvidar es una decisión.

Guarda lo que toca.

¿Quieres entender la arquitectura?

Cómo funciona, respondido.

Sesenta segundos para agentes más inteligentes.

Cómo LeanCTX controla lo que
ve tu IA.