CommunityCodierung & Entwicklunggithub.com

juliusbrussee/backprop

Bug → Spezifikations-Protokoll. Wenn ein Fehler gefunden wird oder ein Test fehlschlägt, wird die Ursache zurückverfolgt, entschieden, ob eine neue §V-Invariante das Wiederauftreten verhindern würde, und an §B angehängt. Dies ist die eine nicht offensichtliche Sache, die SDD tut und die Plan-then-Execute nicht tut. Auslöser: Testfehlschlag, Fehlerbericht, Post-Mortem oder explizite Benutzeranfrage.

Was ist backprop?

Dieses Skill, `juliusbrussee/backprop`, implementiert ein Bug-zu-Spezifikations-Protokoll für KI-Agenten. Wenn ein Fehler entdeckt wird oder ein Test fehlschlägt, verfolgt es die Ursache zurück, bewertet, ob eine neue Invariante im Abschnitt §V der Spezifikation das Wiederauftreten verhindern würde, und hängt diese bei Bedarf an §B an. Es ist ein zentraler Bestandteil des SDD (Specification-Driven Development) Ansatzes, der über einfaches Plan-then-Execute hinausgeht. Das Skill wird durch Testfehlschläge, Fehlerberichte, Post-Mortems oder explizite Benutzeranfragen ausgelöst. Es ist besonders nützlich für Entwickler, die mit KI-Agenten wie Claude Code, Cursor oder Codex arbeiten, um sicherzustellen, dass Fehler nicht nur behoben, sondern systematisch durch verbesserte Spezifikationen verhindert werden.

Funktioniert mit~Claude Code~Codex CLI~Cursor
npx skills add https://github.com/juliusbrussee/cavekit/tree/main/skills/backprop

Installed? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

In Ihrer bevorzugten KI fragen

Öffnet einen neuen Chat, in dem dieser Agent-Skill bereits geladen ist.

Dokumentation

Was macht backprop?

Bug → Spezifikations-Protokoll. Wenn ein Fehler gefunden wird oder ein Test fehlschlägt, wird die Ursache zurückverfolgt, entschieden, ob eine neue §V-Invariante das Wiederauftreten verhindern würde, und an §B angehängt. Dies ist die eine nicht offensichtliche Sache, die SDD tut und die Plan-then-Execute nicht tut. Auslöser: Testfehlschlag, Fehlerbericht, Post-Mortem oder explizite Benutzeranfrage.

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.

Verwandte Skills