Notre méthode

Pas de mystère. Harnais.dev applique 5 méthodologies SOTA publiquement. Si elles vous semblent en désaccord, dites-le — le débat est encouragé.

Spec-Driven Dev

Thoughtworks Tech Radar 2025 (Assess)

Avec LLMs, on peut désormais faire du déterministe : spec → code généré → eval automatique. Le code suit la spec, pas l'inverse.

Pourquoi

L'agentique permet de réécrire le code à partir de la spec si la spec change. La spec devient le code source canonique. Re-incarnation gratuite.

Comment on l'applique

  • Chaque feature démarre par un fichier .spec.md (intent · contraintes · invariants · examples).
  • Code généré ou écrit puis comparé à la spec : si divergence, qui dit vrai ? La spec.
  • Eval automatique : pour chaque spec, des tests générés. Si tests passent, spec respectée.
  • CCCode utilise ce pattern pour ses workflows YAML (Plan 115-H) et ses skills.