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