behavior-contract

Name: behavior-contract
Author: a5c-ai

SKILLWorkflowcommunauté

v0.0.0a5c-aiMITMis à jour il y a 1 moisSource →

Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

2kÉtoiles du dépôt

1Clients

1Formats

il y a 1 moisDernière mise à jour

Skill

Auteura5c-ai

Version0.0.0

LicenceMIT

CatégorieWorkflow

Formatsskill.md

PromptOuvrir (voir l’onglet Prompt)

Compatibilité

Claude✓ Pris en charge

Cursor—

Copilot—

ChatGPT—

Gemini—

À propos

Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.

Mots-clés

skillclaude

Aucune couverture des dépendances

Cette entrée ne publie aucun paquet npm : Forge n'a donc pas d'arbre de dépendances pour elle. C'est une lacune de couverture — pas une affirmation qu'elle n'a aucune dépendance.