Search Results: mermaid-diagram

Found 75 Skills

Code Qualitysynapsync/synapse_registr...

code-analyzer

Analyzes code modules and generates structured technical reports with architecture diagrams. Trigger: When the user asks to analyze, explain, or document a module, file, or codebase section.

🇺🇸|EnglishTranslated

Security & Compliancetrailofbits/skills

mermaid-to-proverif

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), checking for replay attacks, or producing a .pv file from a sequence diagram.

🇺🇸|EnglishTranslated

Tools & Utilitiescuriouslearner/devkit

schema-visualizer

Generate database schema diagrams, ERDs, and documentation from database schemas.

🇺🇸|EnglishTranslated