generate-vf-prompt

You can generate verification prompts by pasting a plan, design doc, or code diff; the skill analyzes the content to auto-select applicable verification strategies and produces falsifiable assertions with exact file:line citations.

A verification prompt validates design faithfulness by providing structured, falsifiable assertions that challenge a plan or code diff, enabling rigorous backward reasoning and validation without executing the code.

Yes, you can use this to generate verification strategies for a code diff by pasting the diff, which triggers automatic strategy selection and outputs a single paste-ready prompt grouping all assertions.

The best way to structure plan analysis for backward reasoning is to generate a single copy-paste prompt that groups assertions across architectures, UI changes, and behavioral updates, guiding reviewers through verification steps.

The skill produces 3-5 falsifiable assertions per selected verification strategy, ensuring each assertion is anchored to exact file paths and line numbers for rigorous validation.

No, the generated verification prompt does not require execution; it enables rigorous backward reasoning and validation by challenging plans, design documents, or code changes purely through structured assertions.