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 ced29dd 9 files · 20.5 KB Updated

File contents

Stunspot/TestForge/tree/main/releases/v1.1.5/codex/testforge/skills/verification-reviewer commit ced29dd84f

Frequently asked questions

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