Skills tagged crypto: 6 agent skills for Claude Code

• constant-time-analysis — Detects timing side-channel vulnerabilities in cryptographic code.
• constant-time-testing — Measures timing side channels in cryptographic implementations by running them.
• crypto-protocol-diagram — Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv).
• mermaid-to-proverif — Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif.
• vector-forge — Mutation-driven test vector generation.
• wycheproof — Validates cryptographic implementations against Project Wycheproof's test vectors, which encode known attacks and edge cases across AES, RSA, ECDSA, ECDH.