security & testing向けのClaudeスキルを発見してください。99個のスキルを閲覧し、AIワークフローに最適な機能を見つけましょう。
Automates the verification and debugging of local web applications using Playwright and intelligent server lifecycle management.
Reconstructs source code from compiled binaries with a focus on achieving byte-for-byte identical output and exact functional parity.
Provides mathematical and procedural guidance for performing linear cryptanalysis attacks on the FEAL cipher family to recover encryption keys.
Generates source code that compiles and executes correctly as both Rust and C or C++ by utilizing comment syntax differences and preprocessor directives.
Guides the construction of induction proofs in the Coq proof assistant for mathematical properties like addition commutativity and arithmetic lemmas.
Optimizes web fuzzing and security reconnaissance using FFUF for directory discovery and authenticated API testing.
Implements rigorous differential cryptanalysis attacks to recover keys from FEAL and similar weak Feistel block ciphers.
Extracts passwords and sensitive information from disk images, deleted files, and binary fragments using systematic digital forensic techniques.
Applies the Red-Green-Refactor TDD cycle to verify and bulletproof process documentation against AI rationalizations.
Sanitizes HTML documents by removing JavaScript injection vectors and executable content while strictly preserving original formatting and structure.
Automates end-to-end testing and browser interaction for local web applications using Playwright and specialized server lifecycle scripts.
Extracts memory values and structured data from Executable and Linkable Format (ELF) binary files across various architectures and endianness types.
Provides a systematic methodology for bypassing HTML sanitizers and crafting cross-site scripting (XSS) payloads in authorized security testing environments.
Diagnoses and resolves complex memory corruption and crashes in custom heap implementations, focusing on release-only failures and static destruction order issues.
Performs linear cryptanalysis on FEAL and similar Feistel ciphers to recover encryption keys using statistical linear approximations and bias analysis.
Automates and optimizes smart contract testing using Hardhat and Foundry to ensure security and efficiency in blockchain development.
Performs high-speed web fuzzing and content discovery to identify hidden directories, subdomains, and security vulnerabilities.
Traces software bugs backward through the execution chain to identify and fix original triggers at the source.
Implements production-grade Kubernetes security policies including NetworkPolicy, RBAC, and Pod Security Standards to harden cluster infrastructure.
Identifies and replaces sensitive credentials, API keys, and tokens within git repositories to ensure secure codebase sharing and auditing.
Debugs complex memory crashes in C++ applications related to custom allocators, static destruction ordering, and discrepancies between build configurations.
Compiles C/C++ software with gcov code coverage instrumentation and manages custom installation paths for system-wide binary availability.
Validates architectural decisions by simulating extreme operational constraints and volume scenarios to identify hidden technical bottlenecks.
Enforces a rigorous Red-Green-Refactor cycle to ensure every line of production code is verified by a failing test first.
Eliminates flaky test behavior by replacing arbitrary timeouts with intelligent condition polling and state verification.
Accelerates decentralized finance development with production-ready smart contract templates for staking, AMMs, governance, and lending.
Enforces a rigorous four-phase scientific methodology to identify root causes and implement stable software fixes without guesswork.
Implements robust compression encoders and entropy coders by mathematically deriving operations from existing decoder state machines to ensure bit-perfect compatibility.
Provides comprehensive guidance for building the formally verified CompCert C compiler from source while managing strict dependency versions and memory constraints.
Implements professional testing strategies using pytest, mocking, and advanced fixtures to ensure high-quality Python codebases.
Scroll for more results...