Testing skills

This skill helps you quickly fuzz Python code and C extensions using Atheris to uncover memory issues with libFuzzer integration.

This skill helps identify timing side-channel leaks in cryptographic code by guiding statistical, dynamic, and formal analyses.

This skill helps you craft targeted fuzzing dictionaries to improve parser and protocol coverage by injecting domain-specific tokens.

This skill scans TON FunC contracts for three critical vulnerabilities, reports findings, and suggests fixes to improve security.

This skill helps fuzzers detect memory errors in C/C++ code using AddressSanitizer to find overflows and use-after-free issues.

This skill helps you bypass anti-fuzzing obstacles by patching code for fuzzing builds while preserving production behavior.

This skill guides security analysis using Trail of Bits' 5-step workflow, runs Slither checks, generates diagrams, and documents security properties.

This skill helps you configure modern Python projects with uv, ruff, and ty, streamlining setup, tooling, and migrations.

This skill helps identify timing side-channel vulnerabilities in cryptographic code by flagging secret-dependent timing and branch behavior.

This skill prepares codebases for security reviews by guiding goals, running static analysis, boosting test coverage, removing dead code, and generating

This skill helps you apply property-based testing to serialization, parsing, validation, and smart contracts to improve coverage.

This skill helps you fuzz C/C++ code quickly using libFuzzer with Clang integration, enabling fast, single-project coverage exploration.

This skill helps you validate crypto implementations against known attacks using Wycheproof test vectors across AES-GCM, ECDSA, RSA, and more.

This skill analyzes code maturity using Trail of Bits framework to produce evidence-based ratings and actionable improvement recommendations.

This skill helps you craft production-quality Semgrep rules with tests, taint mode, and validation to detect vulnerabilities and enforce standards.

This skill helps you fuzz Rust projects quickly with cargo-fuzz, enabling libFuzzer-backed testing and sanitizer integration for robust code.

This skill helps identify API misuses and dangerous defaults to ensure secure-by-default design and resist footgun configurations.

This skill analyzes smart contract codebases using Trail of Bits guidelines to generate docs, assess architecture, upgradeability, testing, and provide

This skill helps you locate variant vulnerabilities across codebases by pattern-based analysis and systematic auditing guidance.

This skill scans APKs for Firebase misconfigurations and surfaces exposed databases, auth gaps, and cloud functions risks to guide mobile security audits.

This skill analyzes token implementations and integrations against ERC20/ERC721 standards, identifies 20+ weird patterns, and flags on-chain risks for secure