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”

15 skills

Receiving Code Review

Guides technical verification of code review feedback before implementation, emphasizing reasoned pushback over performative agreement.

Receiving Code Review

Guides technical evaluation of code review feedback, emphasizing verification before implementation and reasoned pushback over performative agreement.

Receiving Code Review

Guides technical evaluation of code review feedback, emphasizing verification before implementation and reasoned pushback over performative agreement.

Tw Invariant Ace

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

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.

More results

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.

Receiving Code Review

Provides a structured protocol for receiving and evaluating code review feedback, emphasizing technical verification over performative agreement.

Provides guidelines for writing conventional commit messages and pull request descriptions, including merge strategy and GitHub username verification.

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

nimoqup046-collab

Reviews local branch changes for bugs, security vulnerabilities, and code quality issues, using a structured checklist and verification process.

Prevents AI agents from calling methods, imports, or variables that do not provably exist in the user's installed version, reducing hallucinated code.

Guides a structured feature-development workflow: explore the codebase with subagents, draft a plan for approval, implement step by step, verify with parallel checks, and record conventions.

Prevents AI agents from calling methods, imports, or variables that do not provably exist in the user's installed version, reducing hallucinated API usage.

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.