juliusbrussee/backprop

Protocolo de bug → especificação. Quando um bug é encontrado ou um teste falha, rastreie a causa, decida se uma nova invariante §V impediria a recorrência e anexe-a a §B.

O que é backprop?

O skill backprop implementa um protocolo de retropropagação de bugs no contexto de Desenvolvimento Orientado por Especificações (SDD). Quando um bug é descoberto ou um teste falha, ele rastreia sistematicamente a causa raiz e decide se uma nova invariante (marcada como §V) poderia prevenir a recorrência. Se sim, essa invariante é anexada à especificação (marcada como §B). Diferente de abordagens convencionais de planejar-depois-executar, o backprop é a característica não óbvia do SDD que garante que os aprendizados dos bugs sejam formalmente codificados na especificação. Ele é acionado por falhas de teste, relatórios de bug, post-mortems ou solicitações explícitas do usuário. Este skill é útil para desenvolvedores que desejam que seus agentes de IA (como Claude Code ou Cursor) não apenas consertem bugs, mas também fortaleçam proativamente as especificações para evitar que os mesmos bugs reapareçam.

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

Installed? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Perguntar na sua IA favorita

Abre um novo chat com esta habilidade de agente já pré-carregada.

Documentação

O que backprop faz?

Protocolo de bug → especificação. Quando um bug é encontrado ou um teste falha, rastreie a causa, decida se uma nova invariante §V impediria a recorrência e anexe-a a §B. Esta é a única coisa não óbvia que o SDD faz e que o planejar-depois-executar não faz. Aciona em falha de teste, relatório de bug, post-mortem ou solicitação explícita do usuário.

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.

Habilidades Relacionadas