Results for “formal-verification”
5 skills
obra Verification Before Completion
Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, to prevent false success claims.
247k
kursku Gsd Verify Work
Validate built features through conversational UAT
55
hoangnguyen0403 Verify Bug
Post-merge UAT verification workflow. Walks JIRA reproduce steps, performs comparative audits (Before/After), attaches evidence to JIRA, and transitions status on PASS.
542
fradser Verification Before Completion
Use when about to claim work is complete, fixed, or passing, before committing, before reporting a task done, or before telling the evaluator the batch is ready. Requires running the verification command and reading its output in this turn before any success claim; evidence before assertions always.
580
a5c-ai Process Validator
Validate process JS files for correct SDK patterns, task definitions, syntax, and quality gate implementation.
1.7k