Formally analyze cryptographic implementations for logical flaws and implementation bugs, covering entropy-source validation, constant-time execution auditing, key-lifecycle review and quantum-resistant readiness. Use this skill whenever the user mentions cryptographic audit, constant time, side channel, entropy source, key management, post quantum, elliptic curve, or is working with OpenSSL, ProVerif, dudect, even if they never say "cryptographic protocol auditing" explicitly. Routes live lookups through the Crypto-Audit-API endpoint. Do not use it for unrelated application feature work or general coding questions.
