Agent Skills: behavior-contract

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

pilot-shell-bugfixID: a5c-ai/babysitter/behavior-contract

Author

Repository

a5c-aiLicense: MIT

1,52087

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/behavior-contract

Skill Files

Browse the full folder contents for behavior-contract.

Loading file tree…

Select a file to preview its contents.