AutoGineer

Trail of BitsOfficial

@trailofbits on GitHub

Skills from Trail of Bits’s repositories that passed our trust, licence and security gates. Each keeps its author’s attribution.

Sources and trust

RepositoryTierVerdictAuthorshipCheckedSkills
trailofbits/skillsVendorApproved · created 2026-01-14, pushed 2026-11-06, 8061 starsWritten in-house2026-11-0796

Files are mirrored only where the licence allows redistribution; otherwise we link to the source.

96 published skills

  • Pr Improver

    Trail of BitsOfficial

    Automated iterative review-and-fix loop for pull requests.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Libafl

    Trail of BitsOfficial

    Build custom, modular fuzzers using the LibAFL Rust library for advanced security research and non-standard targets.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0Medium riskGitHub stars of the source repository8.1k

  • Solana Vulnerability Scanner

    Trail of BitsOfficial

    A systematic security auditing tool for identifying 6 critical vulnerability patterns in Solana and Anchor programs.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Libfuzzer

    Trail of BitsOfficial

    A guide to setting up and running libFuzzer, the LLVM-integrated, coverage-guided fuzzer for C/C++ projects.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0Low riskGitHub stars of the source repository8.1k

  • Property Based Testing

    Trail of BitsOfficial

    Expert guidance for writing, reviewing, and debugging property-based tests to ensure robust code coverage.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Genotoxic

    Trail of BitsOfficial

    A graph-informed workflow for triaging mutation testing results and identifying test gaps using code analysis.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Constant Time Analysis

    Trail of BitsOfficial

    Detect timing side-channel vulnerabilities in cryptographic code by analyzing assembly and bytecode for variable-time operations.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0Low riskGitHub stars of the source repository8.1k

  • Supply Chain Risk Auditor

    Trail of BitsOfficial

    Automated supply-chain risk assessment for npm, PyPI, and Go project dependencies.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0Low riskHas scriptsGitHub stars of the source repository8.1k

  • Harness Writing

    Trail of BitsOfficial

    Design and optimize fuzzing harnesses for C/C++ and Rust to improve code coverage and bug detection.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Entry Point Analyzer

    Trail of BitsOfficial

    Systematically identify and categorize state-changing entry points in smart contract codebases to guide security audits.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Writing Lean Proofs

    Trail of BitsOfficial

    A comprehensive guide to structured Lean 4 proof development, library design, and project maintenance based on Mathlib conventions.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Chrome MCP Troubleshooting

    Trail of BitsOfficial

    Troubleshoot and resolve connectivity issues between Claude MCP tools and the Chrome browser extension on macOS.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Prove Patch

    Trail of BitsOfficial

    A rigorous procedure for independently verifying security patches using three-arm proof and scoped testing.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Fuzzing Obstacles

    Trail of BitsOfficial

    A technique for patching codebases to bypass anti-fuzzing obstacles like checksums and non-deterministic state, enabling deeper fuzzer exploration.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Variant Analysis

    Trail of BitsOfficial

    A systematic workflow for identifying and triaging additional instances of a known vulnerability or logic bug across a codebase.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Validate Bug

    Trail of BitsOfficial

    Independently verify bug proof-of-concept packages before initiating patch procedures.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Semgrep Rule Creator

    Trail of BitsOfficial

    A structured workflow for developing, testing, and validating custom Semgrep rules to detect security vulnerabilities and code patterns.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Modern Python

    Trail of BitsOfficial

    A guide for configuring Python projects using modern tools like uv, ruff, and ty.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0Medium riskGitHub stars of the source repository8.1k

  • Cairo Vulnerability Scanner

    Trail of BitsOfficial

    A specialized security auditing tool for identifying 6 critical vulnerability patterns in Cairo and StarkNet smart contracts.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Ton Vulnerability Scanner

    Trail of BitsOfficial

    A specialized security scanner for auditing FunC smart contracts on The Open Network (TON) for critical vulnerabilities.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Vulnerability Triage Brocards

    Trail of BitsOfficial

    A systematic framework for triaging vulnerability reports using seven principled rules of thumb.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Diagramming Code

    Trail of BitsOfficial

    Generates visual Mermaid diagrams from Trailmark code graphs to map architecture, dependencies, and complexity.

    Software developmentClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0Low riskHas scriptsGitHub stars of the source repository8.1k

  • Replay Regression

    Trail of BitsOfficial

    Independently verify proof-of-concept exploits against fresh deployments to confirm regression status.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k

  • Rust Review

    Trail of BitsOfficial

    A comprehensive security auditing tool for Rust codebases, focusing on memory safety, concurrency, and unsafe code boundaries.

    SecurityClaude CodeClaude appsOpenAI Codex+14 more
    CC-BY-SA-4.0GitHub stars of the source repository8.1k