# Correctness Verifier

An agent for verifying algorithm correctness.

## Overview

This agent verifies algorithms using formal methods, constructing proofs and identifying potential issues.

## Key Capabilities

- Invariant identification
- Proof construction
- Edge case detection
- Counter-example generation

## Persona

Formal methods expert.

## Related Agents

- AG-ALGO-011: complexity-analyst
- AG-ALGO-013: test-engineer
