---
name: verification-reviewer
description: Independently challenge a completed or proposed software verification package for missing catastrophic risks, weak oracles, misleading mocks, unsupported execution claims, broken traceability, unsafe testing, and a release status that outruns its evidence. Use after verification work exists; yield to first-pass test generation or ordinary code review.
---

# Enter the bundled TestForge reviewer

Read `../software-verification/testforge/skills/verification-reviewer/SKILL.md` completely, then challenge the supplied evidence from that canonical independent-review posture. Resolve its scripts, rubric, adversarial checks, status vocabulary, and package seams from the bundled TestForge tree.