crypto-protocol-diagram

crypto-protocol-diagram is a skill for Codex from OutlineDriven/outline-driven-development. It costs 51 tokens per session (2,084 once invoked), scanned A, original, Apache-2.0.

A diagramming workflow for showing how a cryptographic protocol works, including the messages, participants, operations, and failure paths.

In plain words
What is it for?
Use it to turn protocol code, prose, standards, academic papers, or formal models into a sequence diagram.
Why use it?
It makes security rules and differences between an implementation and its specification easier to inspect.

Skill for Codex

Written for Codex: agents/openai.yaml present.

Good fit Use it to turn protocol code, prose, standards, academic papers, or formal models into a sequence diagram.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/outlinedriven/outline-driven-development/crypto-protocol-diagram
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add OutlineDriven/outline-driven-development --skill crypto-protocol-diagram
Clone the repo
git clone --depth 1 https://github.com/OutlineDriven/outline-driven-development

Made for: Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for crypto-protocol-diagram

README.md
[![agentmods](https://agentmods.dev/badge/skills/outlinedriven/outline-driven-development/crypto-protocol-diagram/github.svg)](https://agentmods.dev/skills/outlinedriven/outline-driven-development/crypto-protocol-diagram)
Your own site
<a href="https://agentmods.dev/skills/outlinedriven/outline-driven-development/crypto-protocol-diagram"><img src="https://agentmods.dev/badge/skills/outlinedriven/outline-driven-development/crypto-protocol-diagram/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for crypto-protocol-diagram

Your own site · 80×15
<a href="https://agentmods.dev/skills/outlinedriven/outline-driven-development/crypto-protocol-diagram"><img src="https://agentmods.dev/badge/skills/outlinedriven/outline-driven-development/crypto-protocol-diagram.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 51 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 2,084 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe. Third-party audits
  • NVIDIA SkillSpector pass 7 Sept 2026
How audits are shown
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00051 $0.02084
Opus 5 $0.00026 $0.01042
Sonnet 5 $0.00010 $0.00417
Haiku 4.5 $0.00005 $0.00208

Measured 2d ago against content hash 815322fb9d3a, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-08, from the pricing page.

Security

Grade A, and why

crypto-protocol-diagram scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

.devin/skills/crypto-protocol-diagram/SKILL.md · 69 lines

How it starts

The opening of the file, as written. The whole thing — 69 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Crypto protocol diagram

Contract

Field Bound contract
Trigger The user asks to extract cryptographic protocol semantics from source code, prose, RFCs, papers, ProVerif, or Tamarin into a sequence diagram.
Authority Reversible local: writes only one named Markdown artifact under the working directory; rollback is deleting the written file. No remote mutation.
Side effect A named Markdown file containing a Mermaid sequence diagram, plus an inline ASCII rendering printed in the response.
Done Every distinct protocol message, party, cryptographic operation, phase, and material abort path is represented; ambiguities and implementation/spec divergences are labeled.

Inputs

Required: one of the following, supplied by the user or present in the working tree.

  • Source code implementing a cryptographic protocol (file path or directory).
  • A specification: RFC, academic paper, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) model. A URL is accepted for an RFC or paper.
  • Both a spec and source code (run the spec path first, then annotate code/spec divergences).

Optional: a preferred output filename. If omitted, derive it from the protocol name (e.g. noise-xx-handshake.md).

Procedure

  1. Classify the input. Source file extensions, function/class definitions, and import statements indicate code. RFC section headers (§, Section X.Y, MUST/SHALL), Algorithm/Protocol/Figure labels, or mathematical notation indicate a spec. A ProVerif file (.pv with process, let, in/out) or Tamarin file (.spthy with rule, --[...]->) is a spec. If both a spec and code are present, run the spec path first. If the input is ambiguous, ask the user whether it is source code, a specification, or both. Done when: this step's stated action, evidence, and checks are complete.

  2. (Spec path) Ingest the full specification, identify its format, and apply the matching rules in Specification extraction. Done when: the full specification has been mapped through exactly one matching extraction branch, with normative conflicts and underspecified cryptography annotated.

Read the full file on GitHub · 69 lines

Files

What ships with it

2 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 2d ago Changed · -6 tokens per session 815322fb9d3a
  2. 5d ago First seen · 69 lines · 57 tokens per session scan A 9e79ec31e54a

Subscribe to this mod's changes

crypto-protocol-diagram is a skill published in the GitHub repository OutlineDriven/outline-driven-development (52 stars, last pushed 3d ago), licensed Apache-2.0. It adds 51 tokens to every session and 2,084 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-03.

Related

Other skills, from other repositories

audit-project

Run an iterative multi-agent code audit until critical and high findings are resolved. Use when the user says "audit my code", "find all the bugs", "deep code audit", "iterative review", or "review until clean".

OutlineDriven/odin-claude-plugin · 50 tokens

duet

Use when the user invokes /duet, says "pair with me", or faces aesthetic, architectural, or irreversible decisions.

OutlineDriven/odin-claude-plugin · 28 tokens

goal-prompt-drafting

Use when asked to draft copy-ready /goal objectives for long-running agents; returns one normalized one-line objective with measurable end state, grounded proof, easy-out invariants, a stop clause, and a Missing list. Not for source or remote-system changes.

OutlineDriven/odin-claude-plugin · 57 tokens

handoff-prompt

Use when the user asks for a handoff, delegation, or clipboard-ready prompt for another agent: a standalone path-free prompt copied to the clipboard, confirmed by title. Not for session-snapshot briefs — use handoff; never remote, credential, publish, deploy, or irreversible.

OutlineDriven/odin-claude-plugin · 62 tokens

publish-branch

Use when asked to publish the checked-out branch: commit and push it on whatever branch it is, the default branch included. Not for creating branches, PRs, force pushes, or pushing any other branch; when the request excludes the default branch, use commit-push-current.

OutlineDriven/odin-claude-plugin · 60 tokens

drill

Use when a concept needs practising rather than explaining: run a scaffolded exercise from worked example to independent problem, quiz the learner, run spaced recall over what they cleared, or probe for the gaps blocking what they want next. For explanation, use explain-concept; for an end-to-end build, use capstone.

OutlineDriven/odin-claude-plugin · 67 tokens