behavior-contract

Name: behavior-contract
Author: a5c-ai

SKILLFlusso di lavorocommunity

v0.0.0a5c-aiMITAggiornato 1 mesi faFonte →

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 →

2kStelle del repo

1Client

1Formati

1 mesi faUltimo aggiornamento

Skill

Autorea5c-ai

Versione0.0.0

LicenzaMIT

CategoriaFlusso di lavoro

Formatiskill.md

PromptApri (vedi la scheda Prompt)

Compatibilità

Claude✓ Supportato

Cursor—

Copilot—

ChatGPT—

Gemini—

Descrizione

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

Parole chiave

skillclaude

Nessuna copertura delle dipendenze

Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.