La capa de ingeniería de contexto
para codificación con IA.
lean-ctx es un sistema de compresión con tres capas independientes. Un servidor de contexto reemplaza las lecturas de archivos de tu IA con versiones comprimidas basadas en AST. Un shell hook intercepta más de 95 patrones de comandos CLI. Y tres protocolos de comunicación enseñan a la IA a responder de manera más eficiente. Lo instalas una vez - todo lo demás es automático.
¿Dónde se ubica lean-ctx?
lean-ctx intercepta en dos niveles: la capa de contexto (lecturas de archivos, búsqueda de código, comandos de shell) y la capa de shell (salida cruda de CLI). Ambas comprimen los datos antes de que lleguen al LLM. La IA ve la misma información en una fracción de los tokens.
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
Tú
Programa normalmente. No cambies nada de tu flujo de trabajo.
Herramienta de IA
Cursor, Claude Code, Copilot, Windsurf, …
lean-ctx
Comprime todo a través del servidor de contexto y el shell hook.
LLM
Solo ve la señal. 60–90% menos tokens, misma información.
¿Qué TÚ realmente haces?
Casi nada. lean-ctx funciona de forma invisible después de una configuración única. Sigues programando exactamente como antes.
Instalar
Un único binario en Rust. Sin dependencias, sin nube, sin cuenta.
curl -fsSL leanctx.com/install.sh | sh Configurar
Detecta automáticamente tu shell y herramientas de IA. Configura todo en segundos.
lean-ctx setup No hay paso 3
Programa normalmente. Tu IA usa las herramientas comprimidas automáticamente.
Tokens ahorrados: automáticamenteTú vs. La máquina
| Lo que TÚ haces (una vez) | Lo que sucede AUTOMÁTICAMENTE |
|---|---|
| lean-ctx setup | La IA usa ctx_read en lugar de Read - hasta 99% menos tokens (re-lecturas en cache) |
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 shell hook comprime la salida de CLI de forma transparente | |
| El cache de sesión recuerda archivos entre lecturas (~13 tokens para re-lecturas) | |
| lean-ctx gain (opcional) | Consulta tu panel de ahorros acumulados |
Guía completa de configuración → Primeros pasos · Todos los comandos de CLI → Referencia de 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 OSSecurity 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 theresolve_pathchokepoint. - 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.
¿Listo para empezar a ahorrar?
Un binario. Cero dependencias en la nube. Licencia Apache-2.0. Instálalo en 60 segundos y comienza a ahorrar tokens de inmediato.