design-drift

What problem does it solve?

Detects and surfaces mismatches between a project's design documentation and its codebase to replace manual, ad-hoc checks with a structured audit that highlights aligned, drifted, partial, and unresolved assertions.

Core Features & Use Cases

• Structured assertion extraction: mechanically extracts verification assertions from standardized project docs and maps them to code checks.
• Agent-driven verification & flow tracing: dispatches a design-drift auditor and optional flow-tracer agents to validate call chains and produce hop-by-hop traces with file:line references.
• Modes & remediation: supports full scans or focused audits by category or document, handles truncated agent runs, aggregates summary statistics, and provides repair recommendations or decision-point prompts for user approval.

Quick Start

Check for design drift across the repository and trace any flagged call flows to produce a consolidated drift report.