Security & Testing Claude 技能

Dependency Vulnerability Scanner

Identifies, reports, and remediates security vulnerabilities in project dependencies across multiple programming languages.

Find Bugs & Security Auditor

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

Testing Framework Helper

Generates comprehensive, production-ready test suites for JavaScript, TypeScript, and Python using frameworks like Jest, Pytest, and Playwright.

Smart Contract Generator

Generates secure, production-ready Solidity smart contracts using OpenZeppelin standards and industry best practices.

Ruzzy Rust Fuzzing

Automates Rust vulnerability discovery using the Ruzzy fuzzing framework to identify security flaws and crashes.

NERV LocalSend Connectivity Tester

Facilitates rapid peer discovery and LocalSend connectivity testing with integrated Italian voice announcements.

Narya Formal Proofs

Mechanically verifies event-sourced systems by generating cryptographic proof certificates for consistency, determinism, and data integrity.

OSS-Fuzz Integration

Integrates Claude Code with OSS-Fuzz to automate continuous fuzzing and identify memory safety vulnerabilities in open-source projects.

Move Smith Fuzzer

Implements differential fuzzing and property-based testing for Move smart contracts to identify consensus-breaking bugs and edge cases.

React TDD Feature Scaffolder

Generates complete, production-ready React features using a strict Test-Driven Development workflow and feature-based architecture.

Testcontainers for Go

Simplifies Go integration testing by providing lightweight, throwaway Docker instances for databases, message queues, and cloud services.

Ark Vulnerability Fixer

Streamlines CVE research and security patch workflows for Ark using CIRCL API integration and automated dependency analysis.

LocalSend Protocol Analysis

Analyzes LocalSend repositories using tree-sitter tagging, GitHub GraphQL snapshots, and protocol safety assessments.

SPI Parallelism Verification

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

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.

ProofGeneral Narya: Higher-Dimensional Type Theory

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

Kolmogorov Codex Quest

Verifies multi-layer cryptographic identity proofs and orchestrates complex quest fulfillment within the Plurigrid ASI ecosystem.

QA Regression Testing with Playwright

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

Accessibility Auditor

Audits web and mobile applications for WCAG 2.2 AA compliance using automated tools, manual findings, and deep code analysis.

GitHub Copilot for Claude

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

Python Code Reviewer

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

macOS Keychain Secure

Secures sensitive credentials using the hardware-backed macOS Keychain with mathematically balanced GF(3) lifecycles.

Bisimulation Game Sync

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

MITM Audit & Analysis

Monitors and reports man-in-the-middle (MITM) mentions and patterns across local repositories and history files.

Intent Sink Validator

Validates and sanitizes intent-centric architectures to ensure safety and well-formedness before execution.

IoT Device Provisioning

Manages secure provisioning, certificate installation, and network onboarding for TizenRT and ARTIK IoT devices.

Anthropic Agent Evaluations

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

Goblins Distributed OCap System

Implements a secure, distributed object capability system for autopoietic actor-based communication and peer-to-peer networking.

Gestalt Hacking (ERGODIC 0)

Leverages gestalt principles to analyze, manipulate, and defend emergent perceptual patterns within complex data streams and cybernetic loops.