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

Enterprise · El Plano de Contexto

Ejecutar agentes como
infraestructura.

En 2026, cada desarrollador ejecutará agentes de codificación; para 2027 serán flotas. Los agentes que acceden a código de producción y datos de clientes necesitan lo que cualquier otro sistema ya tiene: control de acceso, presupuestos y un registro de auditoría. LeanCTX es esa capa: cada lectura, comando y salida la atraviesa antes de llegar o salir del modelo: local-first, verificable, open core.

Reservar un piloto Leer el modelo de seguridad

El Plano de Contexto

Gobierna lo que tus agentes ven, usan y recuerdan.

Un binario local por máquina, una superficie de políticas para la flota. Cada lectura, comando y salida pasa primero por la misma capa de context engineering. Todo lo que está debajo se envía en el core open-source hoy mismo.

Ver

PathJail confina el acceso a archivos a raíces permitidas. Los secretos se redactan antes de que cualquier modelo los vea. La detección de inyección de prompts revisa contenido no confiable, alineado con OWASP.

Usar

La lista blanca del shell bloquea comandos peligrosos antes de la ejecución. Los presupuestos de tokens por rol limitan el gasto. El gateway MCP enruta herramientas externas a través de un punto de entrada gobernado.

Recordar

La memoria de la sesión y el almacén de conocimiento son archivos locales e inspeccionables. Tú decides qué persiste, qué se sincroniza y qué se purga.

Probar

Un libro de contabilidad con registros, comandos y ahorros encadenados mediante hash y firmado con Ed25519 registra las lecturas, los comandos y los guardados. Verifica la integridad con un comando; exporta para auditoría y finanzas.

Plan Enterprise

Todo en el núcleo, más control de flota.

El núcleo de código abierto se mantiene gratis para siempre, garantizado por una puerta CI pública. Enterprise añade el plan que permite a los equipos de plataforma y seguridad operar cientos de agentes.

SSO & SCIM

Inicio de sesión SAML/OIDC y aprovisionamiento automático de asientos: agentes y humanos bajo el mismo plano de identidad.

Políticas de flota

Raíces PathJail, listas de permisos, presupuestos y políticas de persona gestionadas centralmente, versionadas, revisadas e implementadas como código.

Exportaciones de cumplimiento

Informes de auditoría y ahorros firmados y agregados en toda la flota: números que finanzas y auditores pueden verificar por sí mismos.

Despliegue sin conexión a internet

Operación totalmente fuera de línea con paquetes firmados y paquetes de políticas, para entornos donde nada puede salir. Nunca.

Precios transparentes, sin puerta de "contactar ventas" para los números: ver planes. La llamada piloto cubre arquitectura e implementación.

¿Regulado? ¿Auditado?

Marcos mapeados, evidencia verificable.

El plano de contexto responde a preguntas de cumplimiento con controles aplicados y evidencia verificable sin conexión — y es explícito sobre lo que sigue siendo un deber organizacional.

EU AI Act · ISO 42001 · SOC 2

Matrices de mapeo legibles por máquina, paquetes de políticas de framework e informes de cobertura por control: policy coverage --framework eu-ai-act — 11 de 14 controles mapeados aplicados técnicamente, brechas documentadas.

Cumplimiento y evidencia →

Paquetes de evidencia

Exportaciones de auditoría determinísticas y firmadas con Ed25519 que su auditor verifica sin conexión con una herramienta independiente: sin instalación de LeanCTX, sin confiar en nosotros. Probado contra mutaciones: un byte invertido falla.

Cómo funciona la verificación →

Identidades de agentes

Cada agente registrado, propiedad de un humano, atestado y revocable. La baja del propietario suspende toda la flota de un empleado saliente en una única transacción auditada: sin agentes huérfanos.

Gobernanza de agentes →

Construido sobre estándares abiertos: el Context Governance Benchmark define los controles, el Open Context Protocol define el formato de transmisión — ambos citables, ambos neutrales para proveedores.

"¿Qué sale de la máquina?"

Nada. verifícalo. LeanCTX se ejecuta localmente con cero telemetría. El libro mayor, caché y almacén de conocimiento son archivos locales. La salida de red ocurre solo donde tu configuración lo envía, y la pista de auditoría lo registra.

Leer el modelo de seguridad completo

FAQ

Lo que los compradores preguntan primero.

¿Qué sale de la máquina cuando los desarrolladores usan LeanCTX?

Nada, y puedes verificarlo. LeanCTX se ejecuta localmente con cero telemetría: caché, almacén de conocimiento y el libro mayor de auditoría firmado son archivos locales. La salida de red ocurre solo donde tu propia configuración lo envía. Es compatible con despliegue air-gapped.

¿Cómo demuestra LeanCTX los ahorros y la actividad a finanzas y cumplimiento?

Cada lectura, comando y guardado se registra en un libro mayor local firmado con Ed25519 y encadenado por hash. lean-ctx savings verify provee integridad de extremo a extremo, y lean-ctx savings export produce una exportación lista para el cumplimiento normativo.

¿Es el núcleo de código abierto y gratuito para uso local?

Sí. La capa de contexto local completa es Apache-2.0 y gratuita para siempre, aplicada por un gate CI público que falla cualquier commit que ponga una capacidad local detrás de un muro de pago. Enterprise añade SSO, políticas de flota, exportaciones de cumplimiento normativo y soporte air-gapped además.

¿LeanCTX ayuda con la Ley de IA de la UE, ISO 42001 o SOC 2?

Sí, con mecanismos aplicables. Matrices de mapeo legibles por máquina vinculan los controles del framework a las reglas de policy-pack impuestas y a las garantías del motor; lean-ctx policy coverage --framework renderiza veredictos por control contra su configuración real, y los paquetes de evidencia permiten a los auditores verificar los registros sin conexión con una herramienta independiente. Donde un deber es organizacional, el mapeo lo indica. Soporte de herramientas, no asesoramiento legal.

Pilote el Context Plane.

Dos semanas, sus repositorios, sus políticas y un informe firmado de lo que sus agentes leyeron, ejecutaron y guardaron.

Reservar una prueba piloto Modelo de seguridad

Ejecutar agentes comoinfraestructura.