本文へ移動
cccskills
無料GitHub で公開

behavior-contract

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

a5c-ai/babysitter
インストール方法を見る

含まれるファイル（2）

  • SKILL.md2.2 KB
  • README.md620 B

SKILL.md（原文）

インストールする前に、エージェントに与えられる指示の中身を確認できます。

  • "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

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

ログインしてレビューを書く

同じリポジトリのスキル

概要と使いどころ

advanced-ds-library

無料

Provide implementations of advanced data structures

日本語の概要は準備中です。原文の説明を表示しています。

a5c-ai/babysitter1,8412026年9月17日 更新

adversarial-review

無料

Fresh adversarial code review with binary PASS/FAIL verdicts, evidence citations, and anchoring bias prevention via fresh reviewer spawning.

日本語の概要は準備中です。原文の説明を表示しています。

a5c-ai/babysitter1,8412026年9月17日 更新

agent-booster

無料

WASM-based instant code transforms for simple tasks, achieving 352x speedup over LLM inference with zero cost.

日本語の概要は準備中です。原文の説明を表示しています。

a5c-ai/babysitter1,8412026年9月17日 更新

agent-coordination

無料

Coordinate Crew (persistent) and Polecat (transient) agents using Gas Town's hook-based work distribution and GUPP principle.

日本語の概要は準備中です。原文の説明を表示しています。

a5c-ai/babysitter1,8412026年9月17日 更新

algorithm-visualizer

無料

Generate visual representations of algorithm execution

日本語の概要は準備中です。原文の説明を表示しています。

a5c-ai/babysitter1,8412026年9月17日 更新

anti-drift

無料

Hierarchical coordination and drift detection with frequent checkpoints, shared memory coherence validation, role specialization enforcement, and short task cycles.

日本語の概要は準備中です。原文の説明を表示しています。

a5c-ai/babysitter1,8412026年9月17日 更新

a5c-ai のスキルをすべて見る

このスキルの問題を報告する