Crypto Protocol Diagram
trailofbits/skills/plugins/trailmark/skills/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.
僅公開檔案列表。將技能安裝到工作區後即可檢視檔案內容。
| 路徑 | 大小 | 類型 |
|---|---|---|
| agents/openai.yaml | 244 B | application/yaml |
| assets/trail-of-bits-mark.svg | 3 KB | text/plain |
| examples/simple-handshake/expected-output.md | 4.8 KB | text/markdown |
| examples/simple-handshake/protocol.py | 5.7 KB | text/plain |
| examples/simple-proverif/expected-output.md | 4 KB | text/markdown |
| examples/simple-proverif/model.pv | 1.8 KB | text/plain |
| references/ascii-sequence-diagram.md | 2.3 KB | text/markdown |
| references/mermaid-sequence-syntax.md | 7.5 KB | text/markdown |
| references/protocol-patterns.md | 10.9 KB | text/markdown |
| references/spec-parsing-patterns.md | 11.6 KB | text/markdown |
| SKILL.md | 18.4 KB | text/markdown |
來源與署名
來源：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 條規則的形式用於撰寫、審查與重構程式碼。