JuliusBrussee/cavekit

Adversarial Spec Review constructs a skeptical reviewer that attacks a spec before any code is written, using evidence from the codebase, research, and live best-practices. Use it before high-blast-radius builds to refute unsound plans and harden verification.

Backprop traces a bug or failing test to its root cause, then appends a §B entry and usually a §V invariant to SPEC.md so recurrence is impossible. Use it after test failures, bug reports, post-mortems, or VIOLATE flags.

Build implements tasks from a SPEC.md using a single-threaded plan-then-execute loop. It tracks task status, runs the verification command, and on failure invokes backprop to update spec invariants before retrying.

Caveman encodes SPEC.md and spec-adjacent writes into compressed symbolic notation, cutting tokens ~75% versus prose while preserving facts. Use it when writing or editing specs, backprop entries, or whenever brevity is requested.

Deepen finds the shallowest modules in the code the spec touches, researches a deeper design, and proposes refactors that shrink interfaces and hide decisions while keeping behavior constant and tests green before and after.

Grill calibrates interrogation of a fuzzy idea before it becomes a spec, asking one question at a time and landing answers as goals or constraints. Use it when a plan is vague or needs stress-testing before writing a spec.

Research gathers external knowledge and logs it as source-cited §R rows so builds ground in facts instead of hallucinating library behavior. Use it when a spec decision hinges on a library, API, or best practice you are unsure of.

Spec Drift Detector checks SPEC.md against current code and reports violations grouped by severity. It is a read-only tool that suggests remedies but never edits files, useful for auditing spec compliance after builds or before shipping.

Spec Mutator creates, amends, and backprops bugs into SPEC.md at the repo root, serving as the sole mutator of the project spec. Use it when writing a new spec, distilling from existing code, adding invariants, amending sections, or recording a bug via backprop.