CodeVetter focused on executable verification
- The product now centers on proving whether coding agents completed a task correctly with reproducible runtime evidence.
- CLI, MCP, and machine-readable verification bundles are the primary surfaces; the desktop app remains a local viewer.