AutoGineer

Agent Skills

Trusted skills for AI agents from official vendors and established maintainers. Every skill is attributed to its author, scanned, and comes with install steps for your AI tool.

Connect your AI tool (MCP)

Results

172 skills

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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