LeanRigor

Menos contexto. Rigor total de ingeniería.

Un harness de ingeniería local-first y multi-agente. LeanRigor elimina el contexto innecesario de las sesiones de agentes de codificación, preservando al mismo tiempo las puertas de diseño, prueba, seguridad y verificación que el nivel de riesgo de la tarea realmente requiere.

npx leanrigor init

El contrato

Esta es la parte que hay que leer antes de los números.

• Las puertas de ingeniería requeridas nunca se eliminan para ahorrar tokens. La verificación es obligatoria en todos los niveles de riesgo; una tarea crítica no puede omitir su modelo de amenazas, aprobación o plan de reversión por ningún motivo, incluido un presupuesto de tokens.

• Los ahorros solo cuentan para el trabajo que pasó. Una reducción lograda al producir una respuesta incorrecta no es una reducción y se excluye de todo total.

• Cada número indica su modo de medición y cobertura. Una estimación local nunca se denomina uso del proveedor, y dos modos de medición nunca se suman en un total sin etiqueta.

• Nada se destruye. Cada proyección lleva un identificador que restaura los bytes originales, o está marcada explícitamente como solo resumen.

• La telemetría está desactivada por defecto, y leanrigor telemetry inspect imprime la carga útil exacta antes de que decidas.

• Las cifras de energía son rangos estimados versionados, nunca mediciones de centro de datos. Consulta docs/environmental-methodology.md.

Related MCP server: AI Knowledge Center MCP

Resultado medido

Del corpus determinista en evals/, reproducible con un solo comando:

npx leanrigor benchmark

Las cifras por caso, el resultado bruto y el veredicto de la puerta de liberación están en docs/benchmarks/. Cada porcentaje allí indica el número de casos y el modo de medición que lo respalda.

Lo que esto no afirma. Estos casos miden lo que las propias transformaciones de LeanRigor hacen a una carga útil — no interviene ningún modelo.

Evaluación de habilidades

Las habilidades ahora se han evaluado con un modelo real (Codex CLI, gpt-5.5), línea base versus con habilidad, con comprobaciones deterministas:

Las tres descripciones de activación están acotadas: el router no seleccionó ninguna de ellas en ninguno de los nueve prompts no activadores.

No cites esos números sin la advertencia. Ejecutar la suite verification tres veces con una configuración sin cambios produjo +40, +20 y −20 puntos. Una oscilación de 60 puntos significa que cualquier valor por debajo de aproximadamente veinte puntos con n=1 es ruido, y los dos resultados grandes anteriores son ejecuciones individuales. El informe completo, incluidos los cinco defectos encontrados en el propio harness de evaluación y los dos encontrados en las habilidades, está en docs/benchmarks/skill-eval.md.

Qué hace

Hosts compatibles

leanrigor init detecta lo que está instalado, previsualiza cada cambio de archivo, hace una copia de seguridad de todo lo que modifica y nunca escribe antes de que confirmes.

Comandos

npx leanrigor init              # install, with a preview and confirmation
npx leanrigor init --dry-run    # show the plan, write nothing
npx leanrigor init --uninstall  # restore the original files
npx leanrigor doctor            # diagnose the installation
npx leanrigor mcp serve         # run the gateway (hosts launch this)
npx leanrigor benchmark         # run the reproducible benchmark
npx leanrigor report            # local session report
npx leanrigor report --share    # local SVG card, aggregate counts only
npx leanrigor skills list
npx leanrigor skills install verification
npx leanrigor telemetry status

Valores predeterminados de privacidad

Sin cuenta. Sin llamada de red propia hasta que actives la telemetría. Los prompts, el código fuente, las rutas de archivo, los nombres de repositorio y las cargas útiles de herramientas nunca se envían a ningún lugar, en ninguna configuración: los esquemas del libro mayor y de la telemetría no tienen ningún campo que pueda transportarlos. Consulta docs/privacy.md.

Desinstalación

npx leanrigor init --uninstall

Los archivos se restauran a sus bytes originales. Lo único que queda es un registro de auditoría de solo adición bajo .leanrigor/.

Limitaciones actuales

Expresadas claramente, porque un harness que se sobreestima es peor que ninguno:

• Dos de los tres resultados de mejora de habilidades son n=1, y la varianza de ejecución a ejecución en esta suite ha alcanzado los 60 puntos. Vuelve a ejecutar con --repeat antes de confiar en ellos.

• Cuatro de los cinco casos de verification no discriminan — la línea base los pasa siempre, por lo que no miden nada. Esa suite necesita casos más difíciles.

• No se ha realizado ablación. Ninguna sección de ninguna habilidad ha demostrado aún que merezca el contexto que cuesta.

• Cada número de habilidad proviene de un único CLI y un único modelo.

• Las condiciones de gateway+workflow y gateway+workflow+skill del benchmark aún no están implementadas; hoy solo se ejecutan baseline y gateway.

• La clasificación de riesgo se basa en expresiones regulares y rutas. Es deliberadamente conservadora y sobreclasificará antes que subclasificar, pero no es inteligente.

• El adaptador de Codex reescribe config.toml, lo que elimina los comentarios de TOML. El plan de instalación advierte sobre esto y el original se respalda.

• Aún no hay adaptador para Gemini CLI.

• El paquete publicado incluye los espacios de trabajo internos @leanrigor/*; esas API no son estables y no se publican por separado.

Documentación

• Primeros pasos

• Límites de medición — qué se mide, estima y es incognoscible

• Metodología ambiental

• Privacidad

• Evaluaciones

• Política de seguridad

• Gobernanza

Contribuciones

Las superficies de extensión acotadas y propias se documentan en docs/extensions/: proyectores, adaptadores de host y paquetes de habilidades. Cada una tiene un contrato de aceptación, por lo que una contribución puede juzgarse frente a un estándar establecido en lugar del estado de ánimo de un mantenedor.

Licencia

Apache-2.0. Los avisos de terceros y el libro de reutilización están en THIRD_PARTY_NOTICES.md. No se ha copiado ninguna fuente ni prosa de terceros en este repositorio.