Security & Testing Claude 스킬

Wycheproof Crypto Testing

Validates cryptographic implementations using a comprehensive suite of test vectors to prevent known vulnerabilities and edge cases.

Audit Prep Assistant

Prepares codebases for professional security reviews by automating static analysis, test coverage checks, and architectural documentation based on industry-standard checklists.

Entry Point Analyzer

Identifies and categorizes all state-changing entry points in smart contract codebases to streamline security audits and map attack surfaces.

CodeQL Static Analysis

Performs deep interprocedural static analysis and security vulnerability scanning by querying codebases as relational databases.

Code Maturity Assessor

Performs systematic security and maturity audits using the Trail of Bits framework to identify architectural risks and technical debt.

SARIF Parsing & Analysis

Parses and processes Static Analysis Results Interchange Format (SARIF) files to aggregate findings, deduplicate alerts, and integrate security data into development workflows.

AddressSanitizer (ASan)

Detects memory corruption bugs like buffer overflows and use-after-free errors during C/C++ and Rust software testing.

Fuzzing Obstacle Bypass

Bypasses anti-fuzzing patterns like checksums and non-deterministic logic using conditional compilation to improve code coverage during security testing.

Algorand Smart Contract Auditor

Scans Algorand smart contracts for security vulnerabilities to ensure robust and secure blockchain applications.

Secure Smart Contract Workflow

Guides developers through the Trail of Bits 5-step secure development workflow to audit and harden smart contracts.

Code Quality & Documentation Standards

Enforces strict test-driven development (TDD) principles and structured documentation practices to maintain high-quality, maintainable codebases.

Systematic Debugging

Enforces a rigorous four-phase debugging process to identify root causes and implement permanent fixes rather than temporary patches.

Playwright & Frontend Testing

Implement, debug, and stabilize frontend tests across unit, integration, and E2E layers with a focus on determinism and canvas-based games.

AIOS Quality Advisor & Test Architect

Automates comprehensive quality gate reviews, risk assessments, and test architecture analysis to ensure software reliability.

AIOS Test Architect & Quality Advisor

Conducts high-level test architecture reviews and quality gate assessments to ensure robust, production-ready code delivery.

React & RTK Testing

Implements standardized testing patterns for React applications using React Testing Library, MSW, and Redux Toolkit.

GitLab CI Testing Automation

Integrates comprehensive automated testing pipelines into GitLab CI for web, API, mobile, and performance testing.

ADWS Quality Gate

Executes a comprehensive local quality gate suite across testing and linting tools to ensure code integrity.

QA Agent Team

Deploys a specialized team of autonomous AI agents to perform comprehensive end-to-end quality assurance across visual, functional, and UX dimensions.

Aristotle Formal Math Prover

Translates natural language mathematical queries into Lean 4 and generates verified formal proofs or counterexamples using the Aristotle API.

Compact Smart Contract Testing & Debugging

Debugs and tests Compact smart contracts on the Midnight network by identifying circuit errors and configuring TypeScript test harnesses.

OpenSpec Implementation Verifier

Verifies that code implementations align perfectly with specification, task, and design artifacts before archiving changes.

AXI Interconnect Verification

Verifies AXI interconnect designs through automated unit tests, smoke demos, and parent simulator integration checks.

Compact Contract Testing & Debugging

Debugs and tests Compact smart contracts for the Midnight network by identifying circuit constraints, resolving compiler errors, and implementing TypeScript test harnesses.

Solidity Function Audit Eval

Automates multi-stage Solidity smart contract audits for CI/CD and evaluation pipelines using Claude Code.

Lens Code Quality Scanner

Performs a comprehensive 13-dimension quality and security analysis of your codebase without making changes.

AcademicOps QA & Verification

Provides comprehensive quality assurance, verification, and criteria design to ensure code and agent sessions meet rigorous standards.

Custodiet Agent Auditor

Detects and prevents AI agents from performing unauthorized actions or exceeding their defined scope.

QA Verifier Agent

Provides rigorous, independent end-to-end verification to ensure code and outputs meet acceptance criteria beyond simple test passes.

Critic Agent

Provides skeptical, second-opinion reviews of implementation plans and conclusions to identify logical flaws and untested assumptions.