Los agentes de IA pierden contexto constantemente
Cada agente de IA de programación enfrenta el mismo desafío fundamental: releen archivos enteros cuando solo necesitan una firma de función, procesan salidas de shell sin comprimir que podrían reducirse un 95%, y olvidan todo en cuanto termina la sesión. El resultado: tokens desperdiciados, respuestas lentas y salidas poco fiables.
¿Qué es un Context OS?
Un Context OS controla todo el ciclo de vida del contexto de IA: desde la lectura de archivos y la compresión de salida del shell, pasando por el enrutamiento inteligente y la memoria persistente, hasta salidas verificadas y entrega fluida entre herramientas, equipos y modelos.
Cómo funciona
Cada solicitud de contexto fluye a través del pipeline determinista potenciado por grafos de LeanCTX. El sistema clasifica la intención, puntúa la relevancia con Multi-Edge BFS y RRF Fusion, comprime con algoritmos específicos por modo y verifica las salidas antes de entregarlas. Cada paso es reproducible y auditable.
Entrada
Recibe lecturas de archivos, comandos shell y consultas de búsqueda desde cualquier herramienta de IA vía MCP o HTTP.
Intención
Clasifica el tipo de tarea y selecciona la estrategia de procesamiento óptima para cada solicitud.
Relevancia
Filtra el contenido para mostrar solo información relevante para la tarea utilizando análisis AST, puntuación de entropía y recorrido Multi-Edge del Graph a través de imports, llamadas, referencias de tipo y enlaces de pruebas.
Compresión
Aplica compresión inteligente con algoritmos específicos por modo, caché y codificación delta.
Verificación
Verifica las salidas en busca de rutas alucinadas, imports rotos, fugas de secretos y violaciones de políticas.
Entrega
Devuelve contexto comprimido y verificado a la herramienta de IA vía MCP, HTTP API o SDK.
Una herramienta, tres formas de conectar
lean-ctx selecciona automáticamente el modo de integración óptimo para cada agente. CLI-Redirect elimina completamente la sobrecarga del esquema MCP, Hybrid combina lo mejor de ambos, y Full MCP proporciona acceso máximo a herramientas.
lean-ctx read src/auth.ts -m map MCP cache + CLI shell/search 58 tools via MCP + lazy tool set Runtime de contexto permanente
El daemon de lean-ctx se ejecuta como servicio en segundo plano vía Unix Domain Socket. Proporciona estado de sesión persistente, aciertos de caché instantáneos e inicio automático durante el setup. Al actualizar, el daemon se reinicia automáticamente con el nuevo binario. Los archivos PID/socket obsoletos se limpian proactivamente, y todas las conexiones tienen timeouts integrados — sin gestión manual necesaria.
29+ agentes, configurados automáticamente
lean-ctx detecta los agentes instalados y configura el modo de integración óptimo para cada uno. CLI-Redirect para agentes con acceso shell, Hybrid para entornos mixtos, Full MCP para agentes solo protocolo.
| Agent | CLI-Redirect | Hybrid | MCP | Setup |
|---|---|---|---|---|
| Cursor | ● | – | – | lean-ctx init --agent cursor |
| Claude Code | – | ● | – | lean-ctx init --agent claude |
| Codex | – | ● | – | lean-ctx init --agent codex |
| OpenCode | – | ● | – | lean-ctx init --agent opencode |
| Gemini CLI | ● | – | – | lean-ctx init --agent gemini |
| CRUSH | – | ● | – | lean-ctx init --agent crush |
| Hermes | – | ● | – | lean-ctx init --agent hermes |
| Pi | – | ● | – | lean-ctx init --agent pi |
| Qoder | – | ● | – | lean-ctx init --agent qoder |
| Windsurf | – | ● | – | lean-ctx init --agent windsurf |
| Copilot | – | ● | – | lean-ctx init --agent copilot |
| Amp | – | ● | – | lean-ctx init --agent amp |
| Cline | – | ● | – | lean-ctx init --agent cline |
| Roo Code | – | ● | – | lean-ctx init --agent roo |
| Kiro | – | ● | – | lean-ctx init --agent kiro |
| Antigravity | – | ● | – | lean-ctx init --agent antigravity |
| Amazon Q | – | ● | – | lean-ctx init --agent amazonq |
| Qwen | – | ● | – | lean-ctx init --agent qwen |
| Trae | – | ● | – | lean-ctx init --agent trae |
| Verdent | – | ● | – | lean-ctx init --agent verdent |
| JetBrains | – | – | ● | lean-ctx init --agent jetbrains |
| QoderWork | – | – | ● | lean-ctx init --agent qoderwork |
| VS Code | – | – | ● | lean-ctx init --agent vscode |
| Zed | – | – | ● | lean-ctx init --agent zed |
| Neovim | – | – | ● | lean-ctx init --agent neovim |
| Emacs | – | – | ● | lean-ctx init --agent emacs |
| Sublime Text | – | – | ● | lean-ctx init --agent sublime |
| Aider | – | – | ● | lean-ctx init --agent aider |
| Continue | – | – | ● | lean-ctx init --agent continue |
Selección de contexto con fundamento matemático
Cada elemento de contexto tiene un valor potencial medible. LeanCTX utiliza la Context Field Theory (CFT) para calcular qué archivos, funciones y hechos de conocimiento pertenecen a la ventana de atención de tu IA — y cuáles no.
Potencial de contexto Φ
La función Phi evalúa cada elemento de contexto en tiempo real. Relevancia, obsolescencia, centralidad del grafo, historial, coste en tokens y redundancia se combinan en una puntuación de clasificación única.
Handles de contexto
Referencias ligeras y diferidas a elementos de contexto. En lugar de cargar archivos completos, los agentes trabajan con handles ligeros como @F1 o @K3 que se expanden bajo demanda — ahorrando tokens hasta que el contenido sea realmente necesario.
Overlays de contexto
Mutaciones reversibles en el estado del contexto. Fijar archivos críticos, suprimir ruido, aumentar prioridad o marcar elementos como obsoletos — todo sin modificar la fuente. Los overlays se apilan y pueden deshacerse.
Compilador de contexto
Dado un presupuesto de tokens y una descripción de tarea, el compilador selecciona el subconjunto óptimo de elementos de contexto mediante selección voraz clasificada por Φ con penalizaciones de redundancia. El resultado es un paquete de contexto mínimo y verificado.
Motor de políticas de contexto
Reglas declarativas que gobiernan el comportamiento del contexto. Fijar automáticamente archivos de prueba durante TDD, suprimir directorios vendor, aplicar límites de tokens por tipo de archivo o marcar elementos obsoletos — todo configurable por proyecto.
Acceso completo CLI y MCP
Cada operación CFT está disponible a través de comandos CLI y herramientas MCP. Usa lean-ctx control, lean-ctx plan, lean-ctx compile desde la terminal, o ctx_control, ctx_plan, ctx_compile vía MCP.
Context Packages
Empaquetar, compartir y reutilizar el contexto acumulado del proyecto. Exportar conocimiento, datos de grafos, trampas y hallazgos de sesión como bundles portables. Cargar paquetes automáticamente al inicio de sesión para experiencia de dominio instantánea.
Nueve pilares. Un runtime.
Todo entre tu código y la IA, resuelto.
E/S Inteligente
Lecturas deterministas, compresión de shell, búsqueda - 99% menos tokens
Inteligencia
Enrutamiento de intenciones, selección de modo, pipeline adaptativo
Memoria
Sesiones, conocimiento del proyecto, grafos, transferencias
Gobernanza
Roles, presupuestos, SLOs, puertas de flujo de trabajo, políticas
Verificación
Pruebas formales Lean4, verificación basada en claims, Quality Levels 0-4
Integraciones
MCP, HTTP, SDK, 29+ IDEs, nube, servidor de equipo
Shared Sessions
Compartición de sesiones basada en espacios de trabajo y canales 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
Véalo en acción
LeanCTX se sitúa entre tu herramienta de IA y tu código fuente. Cada lectura de archivo, comando shell y consulta de búsqueda fluye a través del Context Kernel - comprimido, cacheado y verificado antes de llegar al modelo.
Cada salida lleva prueba
LeanCTX genera artefactos de prueba para cada sesión: qué archivos se leyeron, qué se comprimió, qué verificaciones pasaron y cómo se gastaron los tokens. Esto hace que el trabajo de IA sea auditable, reproducible y confiable.
Ready to get started?
Install lean-ctx in 60 seconds, auto-configure your editor, and start saving tokens immediately. No cloud, no config files to write manually.
See how to get started