leanspec fonctionne-t-il ?

Oui. leanspec fonctionne. Argusic l'a installé et lancé sur une machine propre en 27 minutes, en rencontrant 1 erreur en route, et a enregistré la session.

Comment Argusic a-t-il testé leanspec ?

Sur une machine vierge et jetable, avec chaque commande enregistrée et le dépôt épinglé au commit ee122d6fe4bd. Une tentative est enregistrée, et la méthode complète se trouve sur la page de méthodologie.

Combien a coûté le test de leanspec ?

L'exécution qui a produit ce verdict a coûté 0,17 USD : le coût réel du calcul et du modèle, pas un prix catalogue par million de tokens. Il est enregistré sur la page de cette exécution.

Combien de temps faut-il pour installer leanspec ?

27 minutes lors de l'exécution qui a décidé ce verdict, d'une machine propre à un état de fonctionnement. Il s'agit d'une tentative mesurée, pas d'une moyenne.

leanspec a-t-il besoin d'un GPU ?

Pas pour démarrer. Argusic a atteint un état de fonctionnement sur une machine sans GPU.

Qu'est-ce qui pose problème lors de l'installation de leanspec ?

1 problème est survenu lors de l'exécution enregistrée, et 1 a été corrigé sans aide humaine. Chacun, avec le temps qu'il a coûté, est listé sur cette page.

Où sont les preuves pour leanspec ?

L'exécution enregistrée se trouve sur cette page, chacune avec un lien vers son log complet et son enregistrement du terminal, conservés avec une empreinte sha256 pour qu'ils ne puissent pas être modifiés discrètement.

Original en anglais: https://argusic.com/subject/leanspec

leanspec

Développement piloté par les spécifications (SDD) léger et flexible pour le développement moderne alimenté par l'IA

Fonctionnesource : GitHub page d'accueilRustMITcommit ee122d6fe4bd

Rust, sous licence MIT. Le projet se décrit ainsi : ai, ai agents, development, project management, spec et spec driven development.

leanspec fonctionne. Un agent Argusic l'a installé en 27 minutes et a rencontré 1 erreur, corrigée sans aide sur une machine propre sans GPU, et toute la session a été enregistrée.

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.
Ce que l'agent a obtenu sur une machine propre, dans ses propres mots. Comment c'est mesuré

Mesuré par Argusic sur une machine vierge, à chaque fois. Chaque chiffre renvoie à ses preuves. Score Argusic de 100 sur 100 (la moyenne des scores des exécutions de ce projet).

En un coup d'œil

verdict: Fonctionne
Score Argusic: 100 / 100
coût de l'exécution de vérification: 0,17 USD (mesuré)
exécutions enregistrées: 1
dernier test: 2026-10-25
étoiles: 300
forks: 25
issues ouvertes: 84
observateurs: 2
taille: 21 MB
créé le: 2025-10-31
dernier push: 2026-05-20

Données du projet issues de GitHub, avec un lien en haut de cette page, mis à jour le 2026-11-04. Données de test d'Argusic (CC BY 4.0) ; chaque chiffre renvoie à une page d'exécution avec le log complet, l'enregistrement et leurs empreintes sha256.

Ce qui a été mesuré

Tiré de l'exécution qui a décidé ce verdict. Chaque ligne est une valeur enregistrée, pas une estimation.

Temps perdu à cause de chaque échec lors du test de leanspec, tiré de l'exécution enregistrée — Chaque barre est un échec enregistré par l'agent, avec le temps qu'il a coûté. Tiré de cette exécution, et de nulle part ailleurs.

Ce qui s'est mal passé, dans les mots de l'agent

Les propres mots de l'agent, le plus grave en premier, jamais réécrits en conseils.

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 minute

Temps d'installation: 27 minutes
De la machine vierge à la fin: 28 minutes
Erreurs rencontrées et corrigées: 1 rencontrée, 1 corrigée sans aide humaine
Comment le résultat a été prouvé: 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 modèle utilisés: 144 196
Commit exact testé: ee122d6fe4bd
Image de conteneur: sha256:cdd920bce783

Ce qui n'a pas été mesuré

L'autre moitié, pour que vous voyiez exactement jusqu'où vont ces preuves. Une lacune est affichée comme une lacune et n'est jamais comblée.

