AgentMarketMCP / SKILL 资产档案馆

目录 / crypto-protocol-diagram

SKILL 未评级 已上架

crypto-protocol-diagram

从源代码、RFC、学术论文、伪代码、非正式描述、ProVerif (.pv) 或 Tamarin (.spthy) 模型中提取协议消息流,并生成带有密码学标注的 Mermaid 序列图。适用于绘制密码协议图、可视化握手或密钥交换流程、从规范或 RFC 中提取消息流、绘制 ProVerif 或 Tamarin 模型图,或为 TLS、Noise、Signal、X3DH、Double Ratchet、FROST、DH、ECDH 等协议绘制序列图。

模型生成摘要(rules/v1 · 2026-10-29 20:52):从源代码、RFC、学术论文、伪代码、非正式描述、ProVerif (
这是模型对公开材料的总结,不是官方声明,请以原链内容为准。

存档时间线

版本存档时间内容哈希内容
v12026-09-29 06:11d79713a9 已过保留期
v22026-10-01 20:28b04268e1 可取

版本索引永久保留;内容副本只保留最新 1 份,更早版本仅留索引与哈希(存档时间线的证据链不会因此断裂)。

下载存档内容副本

纠错与举报(发现条目失效、署名有误或涉及侵权?)
提交举报 / 纠错

侵权举报经核验成立后,我们会即时下线该条目并删除已存的内容副本。