Claude Code skills for Solidity security auditing. 90% precision across 40 blind Code4rena contests. Zero API cost.
Skill Claude CodeCodex
Expert at writing and running valid Foundry proof-of-concept exploits for Solidity vulnerabilities. Turns a suspected bug into a compiled, executed test that asserts the actual HARM (funds drained, state corrupted) on a forked mainnet — or proves it does not reproduce. Use when a finding needs mechanical verification…
Skill Claude CodeCodex
AI-first security auditor for Solidity smart contracts. 4-phase pipeline (recon → detection → state analysis → verification) with 101 heuristics, 15 detection modules, 8 kill gates, and a 6-field methodology audit trail per finding (v8.1). Tested at 100% precision across 50 blind shadow audits.
Skill Claude CodeCodex
This skill defines how to extract invariants from smart contracts and generate Foundry fuzz tests to verify them.
Skill Claude CodeCodex
Full audit readiness assessment against Zealynx security framework. Goes check-by-check through every framework check for your vertical. Produces .zealynx-run.json for import into audit-readiness.zealynx.io.
Skill Claude CodeCodex
Deep analysis of a single security check against local Solidity code. Use with framework check IDs like AC-01, LN-02, VT-03. Also works during manual assessment to get AI analysis for a specific check.
Skill Claude CodeCodex
Quick security scan of Solidity smart contracts. Analyzes code against real audit findings from 4,500+ Solodit references across 39 DeFi verticals. Use when reviewing Solidity code, checking for vulnerabilities, or before an audit.