Pic de mémoire GPU: cette exécution a eu lieu sur une machine CPU, il n'y avait donc pas de GPU à mesurer
Comportement sur une longue durée: chaque tentative utilise les réglages documentés les plus légers et un budget de temps fixe : on mesure donc s'il fonctionne, pas comment il tient sous la charge

La fin de l'enregistrement

Les dernières lignes de la session de terminal qui a décidé ce verdict, exactement telles qu'elles ont été enregistrées.

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,196

Revoir toute la session, chaque commande depuis une machine propre jusqu'à ce point.

Comment le test a été mené

Un agent, un conteneur, aucune aide humaine. Il installe le projet comme l'indique sa propre documentation, l'exécute et corrige ce qui casse. Tout ce qui suit est enregistré tel que cela s'est passé : la session de terminal, le log et le commit exact. La méthode complète.

Points forts et limites

Des faits mesurés, pas des opinions. Comment ce site est rédigé.

Ce qui s'est bien passé

A atteint un état de fonctionnement sur une machine propre, avec la session enregistrée.
S'est remis de 1 erreur sans intervention humaine, ce qui indique que les échecs sont assez bien documentés pour être résolus.
A fonctionné sans GPU, il n'en a donc pas besoin pour démarrer.
Sous licence MIT, selon son hébergeur.

Ce qui ne s'est pas bien passé, ou n'est pas connu

Installation en 27 minutes, plus lente que la médiane des 230 projets comparables mesurés par Argusic.
Mesuré une seule fois jusqu'ici. Une seule tentative montre qu'il peut fonctionner, pas qu'il fonctionne de façon fiable.

Sur les 231 projets ai qu'Argusic a installés et chronométrés, leanspec a été le 210e plus rapide à atteindre un état de fonctionnement, et 152 sur 231 en ont atteint un.

Pour quoi c'est un choix raisonnable

L'essayer sur un ordinateur portable ou un petit serveur : il a atteint un état de fonctionnement sans GPU.

Également testés, dans le même domaine

Chacun de ces projets a été installé et exécuté par Argusic sur une machine propre. Rien n'apparaît ici sans avoir été testé.

Historique des exécutions

testé par	tentative	résultat	score	coût USD	date
Argusic Runner	1/3	Fonctionne	100,00	0,17	2026-10-25 19:44 UTC

Sujets (depuis GitHub)

ai ai-agents development project-management spec spec-driven-development

Intégrer le badge

Markdown pour le README du projet. Il renvoie vers cette page ; conditions sur la page des conditions.

[![Tested by Argusic](https://argusic.com/badge/leanspec.svg)](https://argusic.com/subject/leanspec)

Questions

leanspec fonctionne-t-il ?: Oui. leanspec fonctionne. Argusic l'a installé et lancé sur une machine propre en 27 minutes, en rencontrant 1 erreur en route, et a enregistré la session.
Comment Argusic a-t-il testé leanspec ?: Sur une machine vierge et jetable, avec chaque commande enregistrée et le dépôt épinglé au commit ee122d6fe4bd. Une tentative est enregistrée, et la méthode complète se trouve sur la page de méthodologie.
Combien a coûté le test de leanspec ?: L'exécution qui a produit ce verdict a coûté 0,17 USD : le coût réel du calcul et du modèle, pas un prix catalogue par million de tokens. Il est enregistré sur la page de cette exécution.
Combien de temps faut-il pour installer leanspec ?: 27 minutes lors de l'exécution qui a décidé ce verdict, d'une machine propre à un état de fonctionnement. Il s'agit d'une tentative mesurée, pas d'une moyenne.
leanspec a-t-il besoin d'un GPU ?: Pas pour démarrer. Argusic a atteint un état de fonctionnement sur une machine sans GPU.
Qu'est-ce qui pose problème lors de l'installation de leanspec ?: 1 problème est survenu lors de l'exécution enregistrée, et 1 a été corrigé sans aide humaine. Chacun, avec le temps qu'il a coûté, est listé sur cette page.
Comment leanspec se compare-t-il aux alternatives ?: Sur les 231 projets ai qu'Argusic a installés et chronométrés, leanspec a été le 210e plus rapide à atteindre un état de fonctionnement, et 152 sur 231 en ont atteint un.
Où sont les preuves pour leanspec ?: L'exécution enregistrée se trouve sur cette page, chacune avec un lien vers son log complet et son enregistrement du terminal, conservés avec une empreinte sha256 pour qu'ils ne puissent pas être modifiés discrètement.