Results for “formal-verification”
2 skills
auto-skiller Verification Patterns
Provides grep-based patterns to verify that code artifacts are real implementations rather than stubs or placeholders, covering React components, API routes, database schemas, and hooks.
1
pwdev-solucoes Flow Verify
Adversarially verify an implementation against its objective, acceptance criteria, definition of done, and prohibitions using fresh evidence. Use for completion gates, release readiness, or independent verification after implementation and review.
2 · bundle