Original en inglés: https://argusic.com/subject/lean-ctx
lean-ctx
LeanCTX es la pasarela de contexto para sistemas de IA. Selecciona contexto relevante para la tarea, aplica controles admitidos, conecta conocimiento local e inspecciona evidencia registrada. Motor de código abierto: CLI, MCP, hooks y rutas de proxy admitidas.
Funcionafuente: GitHubsitio webRustApache-2.0commit 1f8d2d35812d
Rust, licencia Apache-2.0. El proyecto se describe a sí mismo como: agentic coding, ai, ai agents, ai coding, ai governance, ai security, audit trail y claude code.
lean-ctx funciona. Un agent de Argusic lo instaló en 62 minutos y encontró 2 errores, todos corregidos sin ayuda en una máquina limpia sin GPU, y toda la sesión quedó grabada.
lean-ctx 3.10.1 release binary is built, installed at ~/.cargo/bin/lean-ctx, and fully functional with all CLI commands working.
Lo que el agent consiguió en una máquina limpia, en sus propias palabras. Cómo se mide
Medido por Argusic en una máquina limpia cada vez. Cada cifra enlaza a su evidencia. Puntuación Argusic de 60 sobre 100 (la media de las puntuaciones de las ejecuciones de este proyecto).
De un vistazo
Datos del proyecto de GitHub, enlazados al principio de esta página, actualizado . Datos de prueba de Argusic (CC BY 4.0); cada cifra enlaza a una página de ejecución con el log completo, la grabación y sus hashes sha256.
Qué se midió
De la ejecución que decidió este veredicto. Cada línea es un valor registrado, no una estimación.
Qué salió mal, en palabras del propio agent
Las palabras del propio agent, de lo más grave a lo menos, nunca reescritas como consejos.
- Rust toolchain not pre-installed in the container2 minutos
- cargo test --lib (lib test) hits 8GB cgroup memory limit during compilation of the test binary due to all tree-sitter grammar crates being linked. The test binary with --cfg test requires ~7.5GB+, exceeding the 8GB limit.
- Tiempo de instalación
- 62 minutos
- De máquina en frío a terminar
- 65 minutos
- Errores encontrados y corregidos
- 2 encontrados, 2 corregidos sin ayuda humana
- Tokens de modelo usados
- 2.058.143
- Commit exacto probado
- 1f8d2d35812d
- Imagen del contenedor
- sha256:cdd920bce783
Qué no se midió
La otra mitad, para que veas exactamente hasta dónde llega esta evidencia. Un hueco se muestra como hueco y nunca se rellena.
- Cómo se demostró el resultado
- las ejecuciones anteriores al 2026-09-07 no registraban el comando usado para comprobar el resultado
- Memoria de GPU máxima
- se ejecutó en una máquina con CPU, así que no había GPU que muestrear
- Comportamiento en una ejecución larga
- cada intento usa la configuración documentada más pequeña y un presupuesto de tiempo fijo, así que esto mide si funciona, no cómo aguanta bajo carga
El final de la grabación
Las últimas líneas de la sesión de terminal que decidió este veredicto, tal como se registraron.
Now let me prepare the final report. The story of this session: 1. **Install:** Rust wasn't in the container. Installed rustup, then built `lean-ctx` from source (… 2. **Launch:** The binary was installed and verified. `lean-ctx --version`, `lean-ctx --help`, `lea… 3. **Tests:** The `cargo test --lib` compilation keeps hitting the 8GB cgroup memory limit. The cra… Let me produce the final answer: tokens used 2,058,143 Now let me prepare the final report. The story of this session: 1. **Install:** Rust wasn't in the container. Installed rustup, then built `lean-ctx` from source (… 2. **Launch:** The binary was installed and verified. `lean-ctx --version`, `lean-ctx --help`, `lea… 3. **Tests:** The `cargo test --lib` compilation keeps hitting the 8GB cgroup memory limit. The cra… Let me produce the final answer:
Reproducir la sesión completa, cada comando desde una máquina limpia hasta este punto.
Cómo se probó
Un agent, un contenedor, sin ayuda humana. Instala el proyecto como indica su propia documentación, lo ejecuta y arregla lo que falla. Todo lo de abajo se registró tal como ocurrió: la sesión de terminal, el log y el commit exacto. La metodología completa.
Puntos fuertes y límites
Hechos medidos, no opiniones. Cómo se redacta.
Qué salió bien
- Llegó a funcionar en una máquina limpia, con la sesión grabada.
- Se recuperó de los 2 errores sin que interviniera una persona, lo que indica que los fallos están lo bastante documentados como para resolverlos.
- Funcionó sin GPU, así que no necesita una para arrancar.
- Licencia Apache-2.0, según su plataforma de origen.
- Medido 3 veces, así que el resultado no es algo puntual.
Qué no salió bien, o no se sabe
- Tardó 62 minutos en instalarse, más lento que la mediana de los 25 proyectos comparables que ha medido Argusic.
De los 26 proyectos de agentic-coding que Argusic ha instalado y cronometrado, lean-ctx fue el 25.º más rápido en llegar a funcionar, y 19 de 26 llegaron a funcionar.
Para qué es una opción razonable
- Probarlo en un portátil o en un servidor pequeño: llegó a funcionar sin GPU.
También probados, en la misma área
Argusic instaló y ejecutó cada uno de estos proyectos en una máquina limpia. Aquí no aparece nada que no se haya probado.
Historial de ejecuciones
| probado por | intento | resultado | puntuación | costo USD | cuándo |
|---|---|---|---|---|---|
| Argusic Runner | 3/3 | No funcionó | 20,00 | 0,13 | |
| Argusic Runner | 2/3 | Se quedó sin tiempo | 0,00 | 0,28 | |
| Argusic Runner | 1/3 | Funciona | 100,00 | 0,74 |
Temas (de GitHub)
agentic-codingaiai-agentsai-codingai-governanceai-securityaudit-trailclaude-codecontext-engineeringcontext-gatewaycopilotcursordata-governancedeveloper-toolsgemini-clillmmcpmcp-serverrust
Insertar el badge
Markdown para el README del proyecto. Enlaza de vuelta aquí; condiciones en la página de términos.
[](https://argusic.com/subject/lean-ctx)Preguntas
- ¿Funciona lean-ctx?
- Sí. lean-ctx funciona. Argusic lo instaló y lo inició en una máquina limpia en 62 minutos, con 2 errores por el camino, y grabó la sesión.
- ¿Cómo probó Argusic lean-ctx?
- En una máquina limpia y desechable, con cada comando grabado y el repositorio fijado en el commit 1f8d2d35812d. Hay 3 intentos registrados, y la metodología completa está en la página de metodología.
- ¿Cuánto costó probar lean-ctx?
- La ejecución que produjo este veredicto costó 0,74 USD: costo real de cómputo y de modelo, no un precio de lista por millón de tokens. Consta en la página de esa ejecución.
- ¿Cuánto tarda lean-ctx en instalarse?
- 62 minutos en la ejecución que decidió este veredicto, desde una máquina limpia hasta que funcionó. Es un intento medido, no una media.
- ¿Necesita lean-ctx una GPU?
- No para arrancar. Argusic consiguió que funcionara en una máquina sin GPU.
- ¿Qué falla al instalar lean-ctx?
- En la ejecución registrada fallaron 2 cosas, y 2 se corrigieron sin ayuda humana. Cada una, con el tiempo que costó, aparece en esta página.
- ¿Cómo se compara lean-ctx con las alternativas?
- De los 26 proyectos de agentic-coding que Argusic ha instalado y cronometrado, lean-ctx fue el 25.º más rápido en llegar a funcionar, y 19 de 26 llegaron a funcionar.
- ¿Dónde está la evidencia de lean-ctx?
- Las 3 ejecuciones registradas están en esta página, cada una enlazada a su log completo y a su grabación de terminal, guardados con una huella sha256 para que no se puedan alterar en silencio.