SkillProof tested Claude skills

Hermes Loop Master

Force la spécification, la preuve RED/GREEN et la revue de diff contradictoire avant la livraison du code

par s0heyl · s0heyl/hermes-loop-master

Testé · Fonctionne ★ 8.8/10

Hermes Loop Master — Force la spécification, la preuve RED/GREEN et la revue de diff contradictoire avant la livraison du code

Ce que fait

Une boucle de discipline de codage qui fait que l'agent rédige un contrat d'exécution vérifiable, implémente une tranche à la fois, prouve le comportement avec RED/GREEN plus les chemins positifs, négatifs, de préservation et d'échec, puis examine son propre diff par rapport à dix modèles de 'faux-fini' avant de déclarer le travail terminé. Se déclenche sur les tâches de codage multi-étapes, orientées production, sensibles à la sécurité ou inter-sessions. Fournit un harnais exécutable qui évalue les artefacts de la boucle, de sorte que le processus est vérifié par machine plutôt qu'auto-déclaré.

Rapport de test

A corrigé le même bug de parseur de durée deux fois sur des dépôts identiques, une fois à la main et une fois sous la boucle. Les deux branches ont produit une suite de tests verte, mais la vérification du chemin d'échec imposée par la compétence a révélé que la correction regex évidente renvoie silencieusement 0 pour 'banana' et '', 3600 pour la faute de frappe '1h30', et 300 pour '-5m' — une sonde de dix entrées contre les deux versions finales a divergé sur cinq, la version sans compétence renvoyant un mauvais nombre là où la version de la compétence lève une exception. Le harness_check.py fourni est réel et fonctionne : il a scoré les artefacts de la boucle 32/34, a signalé deux cases 'Done When' non cochées que j'avais laissées ouvertes, a correctement passé les fixtures good-loop et critical-loop et a rejeté la fixture bad-loop, et les 36 tests unitaires du dépôt passent. Coûte trois fichiers d'artefacts supplémentaires et environ le double des appels d'outils, il est rentable pour les travaux risqués, pas pour les fautes de frappe. Notez qu'il est marqué pour l'agent Hermes de Nous Research et que son installateur par défaut est ~/.hermes, donc les utilisateurs de Claude Code doivent passer --target comme dans la commande ci-dessus.

Testé le: 2026-07-30 · Claude Code 2.x (agent harness)

Installation

git clone https://github.com/s0heyl/hermes-loop-master.git
mkdir -p ~/.claude/skills
cd hermes-loop-master && bash install.sh --target ~/.claude/skills/hermes-loop-master

Commandes et exemples de prompts

  • /hermes-loop-masterForce la spécification, la preuve RED/GREEN et la revue de diff contradictoire avant la livraison du code

Les skills se déclenchent sur des demandes en langage courant — aucune commande à retenir. Après installation, des prompts comme ceux-ci l'activent (en anglais) :

  • Fix this auth bypass in production, carefully, with proof it actually works
  • Refactor the payment webhook handler, this will span a few sessions
  • Continue yesterday's migration work under the RED/GREEN evidence loop

Rapport complet →