Proven skills / Compare

Two design skills · both proven

crypto-protocol-diagram vs vercel-react-view-transitions

Both skills were run through Claude twice: once on a fixed brief without the skill, once with it. The briefs differ because each is written for the job the skill claims to do, so compare each skill against its own baseline, then decide which difference matters for your work.

crypto-protocol-diagram

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…

Category
Design
Source
trailofbits/skills
License
Other
Proof model
claude-opus-5-5
Brief
“Draw the message flow of this login protocol as a single HTML page with an SVG sequence diagram, and note any weaknesses. 1. Client sends username to server. 2. Server replies with a random 16-byte nonce and the user's salt. 3. Client computes H = SHA-256(salt || password) and sends HMAC-SHA256(key=H, msg=nonce). 4. Server looks up stored H, computes the same HMAC and compares. 5. On success the server returns a session token valid for 30 days.”
Skill commit
2be6433
Without the skillWith crypto-protocol-diagram
⇆
Without, runWith crypto-protocol-diagram, run3 independent runs per side, none selected by hand.

Download the with-skill page

vercel-react-view-transitions

Guide for implementing smooth, native-feeling animations using React's View Transition API (`<ViewTransition>` component, `addTransitionType`, and CSS view transition pseudo-elements). Use this skill whenever the user wants to add page transitions, animate route changes, create shared element animations, animate enter/exit of components, animate list reorder, implement directional (forward/back)…

Category
Design
Source
vercel-labs/agent-skills
License
Not stated
Proof model
claude-opus-5-5
Brief
“Build a photo gallery for a small travel photographer as a single HTML page using React from a CDN: a grid of twelve photos drawn with inline SVG or CSS gradients, where clicking a photo smoothly expands it into a detail view with a caption and location, and going back animates it into its place in the grid. Filtering the grid by country should animate the reordering too.”
Skill commit
063bee9
Without the skillWith vercel-react-view-transitions
⇆
Without, runWith vercel-react-view-transitions, run3 independent runs per side, none selected by hand.

Download the with-skill page

We don’t pick a winner for you: the pages are the evidence. Both proofs can be repeated with the brief, model and commit shown above. See alternatives to crypto-protocol-diagram or alternatives to vercel-react-view-transitions.