juliusbrussee/backprop(回溯协议)
Bug → 规约协议。当发现Bug或测试失败时,追溯原因,判断是否应新增§V不变式以拦截复发,并将其追加到§B。这是SDD所做而“先规划后执行”所没有的一项非直观操作。触发条件:测试失败、Bug报告、事后复盘或用户明确要求。
Bug → 规约协议。当发现Bug或测试失败时,追溯原因,判断是否应新增§V不变式以拦截复发,并将其追加到§B。这是SDD所做而“先规划后执行”所没有的一项非直观操作。
backprop 技能实现了一种“Bug→规约”协议,是SDD(结构化需求驱动)方法论中的关键环节。当测试失败、用户报告Bug、进行事后复盘或收到明确指令时,该技能会自动追溯问题根源,评估是否能够通过新增§V(验证)不变式来防止同一类问题再次出现,然后将该不变式追加到§B(行为规约)中。与传统的“plan-then-execute”模式不同,backprop 强调从失败中学习并动态强化系统规约,从而使AI代理(如Claude Code、Coder、知己等)能够持续提升代码鲁棒性和测试覆盖率。该技能适用于任何支持SDD协议的工具链,尤其是那些需要增量式规约维护的场景。通过自动化不变式的推导与规约更新,backprop 显著减少了回归缺陷,提升了长期开发效率。
npx skills add https://github.com/juliusbrussee/cavekit/tree/main/skills/backpropInstalled? Explore more 编程与开发 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Bug → 规约协议。当发现Bug或测试失败时,追溯原因,判断是否应新增§V不变式以拦截复发,并将其追加到§B。这是SDD所做而“先规划后执行”所没有的一项非直观操作。触发条件:测试失败、Bug报告、事后复盘或用户明确要求。
This repo contains 4 individual skills — each has its own dedicated page.
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.
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".
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".
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.
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.