behavior-contract

SKILLWorkflowCommunity
v0.0.0a5c-aiMITAktualisiert vor 6 TQuelle →

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 →
2kRepo-Sterne
1Clients
1Formate
vor 6 TLetzte Aktualisierung
Skill
Autora5c-ai
Version0.0.0
LizenzMIT
KategorieWorkflow
Formateskill.md
PromptÖffnen (siehe Tab „Prompt“)
Kompatibilität
Claude✓ Unterstützt
Cursor—
Copilot—
ChatGPT—
Gemini—
Über

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

Schlagwörter
skillclaude