GratuitSkills
Commits, branches et synchronisation avec la CLI but
- 361361 téléchargements
- 198198 mentions J'aime
- 103103 sauvegardes
Compatible avec
- Claude Code
- Codex
- Cursor
- et 3 autres
Écrire le contrat et les invariants avant le code v1.0.0
Utilisez cette ressource pour écrire du code dont les invariants et les cas limites sont posés avant l'implémentation
Nouveau
- 403 téléchargements
- 248 mentions J'aime
- 112 sauvegardes
Gratuit
Installer avec la CLI
Dans un terminal, depuis le dossier voulu :
npx --yes palatekit@latest install invariant-first-correct-codeSans 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 loginL'agent énonce le contrat de la fonction, l'invariant de boucle, l'argument de terminaison et les cas limites, puis écrit le code et vérifie qu'il les respecte. Les pièges classiques, comme la recherche de la première occurrence ou le vote majoritaire, sont traités explicitement.
Choisie surtout par
Mise à jour le 2 novembre 2026
Aperçus
Caractéristiques
- Fonctionne dans
- Guides d'installation
- Génère avec
- Le modèle de votre agent
- Licence
- Apache-2.0
Ressources similaires
Tout voir- Gratuit
GratuitSkills
Guide de la CLI Sentry
- 525525 téléchargements
- 117117 mentions J'aime
- 128128 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Bonnes pratiques Drizzle ORM avec PostgreSQL
- 407407 téléchargements
- 194194 mentions J'aime
- 151151 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Assistant de conception de SLO
- 537537 téléchargements
- 105105 mentions J'aime
- 242242 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
User stories de sprint
- 451451 téléchargements
- 150150 mentions J'aime
- 132132 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Plan de sprint réaliste
- 423423 téléchargements
- 192192 mentions J'aime
- 102102 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Conseiller CTO de startup
- 580580 téléchargements
- 201201 mentions J'aime
- 242242 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
GratuitSkills
Création de pull requests GitHub avec contrôles qualité
- 427427 téléchargements
- 230230 mentions J'aime
- 196196 sauvegardes
Compatible avec- Claude Code
- Codex
- Cursor
- et 3 autres
Ce que vous obtenez
- SKILL.md : protocole avant écriture et tableau de cas limites
- SKILL.md : pièges (vote de Boyer-Moore, recherche binaire) et exemples
Pour qui
- Votre recherche binaire renvoie parfois la mauvaise occurrence
- Vous écrivez un algorithme dont les tests ne couvrent pas les bords
Pas pour qui
Étiquettes
- invariants
- correction
- algorithmes
- cas limites
- contrat
À propos
Vous dites
« Écris la recherche de la première occurrence dans cette liste triée, en posant d'abord contrat et invariants. »
Skill publiée par morsechimwai sous licence Apache-2.0. Fichiers livrés dans leur version d'origine, en anglais.
Voir plusVoir moins
Comment l'utiliser
- Installez la skill dans le dossier de skills de votre agent
- Demandez à votre agent de écrire du code dont les invariants et les cas limites sont posés avant l'implémentation
- Relisez et ajustez le résultat
Aperçu du contenu
Fichiers
- LICENSE1,1 Ko
- NOTICE-PALATEKIT.md0,5 Ko
- SKILL.md18,5 Ko
Origine et licence
Référencée sans modification
- Auteur
- morsechimwai
- Source
- github.com/sickn33/agentic-awesome-skills/tree/e9809578fd426a284af017c5db99f8eb6628e6ca/skills/invariant-guard
- Licence
- Apache-2.0
Notice
« invariant-guard » (morsechimwai, Apache-2.0) 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…