verification-reviewer · git:20260718.416eef7 · 2026-07-18 · sha256 0b8078d0998e2d8c

verification-reviewer git:20260718.416eef7A

Immutable. This exact content is served forever at /api/v1/blob/0b8078d0998e2d8c.

---
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.