Plugin trailmark
Builds source and binary code graphs for security analysis, context slicing, mutation testing, cryptographic protocol modeling, finding triage, and variant analysis.
Cara install plugin trailmark
Jalankan kedua perintah di dalam Claude Code. Perintah pertama menambahkan marketplace sekali; perintah kedua meng-install plugin.
/plugin marketplace add trailofbits/skills
/plugin install trailmark@trailofbitsApa yang ada di dalam trailmark
15 bagian dibaca dari file asli plugin tersebut.
Agents 1
Panggil sebagai @agent-trailmark:name- @agent-trailmark:code-slice-worker
Tidak ada deskripsi di dalam file.
Skills 14
Claude memuatnya saat tugas sesuai- audit-augmentation
Augments code graphs with external audit findings from SARIF, weAudit, and binary-analysis graph exports to enable cross-referencing with pre-analysis data.
- crypto-protocol-diagram
Generates Mermaid sequence diagrams with cryptographic annotations from source code, RFCs, academic papers, or formal models like ProVerif and Tamarin.
- diagramming-code
Generates Mermaid diagrams from code graphs to visualize call paths, class hierarchies, module dependencies, and data flows.
- genotoxic
Triages mutation testing results and test coverage gaps using code graph analysis and statement removal.
- graph-evolution
Compares code graphs between two source snapshots to detect security-relevant structural changes like new attack paths and privilege boundary modifications.
- mermaid-to-proverif
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models for security property analysis.
- slicing-code-context
Selects bounded, graph-informed source code slices to delegate focused analysis or patch proposals to smaller subagents.
- trailmark
Builds and queries multi-language source and binary code graphs for security analysis, including taint propagation and blast radius estimation.
- trailmark-finding-triage
Performs graph-assisted triage of security findings to determine code reachability and build evidence packets for exploit validation.
- trailmark-review-gate
Runs structural security review gates over git diffs to detect regressions in attack surface, privilege boundaries, and sensitive sink reachability.
- trailmark-structural
Performs full structural analysis on a target directory to report hotspots, taint, blast radius, privilege boundaries, and attack surface data.
- trailmark-summary
Performs a structural analysis of a codebase to detect programming languages, entry points, and dependencies.
- trailmark-variant-neighborhood
Expands a single confirmed or suspected vulnerability into a graph-derived neighborhood of potential variant candidates for further analysis.
- vector-forge
Generates new cryptographic test vectors by using mutation testing to identify and target uncovered code paths in algorithm implementations.
Menggunakan trailmark di Claude Code
Minta agent berdasarkan nama:
@agent-trailmark:code-slice-workerSKILL tidak memerlukan command. Claude membacanya saat permintaan Anda sesuai dengan deskripsinya.
Update, matikan, atau hapus
- Update plugin (shell)
- claude plugin update trailmark@trailofbits
- Refresh marketplace
- /plugin marketplace update trailofbits
- Matikan untuk sementara
- /plugin disable trailmark@trailofbits
- Hapus
- /plugin uninstall trailmark@trailofbits
Skill dalam trailmark
- trailmark-finding-triagetrailofbits/skills
Performs graph-assisted triage of security findings to determine code reachability and build evidence packets for exploit validation.
8 file8,1 rbbintang - trailmark-review-gatetrailofbits/skills
Runs structural security review gates over git diffs to detect regressions in attack surface, privilege boundaries, and sensitive sink reachability.
6 file8,1 rbbintang - trailmark-structuraltrailofbits/skills
Performs full structural analysis on a target directory to report hotspots, taint, blast radius, privilege boundaries, and attack surface data.
3 file8,1 rbbintang - trailmark-summarytrailofbits/skills
Performs a structural analysis of a codebase to detect programming languages, entry points, and dependencies.
3 file8,1 rbbintang - trailmark-variant-neighborhoodtrailofbits/skills
Expands a single confirmed or suspected vulnerability into a graph-derived neighborhood of potential variant candidates for further analysis.
6 file8,1 rbbintang - audit-augmentationtrailofbits/skills
Augments code graphs with external audit findings from SARIF, weAudit, and binary-analysis graph exports to enable cross-referencing with pre-analysis data.
4 file8,1 rbbintang - crypto-protocol-diagramtrailofbits/skills
Generates Mermaid sequence diagrams with cryptographic annotations from source code, RFCs, academic papers, or formal models like ProVerif and Tamarin.
11 file8,1 rbbintang - diagramming-codetrailofbits/skills
Generates Mermaid diagrams from code graphs to visualize call paths, class hierarchies, module dependencies, and data flows.
7 file8,1 rbbintang - genotoxictrailofbits/skills
Triages mutation testing results and test coverage gaps using code graph analysis and statement removal.
6 file8,1 rbbintang - graph-evolutiontrailofbits/skills
Compares code graphs between two source snapshots to detect security-relevant structural changes like new attack paths and privilege boundary modifications.
6 file8,1 rbbintang - mermaid-to-proveriftrailofbits/skills
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models for security property analysis.
8 file8,1 rbbintang - slicing-code-contexttrailofbits/skills
Selects bounded, graph-informed source code slices to delegate focused analysis or patch proposals to smaller subagents.
8 file8,1 rbbintang - trailmarktrailofbits/skills
Builds and queries multi-language source and binary code graphs for security analysis, including taint propagation and blast radius estimation.
5 file8,1 rbbintang - vector-forgetrailofbits/skills
Generates new cryptographic test vectors by using mutation testing to identify and target uncovered code paths in algorithm implementations.
8 file8,1 rbbintang
Pertanyaan tentang plugin trailmark
Bagaimana cara install plugin trailmark?
Di Claude Code, jalankan /plugin marketplace add trailofbits/skills, lalu /plugin install trailmark@trailofbits.
Apa saja yang disertakan plugin trailmark?
trailmark membundel 1 agent, 14 skill.
Agent apa saja yang disertakan dalam trailmark?
code-slice-worker. Panggil salah satunya dengan @agent-trailmark:code-slice-worker.
Bagaimana cara update atau menghapus plugin trailmark?
Update dengan claude plugin update trailmark@trailofbits di shell Anda, atau dari tab Installed di /plugin. Hapus dengan /plugin uninstall trailmark@trailofbits.