verification-engine

Automated code verification handles build, type checking, linting, and testing in a single step. It uses a sub-agent for fresh context validation and attempts automated repair for common fixable errors like missing imports and type mismatches.

Fresh context validation performs testing and linting in a clean environment using a sub-agent. This avoids context pollution to ensure that build and type checking results accurately reflect the codebase without interference from prior operations.

Automated repair can fix common code issues like missing imports, linting errors, and type mismatches. After attempting these fixes, the verification engine provides detailed reports on any remaining failures and test coverage.

The verification engine supports optional code review and security checks alongside build, type checking, linting, and testing. It integrates these steps into a single automated command and reports detailed failures and coverage metrics.

Automated repair targets common fixable errors like missing imports and type mismatches. It does not handle complex logic failures, and users receive detailed reports on uncorrected failures and coverage to guide manual debugging.