发现security & testing类别的 Claude 技能。浏览 92 个技能,找到适合您 AI 工作流程的完美功能。
Guides the implementation of differential cryptanalysis attacks to recover round keys from FEAL and similar Feistel-network block ciphers.
Implements robust Python asyncio task cancellation and signal handling for graceful application shutdown and resource cleanup.
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.
Implements rigorous differential cryptanalysis attacks to recover keys from FEAL and similar weak Feistel block ciphers.
Diagnoses and resolves complex memory corruption and crashes in custom heap implementations, focusing on release-only failures and static destruction order issues.
Extracts passwords and sensitive information from disk images, deleted files, and binary fragments using systematic digital forensic techniques.
Sanitizes HTML documents by removing JavaScript injection vectors and executable content while strictly preserving original formatting and structure.
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.
Performs linear cryptanalysis on FEAL and similar Feistel ciphers to recover encryption keys using statistical linear approximations and bias analysis.
Debugs complex memory crashes in C++ applications related to custom allocators, static destruction ordering, and discrepancies between build configurations.
Enforces a rigorous four-phase scientific methodology to identify root causes and implement stable software fixes without guesswork.
Automates and optimizes smart contract testing using Hardhat and Foundry to ensure security and efficiency in blockchain development.
Enforces a rigorous Red-Green-Refactor cycle to ensure every line of production code is verified by a failing test first.
Applies the Red-Green-Refactor TDD cycle to verify and bulletproof process documentation against AI rationalizations.
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 robust TypeScript and React features using a strict red-green-refactor methodology powered by Vitest.
Conducts comprehensive security audits and vulnerability assessments to protect codebases using OWASP standards and threat modeling.
Implements robust Python features using a strict test-driven development methodology with pytest and FastAPI integration.
Orchestrates multi-agent Test-Driven Development workflows with strict red-green-refactor enforcement and automated coverage tracking.
Standardizes comprehensive testing workflows for TypeScript and Python projects using Vitest, pytest, and industry-leading coverage standards.
Systematizes project testing with coverage-driven gap closure and automated pattern generation to reach 80%+ code coverage.
Implements a security-first, policy-driven methodology for systematic dependency management and batch remediation.
Conducts deep security audits, improves code readability, and identifies cross-file architectural issues within Claude Code.
Implements production-grade multi-tenant authentication patterns using better-auth, magic links, and passkeys.
Automates the creation and validation of robust test suites for React applications utilizing the TanStack ecosystem and Vitest.
Enforces enterprise-grade security standards including multi-tenant isolation, secret management, and robust input validation for modern web stacks.
Scroll for more results...