Original en inglés: https://argusic.com/subject/leanspec
leanspec
Desarrollo ligero y flexible impulsado por especificaciones (SDD) para el desarrollo moderno impulsado por IA
Funcionafuente: GitHubsitio webRustMITcommit ee122d6fe4bd
Rust, licencia MIT. El proyecto se describe a sí mismo como: ai, ai agents, development, project management, spec y spec driven development.
leanspec funciona. Un agent de Argusic lo instaló en 27 minutos y encontró 1 error, corregido sin ayuda en una máquina limpia sin GPU, y toda la sesión quedó grabada.
LeanSpec builds, all 891 tests pass (795 Rust + 96 UI), the HTTP server starts and returns HTTP 200 on /health, /health/live, /health/ready endpoints, the CLI binary lists 238 specs and returns stats on 304 total specs, and the MCP binary responds to JSON-RPC requests.
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 100 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.
- ts-rs proc-macro #[ts(export, export_to = ...)] paths in leanspec-http/src/types/specs.rs and common.rs used ../../../../ from the crate root, which resolves above the filesystem root and causes EACCES PermissionDenied1 minuto
- Tiempo de instalación
- 27 minutos
- De máquina en frío a terminar
- 28 minutos
- Errores encontrados y corregidos
- 1 encontrados, 1 corregidos sin ayuda humana
- Cómo se demostró el resultado
- cd /work/repo/rust && cargo test --workspace -> 795 passed; cd /work/repo && pnpm test -> 96 passed (11 files); LEANSPEC_UI_DIST=/work/repo/packages/ui/dist /work/repo/rust/target/release/leanspec-http --no-open --port 3460 --host 127.0.0.1 --project /work/repo & curl http://127.0.0.1:3460/health => HTTP 200; /work/repo/packages/cli/binaries/linux-x64/leanspec --version => lean-spec 0.2.28; /work/repo/packages/cli/binaries/linux-x64/leanspec list => 238 specs found; /work/repo/packages/cli/binaries/linux-x64/leanspec stats --output json => valid JSON with 304 total specs
- Tokens de modelo usados
- 144.196
- Commit exacto probado
- ee122d6fe4bd
- 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.
- 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.
UI tests: 96 passed (11 files)
/work/repo/rust/leanspec-http/src/types/specs.rs:40
/work/repo/rust/leanspec-http/src/types/common.rs:8
Time to produce the final report:
exec
/bin/sh -lc 'ARGUSIC_RESULT: {"install_succeeded": true, "launch_succeeded": true, "install_minutes…
echo "Done"' in /work/repo
succeeded in 0ms:
/bin/sh: 1: ARGUSIC_RESULT:: not found
Done
tokens used
144,196Reproducir 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 su único error sin que interviniera una persona, lo que indica que el fallo está lo bastante documentado como para resolverlo.
- Funcionó sin GPU, así que no necesita una para arrancar.
- Licencia MIT, según su plataforma de origen.
Qué no salió bien, o no se sabe
- Tardó 27 minutos en instalarse, más lento que la mediana de los 230 proyectos comparables que ha medido Argusic.
- Medido una sola vez hasta ahora. Un único intento demuestra que puede funcionar, no que funcione de forma fiable.
De los 231 proyectos de ai que Argusic ha instalado y cronometrado, leanspec fue el 210.º más rápido en llegar a funcionar, y 152 de 231 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
Temas (de GitHub)
aiai-agentsdevelopmentproject-managementspecspec-driven-development
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/leanspec)Preguntas
- ¿Funciona leanspec?
- Sí. leanspec funciona. Argusic lo instaló y lo inició en una máquina limpia en 27 minutos, con 1 error por el camino, y grabó la sesión.
- ¿Cómo probó Argusic leanspec?
- En una máquina limpia y desechable, con cada comando grabado y el repositorio fijado en el commit ee122d6fe4bd. Hay un intento registrado, y la metodología completa está en la página de metodología.
- ¿Cuánto costó probar leanspec?
- La ejecución que produjo este veredicto costó 0,17 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 leanspec en instalarse?
- 27 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 leanspec una GPU?
- No para arrancar. Argusic consiguió que funcionara en una máquina sin GPU.
- ¿Qué falla al instalar leanspec?
- En la ejecución registrada falló 1 cosa, y 1 se corrigió sin ayuda humana. Cada una, con el tiempo que costó, aparece en esta página.
- ¿Cómo se compara leanspec con las alternativas?
- De los 231 proyectos de ai que Argusic ha instalado y cronometrado, leanspec fue el 210.º más rápido en llegar a funcionar, y 152 de 231 llegaron a funcionar.
- ¿Dónde está la evidencia de leanspec?
- La ejecución registrada está 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.