Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates Mermaid sequenceDiagrams with…
Terminal is for Claude Code, Codex, Cursor and Copilot.
Packed by SkillHub from trailofbits/skills, always the latest version. On a phone: download now, upload later from a computer.
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates Mermaid sequenceDiagrams with…
Selects bounded, graph-informed source slices with Trailmark and delegates focused code analysis or patch-proposal work to a smaller subagent.
Expert guidance for ffuf-based web penetration testing and result analysis.
Best practices for authentication with Better Auth library.