ZealynxSecurity
OrganizationClaude Code skills for Solidity security auditing. 90% precision across 40 blind Code4rena contests. Zero API cost.
Categories
Indexed Skills (5)
assess
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.
check
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.
scan
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.
krait-poc
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, when building a PoC for a real exploit, or when asked to reproduce an on-chain incident. Emits [POC-PASS] / [POC-FAIL] evidence tags.
krait
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.
Bio shown is the top-scored skill's repo description as a fallback — real GitHub bios land in a future update.