Claude Code plugin marketplace for security auditing. evidence-based skills for constant-time crypto review, compiler-survival checks in binaries, and zero-trust codebase audits.
Plugin Claude Code
Security-research toolkit for Claude Code: source-level cryptographic auditing, Ghidra-driven binary verification of constant-time and zeroization guarantees, and zero-trust codebase security auditing. Every skill gates findings on traced evidence before reporting.
Plugin Claude Code
Verifies in compiled machine code that secret zeroization survived dead-store elimination and that constant-time logic did not regain secret-dependent branches. Ships a Ghidra headless inventory script. Use when auditing a binary, shared object, or firmware image against a source-level guarantee.
Plugin Claude Code
Audits a codebase or file for exploitable vulnerabilities across injection, authorization, secrets, memory safety, deserialization, SSRF, and dependency risk, gating every candidate through six reachability and impact reviews before reporting. Not for deep crypto review or binary verification.
Plugin Claude Code
Audits cryptographic source for timing side channels, missing secret zeroization, non-constant-time comparison, and weak randomness. Use when reviewing crypto primitives, key handling, or any code touching secret material. Not for binary verification or general vulnerability hunting.