Plugin marketplace

proof-driven-development

Proof-Driven Development — the verification-first methodology. Portable skills for attention-sized decomposition, architectural de-risk, PR sizing, and test-adequacy gates.

0 · AlexTavor/proof-driven-development1 pluginupdated 3 months ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

pdd

claude

The PDD skills, grouped by move. MAP: read-the-system, footgun-register, silent-failure-census, system-truth-atlas. PIN: characterize-before-change, reproducibility-baseline. CARVE: decompose-by-attention, design-assumptions-register, one-meaning-per-term, cover-the-mirror, design-completeness, derisk-gate, decision-gate. SHIP: boundary-tests, no-op-paths, assert-by-shape, trace-requirements-to-tests, pr-sizing, cohesion-review. GRADE: properties, mutation-grading, keep-properties-honest.

22 skills

0

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted