Security & Testing Claude 技能

Rust Mutation Testing

Analyzes Rust test suite effectiveness by injecting faults and measuring detection rates.

Test-Driven Generation

Automates the Red-Green-Refactor workflow to ensure high-quality, test-backed code implementation with full issue traceability.

x64dbg State Differential Analysis

Identifies and interprets register and memory changes between two x64dbg debugger snapshots to provide a detailed narrative of program behavior.

Tracealyzer for x64dbg

Automates x64dbg execution tracing and provides deep analysis of instruction logs to identify code patterns and control-flow behavior.

Formal Methods Discovery

Enables automatic access to formal methods, theorem proving, and verification tools within Claude Code.

Cryptography & Security Discovery

Automates the discovery of security and cryptography skills to help developers implement robust encryption, PKI, and TLS configurations.

YARA Signature Scanner for x64dbg

Analyzes x64dbg memory snapshots using YARA signatures to identify malware patterns, packers, and cryptographic constants.

x64dbg State Snapshot

Captures a comprehensive snapshot of process memory and processor state from x64dbg for detailed offline analysis.

x64dbg Decompiler with angr

Decompiles functions from debugged binaries into readable C-like pseudocode using the angr analysis framework.

Security Discovery & Hardening

Automates the identification and application of specialized security skills for authentication, vulnerability assessment, and application hardening.

Testing Skills Discovery

Automatically discovers and enables specialized testing workflows for unit, integration, and E2E testing scenarios.

Debugging Discovery & Diagnostics

Streamlines the identification and resolution of software bugs by automatically loading specialized debugging and profiling skills.

Testing Anti-Patterns

Eliminates brittle tests and production code pollution by enforcing rigorous testing standards and TDD principles.

Testing Anti-Pattern Prevention

Prevents brittle test suites and production code pollution by enforcing high-standard mocking and architectural testing principles.

Testing Anti-Pattern Guard

Prevents common testing pitfalls like mock-centric assertions and production code pollution to ensure reliable, behavior-driven test suites.

Perseus Business Logic Security

Performs deep security analysis of business logic, race conditions, and AI implementations across multiple programming languages.

TDD Implementation Workflow

Implements a disciplined Test-Driven Development cycle to ensure robust code quality through automated red-green-refactor patterns.

Git Rewrite History

Rewrites Git history safely using git-filter-repo to remove sensitive data, purge large files, or restructure repositories.

Multi-Perspective Stakeholder Review

Orchestrates specialized AI subagents to perform comprehensive quality reviews across architecture, security, performance, and legal domains.

Lean 4 Theorem Proving

Accelerates formal verification and mathematical proof development in Lean 4 through mathlib integration and compiler-guided repair.

dbt Model Testing & Quality

Implements comprehensive data quality validation and schema testing for dbt models while maintaining project-specific coding standards.

Surfpool Solana Dev Environment

Accelerates Solana program development with instant mainnet forking, advanced state manipulation cheatcodes, and visual transaction profiling.

CodeRecon Architectural Analysis

Performs deep architectural reconnaissance and security context mapping for comprehensive codebase audits and vulnerability analysis.

Squads Protocol Solana Development

Streamlines development with Squads Protocol for Solana multisig management and smart account infrastructure.

VulnHunter Security Audit

Detects security vulnerabilities, dangerous API patterns, and code "footguns" using advanced variant analysis and sharp-edges detection.

Advanced Automated Testing

Implements, configures, and manages unit and integration tests using project-specific discovery and deterministic best practices.

AIMDS: AI Manipulation Defense System

Protects AI applications from adversarial attacks and manipulation using temporal analysis, vector intelligence, and formal verification.

Ecotone Testing

Writes and debugs PHP tests for the Ecotone Framework using lightweight bootstrap patterns for aggregates, sagas, and asynchronous messaging.

Agent Repair Specialist

Audits and optimizes existing Claude Code agents by diagnosing architectural violations and identifying quality gaps against gold-standard patterns.

Final Review

Automates a multi-stage pull request review and testing workflow using specialized AI agents to ensure code quality and consistency.