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

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.

Pre-ship audit checklist for Ethereum dApps covering wallet connection, button flows, contract verification, branding, RPC config, and mobile deep linking.

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

Verifies suspected security bugs to eliminate false positives, producing a TRUE POSITIVE or FALSE POSITIVE verdict with documented evidence for each.

Exploiting Vulnerabilities With Metasploit Framework

Validate and confirm exploitability of vulnerabilities using the Metasploit Framework for risk-based prioritization and patch verification.

24.6k · bundle

nimoqup046-collab

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

More results

Performs authorized source-code security reviews using SAST tools like Semgrep and CodeQL, with manual verification of findings and fix recommendations.

12.8k · bundle

Security Compliance Automation

Automates security and compliance checks using OPA policies, Trivy vulnerability scanning, AWS CIS benchmark verification, and Kubernetes remediation scripts.

Inspect B20 token contract addresses on Base to verify factory recognition, initialization, policies, pause state, and risk flags via the public B20 Console API.

Performing Power Grid Cybersecurity Assessment

Conduct cybersecurity assessments of electric power grid infrastructure, including NERC CIP compliance verification, substation automation security, and IEC 61850 protocol analysis.

24.6k · bundle

Generates specific, implementable fixes for each vulnerability finding, producing code patches, configuration changes, dependency updates, and IaC fixes with before/after code and verification steps.

Exploiting Type Juggling Vulnerabilities

Exploit PHP type juggling vulnerabilities caused by loose comparison operators to bypass authentication, circumvent hash verification, and manipulate application logic through type coercion attacks.

24.6k · bundle

Validating Tpm Measured Boot Attestation

Verify TPM measured boot integrity and remote attestation using tpm2-tools, including PCR reading, event log replay, quote generation and verification, and golden baseline comparison.

24.6k · bundle

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

Analyzing Uefi Bootkit Persistence

Analyzes UEFI bootkit persistence mechanisms including firmware implants, ESP modifications, Secure Boot bypass techniques, and UEFI variable manipulation. Covers detection of known bootkit families, forensic inspection, and integrity verification.

24.6k · bundle