What problem does it solve? It closes the gap between planned change artifacts (specs, tasks, design) and the actual code, catching incomplete tasks, unimplemented requirements, and design drift before a change is archived. ## Core Features & Use Cases - Three-Dimension Verification: Audits completeness (task checkboxes, spec coverage), correctness (requirement-to-code mapping, scenario coverage), and coherence (design adherence, pattern consistency). - Structured Report: Produces a markdown scorecard with CRITICAL, WARNING, and SUGGESTION issues, each paired with an actionable recommendation and file references. - Graceful Degradation: Adapts checks to available artifacts, verifying only tasks when specs or design files are missing. - Use Case: Before archiving a spec-driven change, run verification to confirm all tasks are checked off, every requirement has implementation evidence, and the code follows the documented design decisions. ## Quick Start Ask the assistant to verify that the implementation of a named OpenSpec change matches its specs, tasks, and design artifacts.