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 — spthy) models and generates Mermaid sequenceDiagrams with cryptographic annotations.
• mermaid-to-proverif — pv files). pv file from a sequence diagram.
• 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.