Plugin trailmark
Builds source and binary code graphs for security analysis, context slicing, mutation testing, cryptographic protocol modeling, finding triage, and variant analysis.
Comment installer le plugin trailmark
Exécutez les deux commandes dans Claude Code. La première ajoute la marketplace une seule fois ; la seconde installe le plugin.
/plugin marketplace add trailofbits/skills
/plugin install trailmark@trailofbitsContenu de trailmark
15 parties lues depuis les fichiers du plugin.
Agents 1
Appeler via @agent-trailmark:name- @agent-trailmark:code-slice-worker
Aucune description dans le fichier.
Skills 14
Claude le charge quand la tâche correspond- 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.
Utiliser trailmark dans Claude Code
Demandez un agent par son nom :
@agent-trailmark:code-slice-workerLes Skills ne nécessitent pas de commande. Claude les lit quand votre requête correspond à leur description.
Mettre à jour, désactiver ou supprimer
- Mettre à jour le plugin (shell)
- claude plugin update trailmark@trailofbits
- Actualiser le marketplace
- /plugin marketplace update trailofbits
- Le désactiver pour le moment
- /plugin disable trailmark@trailofbits
- Le supprimer
- /plugin uninstall trailmark@trailofbits
Skills dans trailmark
- trailmark-finding-triagetrailofbits/skills
Performs graph-assisted triage of security findings to determine code reachability and build evidence packets for exploit validation.
8 fichiers8,1 kétoiles - 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 fichiers8,1 kétoiles - trailmark-structuraltrailofbits/skills
Performs full structural analysis on a target directory to report hotspots, taint, blast radius, privilege boundaries, and attack surface data.
3 fichiers8,1 kétoiles - trailmark-summarytrailofbits/skills
Performs a structural analysis of a codebase to detect programming languages, entry points, and dependencies.
3 fichiers8,1 kétoiles - trailmark-variant-neighborhoodtrailofbits/skills
Expands a single confirmed or suspected vulnerability into a graph-derived neighborhood of potential variant candidates for further analysis.
6 fichiers8,1 kétoiles - 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 fichiers8,1 kétoiles - 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 fichiers8,1 kétoiles - diagramming-codetrailofbits/skills
Generates Mermaid diagrams from code graphs to visualize call paths, class hierarchies, module dependencies, and data flows.
7 fichiers8,1 kétoiles - genotoxictrailofbits/skills
Triages mutation testing results and test coverage gaps using code graph analysis and statement removal.
6 fichiers8,1 kétoiles - 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 fichiers8,1 kétoiles - mermaid-to-proveriftrailofbits/skills
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models for security property analysis.
8 fichiers8,1 kétoiles - slicing-code-contexttrailofbits/skills
Selects bounded, graph-informed source code slices to delegate focused analysis or patch proposals to smaller subagents.
8 fichiers8,1 kétoiles - trailmarktrailofbits/skills
Builds and queries multi-language source and binary code graphs for security analysis, including taint propagation and blast radius estimation.
5 fichiers8,1 kétoiles - vector-forgetrailofbits/skills
Generates new cryptographic test vectors by using mutation testing to identify and target uncovered code paths in algorithm implementations.
8 fichiers8,1 kétoiles
Questions sur le plugin trailmark
Comment installer le plugin trailmark ?
Dans Claude Code, exécutez /plugin marketplace add trailofbits/skills, puis /plugin install trailmark@trailofbits.
Que contient le plugin trailmark ?
trailmark regroupe 1 agent, 14 skills.
Quels agents sont inclus avec trailmark ?
code-slice-worker. Appelez-en un avec @agent-trailmark:code-slice-worker.
Comment mettre à jour ou supprimer le plugin trailmark ?
Mettez-le à jour avec claude plugin update trailmark@trailofbits dans votre shell, ou depuis l'onglet Installed de /plugin. Supprimez-le avec /plugin uninstall trailmark@trailofbits.