# Skill: verify
- Purpose: check proofs against expectations
- Output: PASS / FAIL only