Security & Testing Claude 技能

Commit Security Scanner

Analyzes code changes for security vulnerabilities using LLM-powered reasoning and STRIDE threat modeling patterns.

BDD Mathematical Verification

Verifies mathematical formulas and expressions using Behavior-Driven Development workflows and automated LaTeX extraction.

Ostium Arbitrum Perps

Facilitates interaction, integration, and security auditing for the Ostium Protocol perpetual exchange on Arbitrum.

Lean 4 Music Topos Verification

Formalizes and verifies complex mathematical theorems across music theory, color harmony, and distributed systems using Lean 4.

Algorand Vulnerability Scanner

Audits Algorand smart contracts for security vulnerabilities including rekeying attacks and access control issues.

Goblins OCapN Adapter

Bridges ElizaOS and OpenClaw plugins to the Goblins Object Capability Network to enforce high-security structural authority.

Fix Review

Validates security patches and fixes to ensure they completely resolve vulnerabilities without introducing new regressions.

TDD Workflow

Implements features and fixes bugs using the disciplined Red-Green-Refactor cycle of Test-Driven Development (TDD).

Verification & Quality Assurance

Validates AI-generated code and agent outputs using real-time truth scoring and automated rollback systems to maintain high codebase reliability.

Dwarf Debugging Expert

Analyzes DWARF debug files and provides deep technical insight into DWARF standards for binary analysis and low-level debugging.

Flarglebargle Trigger Test

Verifies Claude Code skill activation and keyword trigger functionality using a simple diagnostic word.

Security Best Practices Reviewer

Performs language-specific security reviews and provides actionable improvements for Python, JavaScript, and Go projects.

Spec to Code Compliance

Verifies that source code accurately implements technical specifications and whitepapers to ensure protocol integrity during blockchain audits.

Tizen CVE Scanner

Scans Tizen application dependencies and kernel files for known security vulnerabilities and CVEs using official Samsung and OpenCVE databases.

Deliberation & Red Teaming

Conducts structured adversarial reviews to challenge assumptions and identify hidden vulnerabilities in plans or architectures.

Intent Sink Validation

Validates intent-centric architectures by ensuring requests are well-formed, authorized, and resource-balanced before execution.

Auth Patterns

Implements secure authentication and authorization patterns using modern industry standards.

Testcontainers for Go

Automates the setup and management of Docker-based integration tests for Go applications using pre-configured modules and best practices.

Binary Analysis Synthesis

Compiles gathered facts and validated hypotheses into structured binary analysis reports and actionable intelligence.

Binary RE Environment Setup

Configures and installs a complete suite of binary reverse engineering and cross-architecture analysis tools.

Binary Triage & Fingerprinting

Identifies architecture, ABI, and potential capabilities of unknown binary files and firmware blobs using fast fingerprinting techniques.

Binary Reverse Engineering Toolkit

Analyzes binaries, executables, and bytecode using a structured methodology to uncover functionality and internal logic.

Dynamic Binary Analysis

Analyzes binary execution and runtime behavior through emulation, debugging, and syscall tracing.

Static Binary Analysis

Performs deep static analysis on binary files to map structure, decompile code, and identify logic without execution.

Aptos GF(3) Society

Implements triadic balanced governance and staking on the Aptos blockchain using GF(3) conservation principles.

MCP Spec Checker

Performs semantic diffing and triadic verification on Model Context Protocol (MCP) specifications to detect breaking changes and validate compliance.

Dynamic Sufficiency

Gates agent actions using ε-machine causal state inference to ensure verified skill coverage before task execution.

Code Implementation Judge

Evaluates and scores multiple code implementations using a standardized five-criteria framework to identify optimal software solutions.

MDM Cobordism

Manages macOS Mobile Device Management (MDM) and authentication states using topological cobordism and triadic logic.

Dynamic Sufficiency

Prevents agent actions by verifying minimal skill coverage using ε-machine causal state modeling.