Plugin trailmark
Builds source and binary code graphs for security analysis, context slicing, mutation testing, cryptographic protocol modeling, finding triage, and variant analysis.
Cómo instalar el plugin trailmark
Ejecuta ambos comandos dentro de Claude Code. El primero agrega el marketplace una vez; el segundo instala el plugin.
/plugin marketplace add trailofbits/skills
/plugin install trailmark@trailofbitsQué hay dentro de trailmark
15 partes leídas de los archivos del propio plugin.
Agentes 1
Llama como @agent-trailmark:name- @agent-trailmark:code-slice-worker
No hay descripción en el archivo.
Skills 14
Claude lo carga cuando la tarea 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 en Claude Code
Pide un agente por nombre:
@agent-trailmark:code-slice-workerLas Skills no necesitan comando. Claude las lee cuando tu solicitud coincide con lo que describen.
Actualizar, desactivar o eliminar
- Actualizar el plugin (shell)
- claude plugin update trailmark@trailofbits
- Refrescar el marketplace
- /plugin marketplace update trailofbits
- Desactivarlo por ahora
- /plugin disable trailmark@trailofbits
- Eliminarlo
- /plugin uninstall trailmark@trailofbits
Skills en trailmark
- trailmark-finding-triagetrailofbits/skills
Performs graph-assisted triage of security findings to determine code reachability and build evidence packets for exploit validation.
8 archivos8,1 milestrellas - 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 archivos8,1 milestrellas - trailmark-structuraltrailofbits/skills
Performs full structural analysis on a target directory to report hotspots, taint, blast radius, privilege boundaries, and attack surface data.
3 archivos8,1 milestrellas - trailmark-summarytrailofbits/skills
Performs a structural analysis of a codebase to detect programming languages, entry points, and dependencies.
3 archivos8,1 milestrellas - trailmark-variant-neighborhoodtrailofbits/skills
Expands a single confirmed or suspected vulnerability into a graph-derived neighborhood of potential variant candidates for further analysis.
6 archivos8,1 milestrellas - 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 archivos8,1 milestrellas - 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 archivos8,1 milestrellas - diagramming-codetrailofbits/skills
Generates Mermaid diagrams from code graphs to visualize call paths, class hierarchies, module dependencies, and data flows.
7 archivos8,1 milestrellas - genotoxictrailofbits/skills
Triages mutation testing results and test coverage gaps using code graph analysis and statement removal.
6 archivos8,1 milestrellas - 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 archivos8,1 milestrellas - mermaid-to-proveriftrailofbits/skills
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models for security property analysis.
8 archivos8,1 milestrellas - slicing-code-contexttrailofbits/skills
Selects bounded, graph-informed source code slices to delegate focused analysis or patch proposals to smaller subagents.
8 archivos8,1 milestrellas - trailmarktrailofbits/skills
Builds and queries multi-language source and binary code graphs for security analysis, including taint propagation and blast radius estimation.
5 archivos8,1 milestrellas - vector-forgetrailofbits/skills
Generates new cryptographic test vectors by using mutation testing to identify and target uncovered code paths in algorithm implementations.
8 archivos8,1 milestrellas
Preguntas sobre el plugin trailmark
¿Cómo instalo el plugin trailmark?
En Claude Code ejecuta /plugin marketplace add trailofbits/skills y luego /plugin install trailmark@trailofbits.
¿Qué incluye el plugin trailmark?
trailmark agrupa 1 agente, 14 skills.
¿Qué agentes vienen con trailmark?
code-slice-worker. Llama a uno con @agent-trailmark:code-slice-worker.
¿Cómo actualizo o elimino el plugin trailmark?
Actualízalo con claude plugin update trailmark@trailofbits en tu shell, o desde la pestaña Installed de /plugin. Elimínalo con /plugin uninstall trailmark@trailofbits.