Plugin trailmark
Builds source and binary code graphs for security analysis, context slicing, mutation testing, cryptographic protocol modeling, finding triage, and variant analysis.
Como instalar o plugin trailmark
Execute os dois comandos dentro do Claude Code. O primeiro adiciona o marketplace uma vez; o segundo instala o plugin.
/plugin marketplace add trailofbits/skills
/plugin install trailmark@trailofbitsO que há dentro de trailmark
15 partes lidas dos próprios arquivos do plugin.
Agentes 1
Chame como @agent-trailmark:nome- @agent-trailmark:code-slice-worker
Sem descrição no arquivo.
Skills 14
Claude o carrega quando a tarefa coincide- 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.
Usando trailmark no Claude Code
Peça um agente pelo nome:
@agent-trailmark:code-slice-workerSkills não precisam de comando. Claude as lê quando sua solicitação corresponde ao que elas descrevem.
Atualizar, desligar ou remover
- Atualizar o plugin (shell)
- claude plugin update trailmark@trailofbits
- Atualizar o marketplace
- /plugin marketplace update trailofbits
- Desligar por enquanto
- /plugin disable trailmark@trailofbits
- Remover
- /plugin uninstall trailmark@trailofbits
Skills em trailmark
Performs graph-assisted triage of security findings to determine code reachability and build evidence packets for exploit validation.
8 arquivos8,1 milestrelasRuns structural security review gates over git diffs to detect regressions in attack surface, privilege boundaries, and sensitive sink reachability.
6 arquivos8,1 milestrelasPerforms full structural analysis on a target directory to report hotspots, taint, blast radius, privilege boundaries, and attack surface data.
3 arquivos8,1 milestrelasPerforms a structural analysis of a codebase to detect programming languages, entry points, and dependencies.
3 arquivos8,1 milestrelasExpands a single confirmed or suspected vulnerability into a graph-derived neighborhood of potential variant candidates for further analysis.
6 arquivos8,1 milestrelasAugments code graphs with external audit findings from SARIF, weAudit, and binary-analysis graph exports to enable cross-referencing with pre-analysis data.
4 arquivos8,1 milestrelasGenerates Mermaid sequence diagrams with cryptographic annotations from source code, RFCs, academic papers, or formal models like ProVerif and Tamarin.
11 arquivos8,1 milestrelasGenerates Mermaid diagrams from code graphs to visualize call paths, class hierarchies, module dependencies, and data flows.
7 arquivos8,1 milestrelasTriages mutation testing results and test coverage gaps using code graph analysis and statement removal.
6 arquivos8,1 milestrelasCompares code graphs between two source snapshots to detect security-relevant structural changes like new attack paths and privilege boundary modifications.
6 arquivos8,1 milestrelasTranslates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models for security property analysis.
8 arquivos8,1 milestrelasSelects bounded, graph-informed source code slices to delegate focused analysis or patch proposals to smaller subagents.
8 arquivos8,1 milestrelasBuilds and queries multi-language source and binary code graphs for security analysis, including taint propagation and blast radius estimation.
5 arquivos8,1 milestrelasGenerates new cryptographic test vectors by using mutation testing to identify and target uncovered code paths in algorithm implementations.
8 arquivos8,1 milestrelas
Perguntas sobre o plugin trailmark
Como instalo o plugin trailmark?
No Claude Code, execute /plugin marketplace add trailofbits/skills e depois /plugin install trailmark@trailofbits.
O que o plugin trailmark inclui?
trailmark agrupa 1 agent, 14 skills.
Quais agentes vêm com trailmark?
code-slice-worker. Chame um com @agent-trailmark:code-slice-worker.
Como eu atualizo ou removo o plugin trailmark?
Atualize-o com claude plugin update trailmark@trailofbits no seu shell, ou pela aba Instalados de /plugin. Remova-o com /plugin uninstall trailmark@trailofbits.