Provide implementations of advanced data structures
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter18672026年9月17日 更新
免费在 GitHub 公开
behavior-contract
Bug condition/postcondition formalization as testable Behavior Contracts. Defines invariants that must be preserved across fixes.
中文简介正在准备中。当前显示原文说明。
查看安装方法包含的文件（2）
- SKILL.md2.2 KB
- README.md620 B
SKILL.md（原文）
安装前可以查看交给 AI 代理的指令内容。
- "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
- Bug analysis identifies root cause at file:line
- This skill formalizes the contract from the analysis
- tdd-enforcer writes failing test from Bug Condition
- tdd-enforcer writes preservation tests from Invariants
- Minimal fix applied, contract audited
评价
还没有评价。欢迎分享你的使用感受。
评论
无需登录即可发表。欢迎分享使用感受、提问，或说明在哪些环境下无法运行。
还没有评论。来写第一条吧。
同一仓库的技能
Fresh adversarial code review with binary PASS/FAIL verdicts, evidence citations, and anchoring bias prevention via fresh reviewer spawning.
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter18672026年9月17日 更新
WASM-based instant code transforms for simple tasks, achieving 352x speedup over LLM inference with zero cost.
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter18672026年9月17日 更新
Coordinate Crew (persistent) and Polecat (transient) agents using Gas Town's hook-based work distribution and GUPP principle.
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter18672026年9月17日 更新
Generate visual representations of algorithm execution
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter18672026年9月17日 更新
Hierarchical coordination and drift detection with frequent checkpoints, shared memory coherence validation, role specialization enforcement, and short task cycles.
中文简介正在准备中。当前显示原文说明。
a5c-ai/babysitter18672026年9月17日 更新