Community程式設計與開發github.com

juliusbrussee/backprop

Bug → 規格協議。當發現錯誤或測試失敗時,追蹤原因,判斷新的 §V 不變量是否能防止再次發生,並將其附加到 §B。這是 SDD 相較於「先計劃後執行」所獨有的非顯而易見功能。觸發條件包括測試失敗、錯誤報告、事後分析或用戶明確要求。

backprop 是什麼?

這是一個名為「backprop」的 AI 代理技能,旨在將開發過程中的錯誤轉化為更嚴謹的規格。其核心功能是,當遇到測試失敗、錯誤報告、事後分析或用戶主動提出時,會自動追溯錯誤的根本原因。接著,它會判斷是否需要定義一個新的 §V 不變量(invariant),以便在未來能夠自動捕獲同類型的錯誤,並將這個新不變量追加到 §B(規格文檔)中。此技能特別適用於遵循規範驅動開發(Specification-Driven Development, SDD)的工作流程,它實現了 SDD 中一個關鍵的、介於「先規劃後執行」模式之間的非顯而易見環節:自動從實際錯誤中學習並強化規格。其主要支援平台為 Claude Code 等 AI 編碼代理,開發者可以透過明確的指令或用戶端事件(如測試框架輸出的失敗訊息)來觸發此技能,從而系統性地提升程式碼庫的可靠性和規格的完備性。

相容平台~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 的新對話。

說明文件

backprop 是做什麼的?

Bug → 規格協議。當發現錯誤或測試失敗時,追蹤原因,判斷新的 §V 不變量是否能防止再次發生,並將其附加到 §B。這是 SDD 相較於「先計劃後執行」所獨有的非顯而易見功能。觸發條件包括測試失敗、錯誤報告、事後分析或用戶明確要求。

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.

相關技能