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

  • Cvss Scoring

    Trail of BitsOfficial

    Generates CVSS v4.0 vector strings and calculator links from vulnerability descriptions.

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

  • Dimensional Analysis

    Trail of BitsOfficial

    Automated dimensional analysis to detect unit, decimal, and scaling bugs in arithmetic-heavy codebases.

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

  • Algorand Vulnerability Scanner

    Trail of BitsOfficial

    A systematic security auditing tool for Algorand smart contracts using TEAL and PyTeal.

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

  • Vector Forge

    Trail of BitsOfficial

    A mutation-driven workflow for generating high-coverage cryptographic test vectors.

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

  • Trailmark

    Trail of BitsOfficial

    Build and query multi-language code graphs to map attack surfaces, trace taint, and prioritize security audits.

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

  • Adjudicate Regression

    Trail of BitsOfficial

    A structured process for adjudicating whether software evidence confirms a new regression or an exclusion.

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

  • Code Improver

    Trail of BitsOfficial

    An autonomous loop that iteratively reviews and fixes code until quality standards are met.

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

  • Review Walkthrough

    Trail of BitsOfficial

    Generates an interactive HTML walkthrough for code reviews by grouping changes into logical steps with explanations and findings.

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

  • Github Triage

    Trail of BitsOfficial

    Automated triage for GitHub repositories, including PR merging, issue resolution tracking, and local-only backlog grooming.

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

  • Reproduce Regression

    Trail of BitsOfficial

    A systematic workflow for reproducing software regressions using live-system proof-of-concepts.

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

  • Fp Check

    Trail of BitsOfficial

    Systematically verify suspected security vulnerabilities to confirm or eliminate false positives.

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

  • Reproduce Bug

    Trail of BitsOfficial

    A structured workflow for independently reproducing runtime or compiler bugs within a local repository.

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

  • Aflpp

    Trail of BitsOfficial

    A guide to setting up and running AFL++ for multi-core fuzzing of C and C++ projects.

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

  • Modern Cpp

    Trail of BitsOfficial

    A guide for adopting modern C++20/23/26 idioms to improve code safety and reduce boilerplate.

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

  • Sharp Edges

    Trail of BitsOfficial

    Identifies error-prone APIs and dangerous configurations that lead to security vulnerabilities.

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

  • Mermaid To Proverif

    Trail of BitsOfficial

    Translates Mermaid cryptographic protocol diagrams into formal ProVerif verification models.

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

  • Trailmark Structural

    Trail of BitsOfficial

    Performs comprehensive structural analysis of codebases using Trailmark to identify security hotspots and architectural risks.

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

  • Burpsuite Project Parser

    Trail of BitsOfficial

    Command-line interface for searching and extracting data from Burp Suite Professional project files.

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

  • Spec To Code Compliance

    Trail of BitsOfficial

    Automated compliance checking between technical documentation and source code implementation.

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

  • Crypto Protocol Diagram

    Trail of BitsOfficial

    Generates cryptographic protocol sequence diagrams from source code, formal models, or specifications.

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

  • Hunt Regressions

    Trail of BitsOfficial

    A systematic process for identifying potential software regressions and security defects prior to formal reproduction.

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

  • Open Sourcing

    Trail of BitsOfficial

    A comprehensive workflow for preparing and auditing a software repository for public open-source release.

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

  • Report Regressions

    Trail of BitsOfficial

    A structured workflow for generating evidence-linked regression reports from campaign decisions.

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

  • Coverage Analysis

    Trail of BitsOfficial

    Measure and interpret fuzzing campaign reach to optimize harnesses, seeds, and dictionaries.

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