Packs
5 packscurated
Project Verification Pipeline
For developers running comprehensive verification pipelines for Laravel or Quarkus projects before PRs or releases.
4 skills · pack
curated
Task Execution Workflow
Load a plan, execute tasks with verification, and track progress via issues.
10 skills · pack
curated
Migrate Legacy SDK
Migrate from a legacy SDK to a new version using mapping tables, deprecation patterns, and verification.
3 skills · pack
@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 · pack
@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 · pack
Results for “verification”
31 skillsdoublecheck
Runs a three-layer verification pipeline on AI-generated output: extracts verifiable claims, finds supporting or contradicting sources via web search, and produces a structured verification report with source links for human review.
36.2k · bundle
verified-email
Integrate verified email retrieval into Android apps using the Credential Manager API and OpenID4VP for secure, OTP-less email verification.
6.1k · bundle
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
android-intent-security
Audit Android component configurations and Intent handling to prevent Intent Redirection and unauthorized access.
6.1k
agent-watchdog
Watch, audit, and fix another agent's work by reconstructing the original request, inspecting evidence, and reporting gaps.
3.4k · bundle
refactor-plan
Creates a concrete, multi-phase plan before starting a multi-file refactor, including affected files, dependencies, verification steps, and rollback procedures.
36.2k
More results
structured-autonomy-generate
Generates complete, copy-paste ready implementation documentation from a PR plan, including code blocks and verification checklists.
36.2k
assertion-quality
Analyzes test suites to measure assertion diversity, detect shallow or trivial assertions, and identify tests that lack meaningful verification.
4k
azure-deployment-preflight
Validates Bicep deployments to Azure before execution, including syntax checks, what-if analysis, and permission verification.
36.2k · bundle
define-goal
Shape a fuzzy intention into a concrete, measurable objective with explicit evidence, scope bounds, and a stop condition before starting work.
23.3k · bundle
webapp-testing
Test and debug local web applications using Playwright browser automation, including UI verification, screenshot capture, and console log inspection.
36.2k · bundle
google-mobile-ads-rewarded
Integrates Google Mobile Ads rewarded ads into Android or iOS apps, guiding through loading, callbacks, opt-in UI, and verification.
14.4k · bundle
fp-check
Verifies suspected security bugs to eliminate false positives, producing a TRUE POSITIVE or FALSE POSITIVE verdict with documented evidence for each.
6k · bundle
nemo-mbridge-perf-megatron-fsdp
Enables Megatron Fully Sharded Data Parallel in Megatron-Bridge with configuration overrides, code anchors, pitfalls, and verification steps.
2.2k · bundle
eyeball
Analyzes documents and produces a Word document with inline highlighted screenshots from the source material, enabling visual verification of every factual claim.
36.2k · bundle
holoscan-install-debian
Install the Holoscan SDK C++ runtime and headers on Ubuntu using NVIDIA's apt repository, with automatic CUDA variant detection and verification via bundled examples.
2.2k · bundle
jetson-print-device-info
Captures a baseline snapshot of a Jetson device's module model, L4T version, kernel, OS version, and power mode for performance testing or verification.
2.2k · bundle
plow-ahead
Proceed through ordinary ambiguity by making reasonable assumptions, keeping momentum, validating as you go, and ending with a clear recap of decisions, changes, verification, and residual risk.
3.4k · bundle
devops-rollout-plan
Generate comprehensive rollout plans with preflight checks, step-by-step deployment, verification signals, rollback procedures, and communication plans for infrastructure and application changes.
36.2k
azure-deploy
Execute Azure deployments for already-prepared applications using azd up, azd deploy, terraform apply, and az deployment commands with built-in error recovery and verification.
2.7k · bundle
airunway-aks-setup
Walks users from a bare AKS cluster to a running AI model deployment, covering cluster verification, controller install, GPU assessment, provider setup, and first deployment.
2.7k · bundle
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.
4k · bundle
rollout
Deploy an entire redesigned site to AEM Edge Delivery Services by inventorying migrated pages, deduplicating blocks, and driving per-page deployment with tracking and verification.
142 · bundle
x-twitter-scraper
Integrate Xquik into apps, scripts, data pipelines, or AI agents for X API tasks like tweet search, user lookup, follower export, media actions, and webhook verification.
36.2k
agent-supply-chain
Verify supply chain integrity for AI agent plugins, tools, and dependencies by generating SHA-256 manifests, detecting tampered files, auditing dependency pinning, and enforcing promotion gates.
36.2k
resemble-detect
Detect AI-generated audio, images, video, and text, trace synthesis sources, apply watermarks, verify speaker identity, and analyze media intelligence using the Resemble AI platform.
36.2k · bundle
play-billing-library-version-upgrade
Upgrades or migrates an Android project from any legacy Google Play Billing Library version to the latest stable version, with automated discovery, planning, and verification.
6.1k · bundle
vss-generate-video-report
Generates video analysis reports by routing to a VLM backend for per-clip analysis or an analytics backend for incident-range reports, with deployment profile verification and URL rewriting.
2.2k · bundle
technical-advisory
Provides advisory guidance for the Adobe Dispatcher Apache HTTP Server module and related HTTPD configuration in AEM 6.5 / AMS workflows, with public-doc citations and AMS-specific MCP verification plans.
142 · bundle
zeroize-audit
Detects missing zeroization of sensitive data in source code and identifies zeroization removed by compiler optimizations, with assembly-level analysis and control-flow verification. Use for auditing C/C++/Rust code handling secrets, keys, passwords, or other sensitive data.
6k · bundle
page-langs
Detects all languages used on a webpage — both declared (html@lang, hreflang, nested lang=, meta content-language) and actually present in the body text using Google CLD3 WASM. Reconciles the two signal sets and flags mismatches for i18n audits, hreflang validation, and multilingual content verification.
142 · bundle