agentsclimarketplace
Sign in

Behavior contract

Skill a5c-ai/babysitter/library/methodologies/pilot-shell/skills/behavior-contract

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

Install
npx -y skills add a5c-ai/babysitter --skill behavior-contract

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

2.2 KB, 240 tokens by cl100k_base, as published. Nobody here has run it

  • "Positive amounts still process correctly"
  • "Negative amounts still throw InvalidAmountError"
  • "Receipt format remains unchanged for all amount types"

Contract Document Template

# Behavior Contract: [Bug Title]

## Bug Condition
[Precise description of triggering conditions]

## Postcondition
[Expected correct behavior after fix]

## Invariants
- [ ] Invariant 1: [existing behavior to preserve]
- [ ] Invariant 2: [existing behavior to preserve]

## Testable Assertions
1. `expect(processPayment(0)).toEqual({ amount: 0, status: 'completed' })`
2. `expect(processPayment(100)).toEqual({ amount: 100, status: 'completed' })`
3. `expect(() => processPayment(-1)).toThrow(InvalidAmountError)`

Usage in Bugfix Workflow

  1. Bug analysis identifies root cause at file:line
  2. This skill formalizes the contract from the analysis
  3. tdd-enforcer writes failing test from Bug Condition
  4. tdd-enforcer writes preservation tests from Invariants
  5. Minimal fix applied, contract audited

What ships with it: 1 file

620 B alongside SKILL.md

Keep looking

Skills are one crate of 326,059. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.