CommunityProgramación y desarrollogithub.com

juliusbrussee/backprop

Protocolo de Bug → especificación. Cuando se encuentra un error o falla una prueba, rastrea la causa, decide si un nuevo invariante §V evitaría la recurrencia y lo añade a §B. Desencadenado por fallos en pruebas, informes de errores, autopsias o peticiones explícitas del usuario.

¿Qué es backprop?

La habilidad **juliusbrussee/backprop** implementa el protocolo "Bug → spec" (de error a especificación) dentro del flujo de trabajo SDD (Specification-Driven Development). Su función principal es, ante el hallazgo de un bug o un fallo en una prueba, rastrear la causa raíz, determinar si un nuevo **invariante** en la sección §V de la especificación podría detectar esa misma falla a futuro, y finalmente **agregar** dicho invariante a la sección §B (comportamiento). Esto contrasta con enfoques planificar-y-ejecutar, donde los errores corregidos no refuerzan automáticamente la especificación. Se activa automáticamente ante: fallos de tests, informes de bugs, análisis post-mortem, o una petición explícita del usuario. Es compatible con agentes que siguen el ciclo SDD y ayuda a hacer que las especificaciones sean cada vez más robustas contra regresiones.

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

Installed? Explore more Programación y desarrollo skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Preguntar en tu IA favorita

Abre un nuevo chat con esta habilidad de agente ya precargada.

Documentación

¿Qué hace backprop?

Protocolo de Bug → especificación. Cuando se encuentra un error o falla una prueba, rastrea la causa, decide si un nuevo invariante §V evitaría la recurrencia y lo añade a §B. Esta es la única funcionalidad no obvia que SDD realiza y que planificar-y-ejecutar no. Se activa en fallos de pruebas, informes de errores, autopsias o peticiones explícitas del usuario.

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.

Skills relacionados