Toutes les ressources premium et membres pour 8,99 €/mois, en abonnement sans engagement. Voir les offres

PalateKit

Menu

Demander une ressource

Décrivez en une phrase la ressource qui vous manque. Nous vous écrirons quand elle sera publiée.

0 / 280

Débloquer PalateKit

Tout débloquer

Offre

Le paiement vaut acceptation de nos conditions générales de vente.

Paiement sécurisé par Stripe. Reçus et factures envoyés par e-mail.

Content de vous revoir

Connectez-vous pour installer, télécharger ou sauvegarder cette ressource. Un compte gratuit suffit pour les ressources gratuites.

Du bug à la spec : ajout d'un invariant après une erreur v1.0.0

Utilisez cette ressource pour transformer un bug en invariant et en entrée de spec

Nouveau

  • 456 téléchargements
  • 211 mentions J'aime
  • 148 sauvegardes

Gratuit

Installer avec la CLI

Dans un terminal, depuis le dossier voulu :

npx --yes palatekit@latest install bug-to-invariant-spec-update

Sans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.

Première fois : connectez la CLI avec

npx --yes palatekit@latest login

L'agent remonte de l'échec jusqu'à la ligne fautive, examine si un nouvel invariant empêcherait la récurrence, propose la règle, génère un test et consigne l'entrée dans §B. Vous corrigez le code et la spec dans le même mouvement, pour que le bug ne revienne pas.

Choisie surtout par

Mise à jour le 2 novembre 2026

Carte de la skill « Du bug à la spec : ajout d'un invariant après une erreur »

Caractéristiques

Guides d'installation
Génère avec
Le modèle de votre agent
Licence
MIT

Ressources similaires

Tout voir

Ce que vous obtenez

  • SKILL.md : déclencheurs et six étapes, de la trace au journal
  • SKILL.md : critères d'un bon invariant et cas où n'en ajouter aucun

Pour qui

  • Un test échoue pendant la construction et la cause est difficile à situer
  • Un incident en production doit donner lieu à une règle dans la spec

Pas pour qui

    Étiquettes

    • bug
    • invariant
    • spec
    • régression
    • post-mortem

    À propos

    Vous dites

    « Ce test de facturation a échoué : trouve la cause et propose l'invariant qui l'aurait évitée. »

    Carte de la skill « Du bug à la spec : ajout d'un invariant après une erreur »

    Skill publiée par juliusbrussee sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.

    Voir plus

    Comment l'utiliser

    1. Installez la skill dans le dossier de skills de votre agent
    2. Demandez à votre agent de transformer un bug en invariant et en entrée de spec
    3. Relisez et ajustez le résultat

    Aperçu du contenu

    Fichiers

    • LICENSE1,1 Ko
    • NOTICE-PALATEKIT.md0,5 Ko
    • SKILL.md2,7 Ko

    Origine et licence

    Référencée sans modification

    Auteur
    juliusbrussee
    Source
    github.com/juliusbrussee/cavekit/tree/7421e87d5b517c415c519ddf58a3dd10ba842530/skills/backprop
    Licence
    MIT

    Notice

    « backprop » (juliusbrussee, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.

    Avis des utilisateurs

    –

    Aucune note pour l'instant

    Chargement des avis…

    Supprimer votre avis ?

    Votre note et votre commentaire seront retirés de la fiche.