Plugins

5 plugins

Project Verification Pipeline

For developers running comprehensive verification pipelines for Laravel or Quarkus projects before PRs or releases.

4 skills · plugin

Task Execution Workflow

Load a plan, execute tasks with verification, and track progress via issues.

10 skills · plugin

Migrate Legacy SDK

Migrate from a legacy SDK to a new version using mapping tables, deprecation patterns, and verification.

3 skills · plugin

Superpowers Sage

Modern WordPress development with Sage, Acorn & Lando. Workflow skills: /architecture-discovery, /plan-generator, /building, /designing, /verifying (+ /architecting compatibility alias), with design tool integration, content modeling, visual verification, and comprehensive hooks.

36 skills · plugin

@brycewang-stanford

Twelve CAV-specific skills for the International Conference on Computer Aided Verification and its Springer LNCS open-access proceedings, grounded in the CAV 2026 (FLoC, Lisbon) call, the LNCS proceedings, i-cav.org, and dblp.

2 skills · plugin

Results for “verification”

31 skills

Verification Gate

Enforces a verification gate before any completion claim, requiring fresh command output as evidence.

Verification Before Completion

Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, to prevent false success claims.

Verification Before Completion

Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, ensuring evidence precedes any success claims.

Runs a QA validation cycle followed by bugfix until all criteria pass clean, with automated verification and re-validation.

ai-builder-club

Scaffolds a per-task verification skill for a repo, including a dev-local launcher, a browser driver, and a verification SOP that spawns a sub-agent to drive the app and produce proof.

Tw Invariant Ace

Define owned inductive invariants and enforce them at parse, construct, API, DB, lock, or transaction boundaries, with counterexample-driven verification.

More results

Guides the creation, editing, and verification of agent skills using a test-driven development approach, with structured documentation and quality gates.

Django Verification

Runs a comprehensive verification pipeline for Django projects including migrations, linting, tests with coverage, security scans, and deployment readiness checks before PRs or releases.

Runs a persistent verification-and-fix loop, executing existing test suites and browser/desktop checks until the requested surface is verified or a real blocker remains.

ai-builder-club

Prove a feature works by delegating verification to an independent sub-agent that drives the real app, then open a pull request with the proof.

Verification Loop

Runs a multi-phase verification pipeline including build, type-check, lint, tests, security scan, and diff review to ensure code quality before creating a PR.

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.

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.

Delivers a small, bounded code change through inspection, a mini-plan, implementation, testing, review, and adversarial verification. Use for bug fixes, configuration changes, and features expected to touch no more than five files.

denissergeevitch

Repo Task Proof Loop

Provides a repeatable, auditable workflow for large coding tasks by initializing repo-local task artifacts, installing subagent templates, and running a spec-freeze → build → evidence → verify → fix loop with fresh-session verification.

Automates visual testing and UI interaction verification using browser automation after deploying features.

Automates visual testing and UI interaction verification using browser automation after deploying features.

Test Driven Development

Guides implementing features and bug fixes test-first, enforcing red-green-refactor with mandatory failure verification.

Uses two independent review agents to verify output quality, requiring both to pass before shipping.

Enforces a test-first workflow for features and bug fixes, guiding the red-green-refactor cycle with verification checklists.

Assertion Quality

Analyzes test suites to measure assertion diversity, detect shallow or trivial assertions, and identify tests that lack meaningful verification.

Test Driven Development

Guides implementing features and bug fixes test-first, enforcing the red-green-refactor cycle with mandatory failure verification.

Structured workflow to reproduce, diagnose, plan, fix, verify, and record a bug fix, requiring a deterministic reproduction before diagnosis and minimal changes only.

Guides implementing features and fixing bugs by writing failing tests first, then minimal code, with verification at each step.

Structures a bounded spec-build-review development loop with explicit scope, stop conditions, and human approval gates for risky or ambiguous work.

leandrobenjaminl

Verifica que una implementación cumpla los specs del ciclo SDD ejecutando tests reales, revisando cobertura y emitiendo un veredicto de aprobación o rechazo.

Code Testing Agent

Generates and writes unit tests for any programming language using a multi-agent pipeline that researches, plans, and implements tests with build and verification steps.

Retroactive Test Check

Verifies that tests for already-implemented behavior are meaningful by temporarily breaking the production code and confirming the test fails for the expected reason.

Extracts a language-agnostic ghost package (spec, tests, install and verify docs) from an existing repository, preserving behavior via tests.yaml and evidence bundles.

Defines a structured eval-driven development workflow with define, implement, and verify phases, including capability, behavior, and non-functional checks, plus optional swarm mode for parallel evaluation.

Runs a structured quality control audit on codebases, covering tests, imports, static analysis, type checking, smoke tests, UI verification, file consistency, and documentation, producing a PASS/WARN/FAIL report.