Skills and MCP tagged “cryptography”

sharp-edges trailofbits skill Audits API designs and configuration schemas for developer footguns. Flags dangerous defaults and fragile interfaces where the easiest path causes security vulnerabilities. Claude Code CX Codex Cursor +1 6,900installs wycheproof trailofbits skill Validates cryptographic implementations using Project Wycheproof test vectors. It helps your agent spot known vulnerabilities and edge cases across AES, RSA, and ECDSA. Claude Code CX Codex Cursor +1 5,100installs mermaid-to-proverif trailofbits skill Turns a Mermaid sequence diagram of a crypto protocol into a ProVerif model — a .pv file you can check for secrecy, authentication and forward secrecy. Claude Code CX Codex Cursor +1 3,900installs agent-decision-receipts Alireza Rezvani skill This skill mints a signed receipt for a consequential agent action — deploy, delete, pay, grant access — and verifies it later from the certificate alone. Claude Code 44installs