vdd

What problem does it solve?

This Skill solves the pervasive problem of shipping buggy, unreliable code by enforcing a verify-before-trust discipline, ensuring no behavior is considered complete without a verifiable check to confirm it works as intended.

Core Features & Use Cases

• Full Verification Spectrum Support: Covers type-level checks, static analysis, unit tests, property-based tests, integration tests, and formal verification to match risk levels.
• Structured Implementation Workflow: Guides users through defining verifiable specifications, writing verification first, layering checks strategically, and gating task completion on passing all tests.
• Use Case: When building a payment processing module, use this Skill to define pre/postconditions, write failing tests first, implement the logic, and run mutation testing to confirm tests catch real bugs before shipping.

Quick Start

Use the vdd skill to implement the new user profile update endpoint, defining all acceptance criteria and verification tests before writing any implementation code.