krait-fuzz
01Command Claude Code
Run an invariant-based fuzzing campaign: Understand → Extract Invariants → Generate Foundry Tests → Run & Fix Iteratively → Report.
Claude Code skills for Solidity security auditing. 90% precision across 40 blind Code4rena contests. Zero API cost.
Command Claude Code
Run an invariant-based fuzzing campaign: Understand → Extract Invariants → Generate Foundry Tests → Run & Fix Iteratively → Report.
Command Claude Code
Standalone readiness check before running /krait. Verifies tools, project shape, gitignore, MCP wiring, and /.claude install. Reports what's missing — does NOT install or modify anything.
Command Claude Code
Write and run a valid Foundry proof-of-concept that proves (or disproves) a Solidity exploit by asserting the actual harm on a forked chain or against local source.
Command Claude Code
Run a streamlined audit: Recon → Detection → Verification → Report. Skips state inconsistency analysis and cross-feed iteration for speed.
Command Claude Code
Re-examine findings killed by the Critic's automatic gates. Catches over-filtering without compromising the main report's zero-FP standard.
Command Claude Code
Run a complete multi-phase security audit on the target codebase.