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.