Crypto Protocol Diagram
作者 trailofbits82fe82262526无许可证7.4K 个星标收录于 2026年10月8日更新于 2026年10月8日仓库昨天更新
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates Mermaid sequenceDiagrams with cryptographic annotations. Use when diagramming a crypto protocol, visualizing a handshake or key exchange flow, extracting message flow from a spec or RFC, diagramming a ProVerif or Tamarin model, or drawing sequence diagrams for TLS, Noise, Signal, X3DH, Double Ratchet, FROST, DH, or ECDH protocols.
- 82fe82262526当前提交 82fe822发布于 2026年10月8日
来源与署名
来源：trailofbits/skills位于plugins/trailmark/skills/crypto-protocol-diagram提交82fe822
许可证： 无许可证
内容归原作者所有。SourceWeft 从公开仓库中收录这些内容。
更多来自 trailofbits/skills 的技能
Vector Forge
trailofbits
通过变异测试实现来发现未覆盖代码路径，从而生成密码学测试向量。
Wycheproof
trailofbits
指导使用 Project Wycheproof 测试向量验证密码学实现，覆盖已知攻击与边界情况。
Ruzzy
trailofbits
指导安装和使用 Ruzzy——Trail of Bits 面向 Ruby 代码与 C 扩展的覆盖率引导模糊测试器。
Ossfuzz
trailofbits
指导将开源项目接入 OSS-Fuzz，并通过 helper.py 在本地运行模糊测试 harness。
Libfuzzer
trailofbits
指导在 C/C++ 代码上搭建并运行 libFuzzer，涵盖测试框架、构建、语料库、sanitizer 与问题分类。
Trailmark
trailofbits
构建并查询多语言源码与二进制代码图，用于安全分析和审计优先级排序。
更多Software Development技能
Playground
anthropics
构建自包含的交互式 HTML 演练场，包含控件、实时预览和可复制的提示词输出。
M5 Onboard
anthropics
通过 USB 检测 M5Stack ESP32 开发板，刷写 UIFlow 2.0 固件并安装 MicroPython 应用包。
Cardputer Buddy
anthropics
指导迭代 Cardputer-Adv 的 MicroPython 应用包：添加应用、通过 USB 串口推送文件、查看日志并运行 REPL 命令。
Web Design Guidelines
vercel-labs
依据从远程来源获取的 Web Interface Guidelines 审查 UI 代码，并以 file:line 形式报告问题。
Vercel React Native Skills
vercel-labs
React Native 与 Expo 最佳实践规则，涵盖列表性能、动画、导航、UI 模式、状态与 monorepo 配置。
Vercel React Best Practices
vercel-labs
Vercel 的 React 与 Next.js 性能指南，以 70 条规则的形式用于编写、审查和重构代码。