Plugins
5 pluginscurated
Project Verification Pipeline
For developers running comprehensive verification pipelines for Laravel or Quarkus projects before PRs or releases.
4 skills · plugin
curated
Task Execution Workflow
Load a plan, execute tasks with verification, and track progress via issues.
10 skills · plugin
curated
Migrate Legacy SDK
Migrate from a legacy SDK to a new version using mapping tables, deprecation patterns, and verification.
3 skills · plugin
@hekivo
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
CAV Skills
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”
406 skillsGsd Plan Phase
Create detailed phase plan (PLAN.md) with verification loop
55
Plan Writing
Structured task planning with clear breakdowns, dependencies, and verification criteria.
505 · bundle
Quarkus Verification
Runs a comprehensive verification pipeline for Quarkus projects including build, static analysis, tests with coverage, security scans, native compilation, and diff review before PRs or releases.
226k
Hermesone
Install, update, and manage the Hermes One desktop app via the `hermesone` npm package. Detects OS/arch, downloads verified releases, and installs with sha512 checksum verification.
1.2k · bundle
Acquiring Disk Image With Dd And Dcfldd
Create forensically sound bit-for-bit disk images using dd and dcfldd while preserving evidence integrity through hash verification.
24.6k · bundle
Pr
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.
770 · bundle
Plaid Fintech
Provides expert patterns for Plaid API integration, covering Link token flows, transactions sync, identity verification, ACH Auth, balance checks, webhook handling, and fintech compliance best practices.
2
Mermaid To Proverif
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models (.pv files) for proving security properties like secrecy, authentication, and forward secrecy.
6k · bundle
QA Checklist
Pre-ship audit checklist for Ethereum dApps covering wallet connection, button flows, contract verification, branding, RPC config, and mobile deep linking.
1.2k · bundle
Aeon Skill Repair
Diagnoses and fixes failing installed skills by reading the SKILL.md and error output, classifying the failure, applying the smallest fix, and attaching a verification recipe.
1.2k · bundle
Botemail AI Free Bot Email
Creates a temporary bot email address and checks its inbox via API, useful for testing signup flows, receiving verification codes, and automating email workflows.
10 · bundle
Screenshot
Visual verification workflow for UI changes to accelerate code review and catch ...
71 · bundle
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.
226k
Academic Pipeline
Orchestrates the full academic research pipeline from exploration to final manuscript, coordinating research, writing, integrity verification, peer review, revision, and finalization stages with user confirmation checkpoints.
36.4k · bundle
Tpr Fpr
Evaluates speaker verification models by computing true positive rate at fixed false positive rate thresholds, probing embedding space separation of same-speaker versus different-speaker pairs.
3
Performing Supply Chain Attack Simulation
Simulate and detect software supply chain attacks including typosquatting via Levenshtein distance, dependency confusion testing, package hash verification, and vulnerability scanning with pip-audit.
24.6k · bundle
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
Azure Validate
Validate Azure deployments against functional, security, performance, and operational criteria before production release. Use this skill when users ask for readiness checks, health verification, or production sign-off gates. Covers Well-Architected Framework validation, SLA verification, and release readiness.
16
Speckit Review Comments
Code comment accuracy verification, documentation completeness assessment, comment rot detection.
11
Security
Implements security-sensitive changes with conservative trust boundaries, secret protection, tests, and verification.
0
Analytics
Website analytics audit — tracking verification, SEO check, performance metrics, conversion path analysis
0
Capa Officer
CAPA system management for medical device QMS. Covers root cause analysis, corrective action planning, effectiveness verification, and CAPA metrics. Use for CAPA investigations, 5-Why analysis, fishbone diagrams, root cause determination, corrective action tracking, effectiveness verification, or CAPA program optimization.
3 · bundle
Capa Officer
CAPA system management for medical device QMS. Covers root cause analysis, corrective action planning, effectiveness verification, and CAPA metrics. Use for CAPA investigations, 5-Why analysis, fishbone diagrams, root cause determination, corrective action tracking, effectiveness verification, or CAPA program optimization.
0 · bundle
Loki Mode
Runs an autonomous multi-agent software development pipeline that takes a PRD through to production with zero human intervention, using model-tiered agents, memory, and verification cycles.
2 · bundle
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
Draft And Rewrite
Write a useful, author-consistent article and substantively improve it before verification.
0
Implementing Immutable Backup With Restic
Implements immutable backup strategy using restic with S3-compatible storage and object lock for ransomware-resistant data protection, automating backup creation, integrity verification, snapshot retention, and restore testing.
24.6k · bundle
Migrate
Guide a structural migration or dependency upgrade with a step-by-step plan and verification
1 · bundle
Fix Security Finding
Fixes one security finding with the smallest safe patch, regression coverage, and verification.
0 · bundle
Flow Quick
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.
2 · bundle
Survey
从 wiki 知识生成论文 Related Work 章节:主题分组 → 叙事结构 → LaTeX 输出,遵循 citation-verification 和 academic-writing
77
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.
719 · bundle
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
Deployment Procedures
Production deployment principles and decision-making. Safe deployment workflows, rollback strategies, and verification. Teaches thinking, not scripts.
3
Ops Runbook
Write an operational runbook any qualified operator can execute under pressure, with verification, failure paths, and escalation.
0
Browser QA
Use this skill to automate visual testing and UI interaction verification using browser automation after deploying features.
2