Security & Testing Claude 스킬

Testany Case & Script Assistant

Generates comprehensive test case documentation and Testany-compatible automation scripts from natural language requirements.

Testany Platform Guide

Provides core concepts, entity relationships, and configuration references for the Testany automation and testing platform.

Vibe Coder QA

Automates the UI testing workflow by using screenshots and Claude Vision to identify layout issues and visual bugs without writing test code.

Vision QA Workflow

Automates visual quality assurance by capturing and analyzing screenshots across web and mobile platforms using Claude's vision capabilities.

Qodo Cover Expert

Automates test suite generation and increases code coverage using AI-driven semantic analysis and edge-case detection.

Reafference Behavioral Verification

Implements von Holst’s reafference theory to distinguish self-generated AI interactions from external anomalies and security threats.

Covariant Fibrations & Directed Transport

Validates and automates Riehl-Shulman covariant fibrations for directed type theory within synthetic infinity-categories.

Counter-Surveillance Security

Hardens operational security and minimizes surveillance exposure for privacy-critical applications and communications infrastructure.

AI Test Generation Expert

Automates the creation and improvement of test suites using AI-driven tools and coverage gap analysis.

Playwright Expert

Automates and optimizes modern end-to-end testing workflows using the Playwright framework for robust web application verification.

Root Cause Investigator

Conducts deep code investigations to identify and resolve the underlying source of bugs rather than patching superficial symptoms.

Mabl Expert

Automates end-to-end testing with AI-powered self-healing capabilities to maintain robust UI test suites.

Codex Bug Fixer

Diagnoses and resolves software bugs, errors, and failing tests using the Codex CLI for autonomous code repair and verification.

LLM Council Verification

Verifies code, documentation, and implementations through multi-model consensus to ensure accuracy and compliance with requirements.

AppSec Smart Security Orchestrator

Automatically detects project tech stacks and executes a comprehensive parallel security analysis using relevant scanners and AI subagents.

Sheaf Cohomology Verification

Verifies the global consistency of modular code structures and data schemas using mathematical Čech cohomology principles.

Formal Verification AI

Provides rigorous correctness guarantees for AI systems through automated theorem proving, interval arithmetic, and categorical proofs.

Sheaf Cohomology Verification

Verifies global consistency across modular codebases using topological sheaf cohomology and Čech descent conditions.

Bash Master: Debug & Troubleshoot 2025

Optimizes shell script reliability using advanced 2025 debugging patterns, error recovery, and performance profiling techniques.

Python Testing Master

Streamlines the creation of comprehensive Python testing suites using pytest, advanced mocking, and async patterns.

Docker Security Guide

Provides comprehensive security guidelines, threat mitigation strategies, and hardened configuration patterns for Docker environments.

Dialectica Logic Engine

Transforms mathematical proofs into interactive games using Gödel's Dialectica interpretation for formal verification and strategy extraction.

ProofGeneral Narya

Facilitates higher-dimensional type theory and formal verification using observational bridge types and structured proof assistants.

Applesauce Signers

Implements robust Nostr event signing patterns and abstractions for browser extensions, remote signing, and custom implementations.

Systematic Debugging

Implements a structured, evidence-based workflow to identify, isolate, and resolve code errors and system failures effectively.

Boneh-Roughgarden WEV Mechanism

Implements advanced cryptographic primitives and mechanism design patterns to enable protocol-aligned value extraction and MEV mitigation.

Smart Test Generation

Automates the creation of comprehensive test suites by analyzing code paths and edge cases to ensure maximum coverage.

Threat Modeling Techniques

Implements systematic security frameworks like STRIDE and DREAD to identify, analyze, and mitigate threats during system design.

Kubernetes Security Policies

Implements and enforces production-grade security standards, RBAC, and network micro-segmentation for Kubernetes clusters.

Code Quality Workflow

Standardizes the process of analyzing, reviewing, and enhancing code maintainability and performance through systematic validation.