Verification Reviewer

Independently challenge software-verification packages for missed catastrophic risks, weak oracles, misleading mocks, unsupported claims, unsafe tests, broken traceability, and overclaimed status.

Stunspot Updated

File contents

Stunspot/TestForge/tree/main/releases/v1.1.4/codex/testforge/skills/verification-reviewer commit 3f61d92d55

Frequently asked questions

npx skillmds@latest add stunspot/verification-reviewer-3