behavior-contract

Name: behavior-contract
Author: a5c-ai

SKILLWorkflowcommunity

v0.0.0a5c-aiMITUpdated 1d agoSource →

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 stars

1Clients

1Formats

1d agoLast update

Skill

Authora5c-ai

Version0.0.0

LicenseMIT

CategoryWorkflow

Formatsskill.md

PromptOpen (see Prompt tab)

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

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

Keywords

skillclaude