El runtime de contexto abierto para agentes de IA.
La capa de infraestructura neutral, local primero, que gestiona lo que tu IA ve, recuerda y en lo que se enfoca. Un binario. Cero configuración. 29+ herramientas de IA. Código abierto.
curl -fsSL https://leanctx.com/install.sh | sh Las herramientas de IA inundan al modelo con ruido.
Cada lectura de archivo, cada comando shell, cada resultado de búsqueda - tu IA lo envía todo al modelo sin filtrar. ¿El resultado? Respuestas más lentas, mayores costos y una IA que pierde el foco en su propia ventana de contexto.
"El cuello de botella no es el modelo. Es lo que le das."
Four capabilities. One runtime.
LeanCTX sits between your AI and your codebase. It handles the full context lifecycle — from file read to model delivery.
Compress
10 read modes with Tree-sitter AST parsing for 18 languages. Strips noise, keeps structure. Cached re-reads cost ~13 tokens.
Remember
Cross-session memory, knowledge graphs, and context checkpoints. Your AI remembers decisions, discoveries, and file relationships.
Govern
Profiles, roles, budgets, and SLOs. Control what each agent sees, how much it spends, and when it gets throttled.
Verify
82 teoremas Lean4 demuestran invariantes de políticas y compresión. Verificación basada en claims con Quality Levels 0-4. Sin pérdida silenciosa de datos.
Cómo se ve en tu terminal.
lean-ctx funciona silenciosamente en segundo plano. Cuando tu IA lee un archivo, comprime la salida de forma transparente. Aquí tienes una llamada real a ctx_read y el panel de métricas.
Funciona con todas las herramientas de codificación con IA principales.
Cursor, Claude Code, GitHub Copilot, Windsurf, Crush, Codex - lean-ctx se integra con todos. Sin dependencia de proveedor, sin configuración por herramienta. Instálalo una vez, benefíciate en todas partes.
Frequently Asked Questions
What is LeanCTX?
LeanCTX es el Context OS para desarrollo con IA. Se sitúa entre tu herramienta de codificación IA y tu código base, comprimiendo lecturas de archivos hasta un 99%, persistiendo la memoria entre sesiones y verificando todas las salidas antes de la entrega. Funciona con 29+ herramientas IA, incluyendo Cursor, Claude Code y GitHub Copilot.
¿Cuánto ahorra LeanCTX en costes de tokens?
Los desarrolladores activos ahorran $30-100+ al mes en costes de API de IA. Las lecturas de archivos se comprimen un 60-99%, la salida de shell un 60-95%, y las re-lecturas en caché cuestan solo 13 tokens. Usa lean-ctx gain para medir tus ahorros personales.
¿Funciona LeanCTX con Cursor / Claude Code / Copilot?
Sí. LeanCTX soporta 29+ herramientas de codificación IA de serie. Ejecuta lean-ctx setup y auto-detecta y configura todos los editores instalados. Soporta tres modos de integración: CLI-Redirect, Hybrid y Full MCP.
¿Es LeanCTX gratuito y de código abierto?
Sí. LeanCTX es completamente de código abierto bajo licencia dual MIT + Apache-2.0. Cero telemetría, todo funciona localmente. El binario único de Rust está disponible vía npm, cargo o descarga directa.
What is Context OS?
Context OS es la arquitectura que gestiona el ciclo de vida completo del contexto de IA. Tiene seis pilares: Smart I/O (compresión), Intelligence (enrutamiento), Memory (persistencia), Governance (control), Verification (pruebas) e Integrations (29+ herramientas). Reemplaza la ingeniería de prompts ad-hoc con un runtime sistemático.
Dale a tu IA el contexto que merece.
El cuello de botella en la programación con IA no es el modelo - es el contexto. lean-ctx forma la información antes de que llegue al LLM. Un binario Rust. Sin cloud. Apache-2.0.