Community编程与开发github.com

juliusbrussee/backprop (回溯协议)

Bug → 规约协议。当发现Bug或测试失败时,追溯原因,判断是否应新增§V不变式以拦截复发,并将其追加到§B。这是SDD所做而“先规划后执行”所没有的一项非直观操作。

backprop (回溯协议) 是什么?

backprop 技能实现了一种“Bug→规约”协议,是SDD(结构化需求驱动)方法论中的关键环节。当测试失败、用户报告Bug、进行事后复盘或收到明确指令时,该技能会自动追溯问题根源,评估是否能够通过新增§V(验证)不变式来防止同一类问题再次出现,然后将该不变式追加到§B(行为规约)中。与传统的“plan-then-execute”模式不同,backprop 强调从失败中学习并动态强化系统规约,从而使AI代理(如Claude Code、Coder、知己等)能够持续提升代码鲁棒性和测试覆盖率。该技能适用于任何支持SDD协议的工具链,尤其是那些需要增量式规约维护的场景。通过自动化不变式的推导与规约更新,backprop 显著减少了回归缺陷,提升了长期开发效率。

兼容平台~Claude Code~Codex CLI~Cursor
npx skills add https://github.com/juliusbrussee/cavekit/tree/main/skills/backprop

Installed? Explore more 编程与开发 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

在你喜欢的 AI 中提问

打开一个已预加载此 Agent Skill 的新对话。

文档

juliusbrussee/backprop(回溯协议)

Bug → 规约协议。当发现Bug或测试失败时,追溯原因,判断是否应新增§V不变式以拦截复发,并将其追加到§B。这是SDD所做而“先规划后执行”所没有的一项非直观操作。触发条件:测试失败、Bug报告、事后复盘或用户明确要求。

Individual skills in this repo

This repo contains 4 individual skills — each has its own dedicated page.

juliusbrussee/build

Plan-then-execute implementation against SPEC.md. Native single-thread loop, no sub-agents. On test or build failure, auto-invokes the backprop skill before retrying — a failed verification always considers whether a new §V invariant would prevent recurrence. Triggers when the user asks to build, implement, execute the spec, or tackle a specific §T task (`build §T.3`, `build --next`, `implement next task`, `run the build`). Expects SPEC.md to exist; if not, defers to the spec skill.

juliusbrussee/caveman

Caveman encoding for SPEC.md and spec-adjacent writes. Loaded by /spec, /build, /check. Cuts tokens ~75% vs prose while staying precise. Triggers on any write to SPEC.md or when user says "caveman", "compress this", "be brief".

juliusbrussee/check

Read-only drift detector. Diffs SPEC.md against current code and reports violations grouped by severity. Writes nothing — suggests remedies via the spec or build skills but never invokes them. Triggers when the user asks to check drift, audit the spec, verify invariants, or ask whether code still matches the spec. Phrasings: "check drift", "audit the spec", "does the code still match §V", "check invariants", "spec vs code".

juliusbrussee/spec

Create, amend, or backprop bugs into SPEC.md at repo root. Sole mutator of the project spec. Triggers when the user asks to write a spec, start a new spec, distill a spec from existing code, add invariants, amend sections (§G, §C, §I, §V, §T, §B), or record a bug via backprop. Common phrasings: "write the spec for...", "new spec", "bug: ...", "amend §V.3", "distill spec from code", "spec this idea". Reads and follows FORMAT.md for the caveman encoding rules and pipe-table shape of §T and §B.

相关技能