This skill runs CodeQL analysis to detect security vulnerabilities across languages using interprocedural taint tracking and data flow insights.

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

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

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

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

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 analyze DWARF debug information across v3-v5, answer standards questions, and assist code interacting with DWARF data.

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

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

This skill enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability hunting, reducing hallucinations and

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 configure modern Python projects with uv, ruff, and ty, streamlining setup, tooling, and migrations.

This skill scans Algorand smart contracts for 11 vulnerabilities, delivering actionable findings and fixes to strengthen TEAL and PyTeal security.

This skill scans Solana programs for 6 critical vulnerabilities, identifies issues in CPI, PDA validation, signer checks, and sysvar spoofing.

This skill performs security-focused differential reviews of PRs and diffs, adapts depth by codebase size, and generates comprehensive markdown audit reports.

This skill ports existing Semgrep rules to new languages, generating independent rule and test directories per target.

This skill scans Cairo/StarkNet contracts for 6 critical vulnerabilities and provides actionable fixes to strengthen security before deployment.

This skill helps you build and customize fuzzers with LibAFL for advanced research, custom mutations, and fine-grained fuzzing control.

This skill helps you write robust fuzzing harnesses across languages to maximize coverage, determinism, and bug reproducibility.