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

Kit de prensa

Sobre
LeanCTX?

Todo lo que se muestra a continuación está listo para copiar y pegar y es canónico: texto base en tres longitudes, una hoja de datos extraída de la misma fuente única de verdad que este sitio web, y la corrección que nos importa.

El nombre

Lean Context. No Lean Cortex.

LeanCTX es abreviatura de Lean Context: contexto limpio y preciso para agentes de IA en lugar de entrada cruda y ruidosa. En prosa, use LeanCTX; para el binario, paquete y comando, use lean-ctx.

La cobertura temprana ocasionalmente escribió mal el proyecto como "Lean Cortex". Si lo encuentra por ahí, agradecemos una corrección. Y si no está seguro de ninguna afirmación, cada número a continuación es reproducible desde el repositorio de código abierto.

Boilerplate

Listo para copiar y pegar, tres longitudes.

Utilice estos textualmente o como base. Se mantienen idénticos a las definiciones en la página principal, /what-is-leanctx y en el README del repositorio.

~50 palabras

LeanCTX (acrónimo de Lean Context) es la capa de context engineering de código abierto que permite a los desarrolladores controlar lo que su IA puede ver. Un único binario local en Rust decide lo que leen los agentes, comprime lo que envían, recuerda lo que aprenden, protege lo que tocan y prueba lo que guardan en un libro mayor firmado. 60–90% menos tokens, más de 30 herramientas de IA, cero telemetría.

~100 palabras

LeanCTX (acrónimo de Lean Context) es la capa de context engineering de código abierto para agentes de IA. Un único binario local en Rust decide lo que leen los agentes (10 modos de lectura, relecturas en caché de ~13 tokens) y comprime lo que envían (un proxy local opcional, seguro con prompt-cache), recuerda lo que aprenden a través de sesiones, protege lo que tocan (PathJail, redacción de secretos, presupuestos) y prueba lo que guardan en un libro mayor firmado Ed25519. Funciona con más de 30 herramientas de codificación de IA (Cursor, Claude Code, OpenAI Codex, GitHub Copilot) a través de MCP y ganchos de shell, e se incrusta en cualquier agente mediante una API /v1 versionada. Los ahorros de tokens del 60–90% son la prueba; el context engineering es el producto. El uso local es gratis para siempre, garantizado por CI.

~200 palabras

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. El proyecto está escrito en Rust, analiza 26 lenguajes mediante AST tree-sitter y distribuye más de 95 patrones de compresión de shell que reducen la salida de comandos entre un 88–99%. Los ahorros se registran en un libro mayor firmado Ed25519 y encadenado por hash en la máquina del usuario, y pueden reproducirse con el benchmark incorporado (informe de benchmark de lean-ctx). LeanCTX es local-first con cero telemetría: caché, memoria y libro mayor son archivos locales, y nada sale de la máquina a menos que el usuario lo configure. El nombre se expande a "Lean Context". El proyecto se escribe ocasionalmente mal como "Lean Cortex" en cobertura, lo cual el equipo corrige activamente.

Hoja de datos

Los números, desde la fuente.

Obtenido de los mismos números SSOT que renderizan este sitio web. Cada métrica es reproducible con el informe de benchmark de lean-ctx en cualquier repositorio.

Name LeanCTX (acrónimo de Lean Context); binario/CLI: lean-ctx

Claim Control lo que tu IA puede ver.

Categoría Capa de context engineering para agentes de IA

Licencia Apache-2.0 (código abierto; uso local gratis para siempre, forzado por CI)

Tecnología Un binario en Rust; AST tree-sitter para 26 lenguajes

Ahorro de tokens 60–90% por lectura; ~13 tokens por relectura en caché; 88–99% en salida de shell

Superficie Catálogo de 81-herramientas (~superficie predeterminada lean de 13 herramientas; conjunto completo bajo demanda vía ctx_call / ctx_expand), 10 modos de lectura, 95+ patrones de shell

Integraciones Más de 30 herramientas de IA auto-detectadas (Cursor, Claude Code, Codex, Copilot, Windsurf, Cline…)

Incrustación API HTTP versionada /v1 (OpenAPI + /v1/capabilities), gateway ctx_tools, SDKs para Python y TypeScript (GA, kit de conformidad 14-check), SDK de Rust, runtime de extensión WASM, plugins

Seguridad Local-first, cero telemetría, PathJail, lista blanca de shell, redacción de secretos, detección de inyecciones alineada con OWASP

Prueba Libro de contabilidad de ahorros encadenado y firmado con Ed25519; benchmark reproducible

Governance Paquetes de políticas de contexto (baseline / strict-redaction / finance-eu / healthcare / open-source), registro de agentes de primera clase, registro de auditoría de la organización, cobertura de política lean-ctx

Compliance Evidence Bundle v1 + leanctx-verify sin conexión; informes del marco EU AI Act / ISO 42001 / SOC 2; Context Governance Benchmark (CGB)

FinOps Exportación finops de lean-ctx (FOCUS 1.2 / CloudZero / Vantage), métricas Datadog y Prometheus /metrics, neto de inyección (net_tokens_saved)

Links leanctx.com · github.com/yvgude/lean-ctx

Activos y contacto

Logos, capturas de pantalla, y un humano.

Logo y marca SVG y PNG, variantes oscuras y claras, directamente desde el repositorio. github.com/yvgude/lean-ctx → assets/ Capturas de pantalla y demos La terminal del héroe de la página de inicio y la página de métricas en vivo están listas para usar tal cual. leanctx.com/metrics Fondo profundo Qué es LeanCTX, cómo funciona la arquitectura y cómo se mide cada número. benchmarking y metodología Contacto de prensa Responde un humano. Respuesta rápida, números reproducibles, sin pedir revisión de borradores. press@leanctx.com

¿Preguntas para una historia?

Respondemos rápido, proporcionamos números reproducibles y nunca pedimos revisar su borrador.

Enviar correo a press@leanctx.com ¿Qué es LeanCTX?

SobreLeanCTX?