Agent skill · trailofbits
crypto-protocol-diagram
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generate
Reference it in any coding agent with:
@skills trailofbits/crypto-protocol-diagram