Top Agent Skills for May 30, 2026

Trailmark Summary

Generates a high-level structural overview of a codebase, including language detection, entry points, and dependencies.

Mermaid to ProVerif

Translates Mermaid sequence diagrams into ProVerif formal verification models for automated cryptographic protocol auditing.

Trailmark Code Diagramming

Generates professional Mermaid diagrams from codebases to visualize architecture, call paths, and security-critical data flows.

Genotoxic Mutation Testing Triage

Triages mutation testing and test statement removal results using code graph analysis to identify high-impact test gaps and fuzzing targets.

Vector Forge

Generates high-coverage cryptographic test vectors by identifying and closing implementation gaps discovered through mutation testing.

Trailmark Graph Evolution

Analyzes structural changes between code snapshots to detect new attack paths and security regressions that text-based diffs miss.

Trailmark Structural Analysis

Performs comprehensive graph-based security analysis to map attack surfaces, taint flows, and complexity hotspots within a codebase.

Crypto Protocol Visualizer

Generates detailed Mermaid sequence diagrams with cryptographic annotations from source code, RFCs, and formal models.

Audit Augmentation

Integrates SARIF static analysis results and weAudit annotations into code graphs to contextualize security findings within software architecture.

Trailmark Security Analysis

Builds and queries multi-language source code graphs to perform advanced security analysis, vulnerability detection, and attack surface mapping.