Subagents, all 2,179 of them.

Specialist agents your main agent can delegate to. Browse subagent definitions from the public directories. Add one to your gateway and every agent you use gets it through one link.

2,179 results · page 12 of 73

  • Zcf Tools Integration SpecialistDev tools

    CCR, Cometix, and CCusage integration specialist for ZCF project

    github.com/ufomiao/zcf6k stars

    Add to your gateway
  • 0 PreflightDev tools

    Performs preflight validation, config merging, TU enumeration, and work directory setup for zeroize-audit. Produces merged-config.yaml, preflight.json, and orchestrator-state.json.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 1 Mcp ResolverFiles & storage

    Resolves symbol definitions, types, and cross-file references using Serena MCP for zeroize-audit. Runs before source analysis so enriched type data is available for wipe validation.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 2 Source AnalyzerDev tools

    Identifies sensitive objects, detects wipe calls, validates correctness, and performs data-flow/heap analysis for zeroize-audit. Produces the sensitive object list and source-level findings consumed by compiler analysis and report assembly.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 2b Rust Source AnalyzerDev tools

    Performs source-level zeroization analysis for Rust crates in zeroize-audit. Generates rustdoc JSON for trait-aware analysis and runs token-based dangerous API scanning. Produces sensitive objects and source findings consumed by rust-compiler-analyzer and report assembly.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 3 Tu Compiler AnalyzerDev tools

    Performs per-TU compiler-level analysis (IR diff, assembly, semantic IR, CFG) for zeroize-audit. One instance runs per translation unit, enabling parallel execution across TUs.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 3b Rust Compiler AnalyzerDev tools

    Performs crate-level MIR and LLVM IR analysis for Rust in zeroize-audit. A single instance runs per crate (unlike 3-tu-compiler-analyzer which runs one per C/C++ TU). Detects dead-store elimination of wipes, stack retention, and other compiler-level zeroization failures.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 4 Report AssemblerDocs & knowledge

    Collects all findings from source and compiler analysis, applies supersessions and confidence gates, normalizes IDs, and produces a comprehensive markdown report with structured JSON for downstream tools. Supports dual-mode invocation: interim (findings.json only) and final (merge PoC results, produ

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 5 Poc GeneratorDev tools

    Crafts bespoke proof-of-concept programs demonstrating that zeroize-audit findings are exploitable. Reads source code and finding details to generate tailored PoCs — each PoC is individually written, not templated. Each PoC exits 0 if the secret persists or 1 if wiped. Mandatory for every finding.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 5b Poc ValidatorAI & models

    Compiles and runs all PoCs for zeroize-audit findings. Produces poc_validation_results.json consumed by the verification agent and the orchestrator.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 5c Poc VerifierSecurity

    Verifies that each zeroize-audit PoC actually proves the vulnerability it claims to demonstrate. Reads PoC source code, finding details, and original source to check alignment between the PoC and the finding. Produces poc_verification.json consumed by the orchestrator.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • 6 Test GeneratorDev tools

    Generates runtime validation test harnesses (C tests, MSAN, Valgrind targets) for confirmed zeroize-audit findings. Produces a Makefile for automated test execution.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Adversarial ModelerSecurity

    Models attacker perspectives and builds exploit scenarios for HIGH RISK code changes. Use when differential review identifies high-risk changes that need adversarial threat modeling and concrete attack vector analysis.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Arithmetic ScannerFiles & storage

    Scans repo for files with dimensional arithmetic to scope discovery

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • C Review Dedup JudgeAI & models

    Deduplication judge for the c-review pipeline. Merges duplicate findings deterministically by exact location and bug class, then runs LLM passes over same-function candidates, including the same bug filed under different bug classes. Spawned by the c-review skill orchestrator only.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • C Review Fp JudgeDev tools

    Second-stage judge in the c-review pipeline. Runs after dedup-judge on merged primaries only. Decides fp_verdict, then (for survivors) severity/attack_vector/exploitability, and writes the final REPORT.md + REPORT.sarif. Spawned by the c-review skill orchestrator only.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • C Review WorkerFiles & storage

    Runs one assigned c-review cluster task and writes finding files to the run's output directory. Spawned by the c-review skill orchestrator only.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Data Flow AnalyzerSecurity

    Analyzes data flow from source to vulnerability sink, mapping trust boundaries, API contracts, environment protections, and cross-references. Spawned by fp-check during Phase 1 verification.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Dimension AnnotatorDev tools

    Adds dimensional annotations to source code at anchor points using Reserve Protocol's format

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Dimension DiscovererDev tools

    Discovers dimensional vocabulary for codebases by analyzing naming conventions and protocol patterns

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Dimension PropagatorDev tools

    Propagates dimensional annotations through arithmetic and call chains, reporting mismatches found during propagation

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Dimension ValidatorDev tools

    Validates dimensional consistency and detects dimensional bugs in annotated code

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • DrawFiles & storage

    Draw the 12 Houses of the Zodiac Tarot spread and return a concise structured reading. Use as a named agent instead of wrapping Skill(let-fate-decide) in an Agent call. Callers get just the verdict text; card file content stays in this agent context.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Exploitability VerifierSecurity

    Verifies whether a suspected vulnerability is actually exploitable by proving attacker control, mathematical bounds, and race condition feasibility. Spawned by fp-check during Phase 2 verification.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Function AnalyzerSecurity

    Performs ultra-granular per-function deep analysis for security audit context building. Use when analyzing dense functions, data-flow chains, cryptographic implementations, or state machines.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Poc BuilderSecurity

    Creates proof-of-concept exploits (pseudocode, executable, and unit tests) demonstrating a verified vulnerability, plus negative PoCs showing exploit preconditions. Spawned by fp-check during Phase 4 verification.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Rust Review Dedup JudgeAI & models

    Deduplication judge for the rust-review pipeline. Merges duplicate findings deterministically by exact location and bug class, then runs LLM passes over same-function candidates, including the same bug filed under different bug classes. Spawned by the rust-review skill orchestrator only.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Rust Review Fp JudgeDev tools

    Second-stage judge in the rust-review pipeline. Runs after dedup-judge on merged primaries only. Decides fp_verdict, then (for survivors) severity/attack_vector/exploitability, and writes the final REPORT.md + REPORT.sarif. Spawned by the rust-review skill orchestrator only.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Rust Review WorkerFiles & storage

    Runs one assigned rust-review cluster task and writes finding files to the run's output directory. Spawned by the rust-review skill orchestrator only.

    github.com/trailofbits/skills6k stars

    Add to your gateway
  • Semgrep ScannerAI & models

    Executes Semgrep CLI scans for a specific language category and produces SARIF output. Spawned by the semgrep skill as a parallel worker — one agent per detected language.

    github.com/trailofbits/skills6k stars

    Add to your gateway