El sistema que decide
lo que tu IA ve.
La capa de context engineering para agentes de IAUn binario local en ambos lados del modelo. LeanCTX percibe, comprime, recuerda, enruta y gobierna el ciclo de vida completo del contexto de IA, desde las lecturas de archivos hasta los resultados verificados.
¿Qué es una Capa de Contexto Cognitivo?
Una Capa de Contexto Cognitivo es la infraestructura entre tus herramientas de IA y tu base de código. Controla qué archivos se leen, cómo se comprime la salida, qué conocimiento persiste a través de sesiones y si los resultados cumplen con los estándares de calidad antes de su entrega.
El dibujo constructivo
La topología de proceso del binario enviado: siete puntos de entrada, un tiempo de ejecución, un conjunto de almacenes locales. Cada cuadro a continuación se mapea a un módulo, puerto o archivo real en disco.
lean-ctx lean-ctx serve lean-ctx serve --daemon lean-ctx -c "<cmd>" lean-ctx proxy start lean-ctx dashboard lean-ctx watch · gain --live Qué le pasa a una única lectura
La Hoja 2 rastrea una solicitud a través del tiempo de ejecución, etapa por etapa, incluido el circuito corto de caché que hace que las lecturas repetidas sean casi gratuitas. La ruta de shell se ejecuta en paralelo con la misma contabilidad.
ctx_read(path, mode) · lean-ctx read - PathJail
core/pathjail.rsCanonicalises the path and rejects escapes outside the workspace root before any I/O happens.
- Session cache
hit → ~13 tokensContent-addressed lookup keyed by path + mtime/hash. Unchanged files collapse to a stub instead of re-sending content.
- AST extraction
26 languagestree-sitter parses the file into a syntax tree: signatures, imports, call edges — Lua, Luau, Kotlin and GDScript are graph-indexed too. Regex fallback for unsupported languages.
- Mode selection
10 modesauto picks the optimal of 10 read modes (full, map, signatures, diff, task, reference, aggressive, entropy, lines:N-M) from task intent and file size; structure_first biases cold medium-file code reads toward map, and a file flagged suspect on a fix task is forced to full.
- Compression
adaptive thresholdsShannon-entropy line filtering, U-curve attention placement (LITM), TF-IDF codebook and query-conditioned Information-Bottleneck fusion — an anti-inflation guard ships the file verbatim whenever framing would cost more tokens than the raw bytes.
- Token accounting
core/tokens.rsExact tiktoken counts (o200k_base; cl100k_base approximation for Claude-family models) on input and output.
- Ledger + stats
savings sign / verify-batchSavings are appended to the local ledger (Ed25519-signable), stats and the gain score update, the result streams back.
lean-ctx -c "cargo test" · IDE bash hook Ambas rutas terminan en el mismo libro mayor: cada evento de compresión se cuenta con matemáticas exactas del tokenizador y alimenta gain, el panel de control y el libro mayor de ahorros firmado.
Hoja de datos de ingeniería
Las tablas de referencia detrás de los dibujos: cada superficie con su transporte y ciclo de vida, el diseño en disco, las capas de aprendizaje adaptativo y los límites de seguridad que aplica el tiempo de ejecución.
AModelo de proceso
Todas las superficies son el mismo binario en diferentes roles. Nada requiere una conexión a la nube; todo se enlaza localmente (local-first).
| REF | SURFACE | TRANSPORT | ENDPOINT | LIFECYCLE | COMANDO |
|---|---|---|---|---|---|
| 01 | MCP server (stdio) | JSON-RPC over stdin/stdout | spawned per editor session | child process of the editor | lean-ctx |
| 02 | MCP server (HTTP) | MCP Streamable HTTP | localhost, configurable --host/--port | foreground or service | lean-ctx serve |
| 03 | IPC daemon | Unix Domain Socket | OS data dir, e.g. ~/Library/Application Support/lean-ctx/daemon.sock | launchd / systemd autostart | lean-ctx serve --daemon |
| 04 | Shell hook | process exec, compressed stdout | wraps IDE bash calls + interactive shells | per command | lean-ctx -c "<cmd>" |
| 05 | API proxy | HTTP (LLM API pass-through) | localhost:4444 (default) | on demand | lean-ctx proxy start |
| 06 | Web dashboard | HTTP + bearer token | localhost:3333 (default, --port) | on demand | lean-ctx dashboard |
| 07 | Terminal UI | TTY (in-place redraw) | live event stream / 1 s refresh | interactive | lean-ctx watch · gain --live |
BDiseño de almacenamiento — directorios XDG locales
El estado persistente son archivos planos bajo los directorios base XDG: inspeccionables, exportables y eliminables. No hay bases de datos ocultas más allá de estas carpetas locales.
| ARTIFACTO | FORM | PROPÓSITO |
|---|---|---|
config.toml | TOML | Single config file — integration mode, compression, providers, opt-outs (config dir) |
cache/ | content-addressed | Session file cache; unchanged re-reads collapse to ~13-token stubs (cache dir) |
bm25 index | inverted index | Lexical search over code chunks + provider documents (data dir) |
context_graph/ | property graph | Imports, calls, types across files and repos — powers map mode + deep queries (data dir) |
knowledge | SQLite | Persistent facts, decisions, rooms — recalled across sessions, CCP (data dir) |
savings ledger | append-only JSONL | Every compression event; Ed25519-signable for audit (data dir) |
litm_calibration.json | JSON | Learned context-position hit rates (lost-in-the-middle calibration) (cache dir) |
events.jsonl | event stream | Live feed consumed by watch, dashboard and efficacy reports (state dir) |
CCapas de aprendizaje adaptativo
Siete mecanismos de aprendizaje en línea ajustan la compresión a tu uso real, localmente, a partir de señales de calidad como rebotes y fallos de edición. Profundizar: Aprendizaje Adaptativo →
- L1 Adaptive thresholds Online-learned compression aggressiveness from quality signals (bounces, edit failures, clean runs)
- L2 LITM calibration Empirical placement of critical context at positions the model actually attends to
- L3 Stigmergic scent field Multi-agent coordination via decaying markers: claimed, done, stuck, hot, avoid
- L4 Delta playbook Incremental checkpoint snapshots that survive context compaction
- L5 Query-conditioned IB Information-Bottleneck compression fused with query relevance
- L6 Theta-gamma chunking Wakeup facts grouped in attention-friendly bursts
- L7 Semantic dedup Likelihood-scored redundancy filtering across the session
DLímites de seguridad
Garantías estrictas aplicadas en tiempo de ejecución. Modelo de seguridad →
- PathJail Every file access is canonicalised and confined to the workspace root
- IDE config-dir jail Home-level IDE/agent config dirs (~/.claude, ~/.codex, ~/.codebuddy, …) are writable only when allow_ide_config_dirs is opted in; otherwise PathJail blocks them
- Shell allowlist Deny-by-default command policy for agent-issued shell executions
- Local-first All processing on-device; dashboard binds to localhost and requires a bearer token
- Signed evidence Savings ledger entries are Ed25519-signable and batch-verifiable
Un binario. Tres formas de entrada.
LeanCTX selecciona automáticamente el modo de integración óptimo para cada agente: CLI-Redirect impulsa la CLI de LeanCTX a través de reglas del editor con cero sobrecarga MCP, Hybrid combina lecturas en caché MCP con hooks de compresión de shell y Full MCP proporciona acceso máximo a herramientas para editores solo de protocolo.
lean-ctx -c / read / grep MCP cache + CLI shell/search 81 tools via MCP + lazy tool set De cualquier manera, LeanCTX selecciona el modo adecuado para tu editor, automáticamente. Ver más de 30 herramientas compatibles
Siempre activo. Siempre tuyo.
Un pequeño servicio en segundo plano mantiene tu sesión activa para que los aciertos de caché sean instantáneos y la memoria esté siempre disponible. Comienza automáticamente durante la configuración, se reinicia cuando actualizas y se limpia solo, nada que gestionar.
Cada capacidad, un único binario.
Todo lo que hay entre tu código y la IA, gestionado.
Smart I/O
Lecturas determinísticas, compresión de shell, búsqueda, visibilidad completa del contexto + un 99% menos de tokens
Compresión de Solicitudes
Un proxy local opcional comprime cada solicitud al modelo — prompt del sistema, historial y resultados de herramientas— seguro para el caché de prompts.
Intelligence
Enrutamiento de intenciones, selección de modo, pipeline adaptativo
Memory
Sesiones, conocimiento del proyecto, grafos, traspasos
Governance
Roles, presupuestos, SLOs, puertas de flujo de trabajo, políticas
Verification
Pruebas formales Lean4, verificación basada en afirmaciones, Niveles de Calidad 0-4
Integrations
MCP, HTTP, SDK, 29+ IDEs, Cloud, Team Server
Shared Sessions
Compartición de sesiones basada en espacio de trabajo y canal entre agentes
Context Bus
Flujo de eventos en tiempo real para cambios de contexto vía SSE
SDK & API
SDK TypeScript y API REST para integraciones externas
Cada salida lleva prueba
LeanCTX genera artefactos de prueba para cada sesión: qué archivos se leyeron, qué se comprimió, qué comprobaciones pasaron y cómo se gastaron los tokens. Esto hace que el trabajo de IA sea auditable, reproducible y confiable.
LeanCTX (acrónimo de Lean Context) es la capa de context engineering open-source para agentes de IA. Un binario local en Rust decide lo que los agentes leen (10 modos de lectura, 60–90% menos tokens, relecturas en caché de ~13 tokens), recuerda lo que aprenden (sesiones persistentes, grafo de conocimiento), protege lo que tocan (PathJail, redacción de secretos, presupuestos, detección de inyección), prueba lo que guardan (libro mayor firmado con Ed25519, benchmark reproducible) y reproduce lo que vieron (instantáneas de contexto firmadas y ancladas a git que puedes restaurar o compartir); un proxy local opcional comprime lo que envían — el prompt del sistema, el historial y la salida de las herramientas de cada solicitud, seguro para caché de prompts en la línea. La compresión —tanto en el lado de lectura como en la línea— es uno de cinco subsistemas, y cada original permanece recuperable localmente. Funciona con más de 30 herramientas de codificación de IA a través de MCP y hooks de shell; se incrusta en cualquier agente a través de una API versionada /v1 con SDKs para Python, TypeScript y Rust. El uso local es gratuito para siempre, garantizado por CI.
Leer la historia completa