# Proof Refinement Agent

Multi-turn self-correction agent for formal proof verification.

## Configuration

- `max_correction_turns`: Maximum number of correction attempts (0 = single-turn)
- `include_all_attempts`: Include all attempt records in output for training data
