Security & Testing Claude 技能

Semgrep Rule Creator

Generates custom Semgrep rules to detect security vulnerabilities and logic bugs within source code.

Semgrep Static Analysis

Performs high-speed static analysis and security scanning to identify vulnerabilities and enforce custom code patterns.

Signal Isolated Auth

Enforces maximal security isolation for Signal authentication using nested VM and container boundaries with colored operad constraints.

SPI Parallelism Verification

Verifies Strong Parallelism Invariance (SPI) and GF(3) conservation across deterministic data streams to ensure execution-order independence.

QA Regression Testing with Playwright

Automates browser-based regression testing using a modular Playwright framework and reusable test skills.

SPI Parallel Verification

Verifies Strong Parallelism Invariance and GF(3) conservation to ensure deterministic execution across parallel 3-way color streams.

SPI Parallel & GF(3) Verifier

Ensures mathematical consistency and execution order invariance for deterministic color streams and tripartite data.

Find Bugs & Security Auditor

Performs rigorous security audits and bug detection on local code changes using a structured multi-phase review process.

SARIF Security Parsing

Parses and analyzes Static Analysis Results Interchange Format (SARIF) files to streamline security vulnerability management and tool integration.

Terraform Test Expert

Validates infrastructure-as-code configurations using the native Terraform testing framework and .tftest.hcl patterns.

Tizen Sandbox Escape Detector

Tests Tizen application sandboxes for privilege escalation and escape vulnerabilities to ensure robust process isolation.

Sandbox Security

Executes untrusted code and system commands in secure, isolated microVMs to protect the host environment.

ProofGeneral Narya: Higher-Dimensional Type Theory

Automates higher-dimensional formal verification and version control using observational type theory and hierarchical agent structures.

Security Implementation Guide

Implements production-ready security patterns to protect web applications against common vulnerabilities like XSS, CSRF, and SQL injection.

Python Code Reviewer

Audits Python source code for PEP8 compliance, modern type hints, and architectural anti-patterns using industry-standard tooling.

GitHub Copilot for Claude

Integrates GitHub Copilot's advanced coding capabilities into Claude for high-performance code analysis, debugging, and refactoring.

Web3 Smart Contract Testing

Streamlines smart contract validation using Hardhat and Foundry to ensure secure, gas-efficient, and production-ready blockchain code.

Bisimulation Game Sync

Verifies and synchronizes behavioral equivalence across AI agents using formal game-theoretic frameworks.

TDD Workflow for Claude Code

Enforces a strict Red-Green-Refactor cycle for software development tasks using automated gate hooks and evidence tracking.

Anthropic Agent Evaluations

Implements rigorous evaluation frameworks and testing patterns for AI agents based on Anthropic's engineering standards.

Comprehensive Security Analysis

Performs deep-dive security audits and vulnerability assessments across diverse technology stacks to identify and remediate risks.

Lean Proof Walk

Generates formal Lean 4 proof chains using a GF(3)-balanced triad of agents for sound mathematical verification.

Test Architecture Review

Validates the quality and architecture of written tests using the specialized BMAD TEA agent.

BMAD Test Design

Designs comprehensive test scenarios and architecture ahead of development to ensure robust software quality and coverage.

Playwright-Unworld

Automates web browsers using deterministic seed-based state derivation to eliminate flaky tests and race conditions.

Non-Functional Requirement (NFR) Assessment

Validates software implementation against non-functional requirements to ensure architectural integrity and performance standards.

Bitwarden Secret Unlocker

Automatically unlocks Bitwarden vaults and injects project-specific secrets directly into your development environment.

Test Automation Architect

Generates comprehensive test automation frameworks and architectural setups for agile software development.

BMAD Test Framework Architect

Initializes production-ready test framework architectures to ensure robust software quality and scalable validation structures.

Test Traceability

Maps project requirements to test cases to ensure comprehensive coverage and informed quality gate decisions.