Search
Security · Mermaid · trailofbits/skills
3 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Generates Mermaid diagrams from Trailmark code graphs, including call graphs, class hierarchies, module dependency maps, complexity heatmaps and attack surface data flows. | trailofbits/ | 7.5k | — | ~1.7k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 2 | Turns a cryptographic protocol's source code, RFC, paper or ProVerif or Tamarin model into a Mermaid sequence diagram annotated with each cryptographic operation. | trailofbits/ | 7.5k | — | ~4.6k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 3 | Converts a Mermaid sequence diagram of a cryptographic protocol into a ProVerif model file ready for checking secrecy, authentication and forward secrecy. | trailofbits/ | 7.5k | — | ~4.5k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
