Benchmark AI Auditor Tools. For Real.
Run your Claude Code security skill against real Code4rena contest codebases. Paste the output. Get scored against the actual findings. See how your tool compares to others.
1. Pick a Contest
Choose a real Code4rena contest. Clone the repo locally.
2. Run Your Skill
Run your Claude Code security skill against the codebase.
3. Paste Output
Paste the full output. Our parser extracts findings automatically.
4. Get Scored
Findings matched against official results. See TPs, FPs, precision, recall.
Rules
- 1. Only Claude Code skills are accepted. No manual findings, no other AI tools.
- 2. The skill must be publicly available (open source GitHub repo).
- 3. Paste the full, unmodified output including the skill invocation command.
- 4. One submission per skill per contest per user. Results are permanent.
- 5. Earn +10 Lynx per submission.
Approved Skills
Krait
/kraitAI-assisted security verification. 43 heuristics, 4-phase pipeline, 8 kill gates. 100% precision on last 10 contests.
ZealynxSecurity/kraitPashov Auditor
/pashov-auditor~100 attack vector detection skills for smart contract security analysis.
pashov/skillsSecurity Scan
/security-scanMulti-phase Solidity auditor. 7 domain primers, 9 kill gates, 12 real exploit references. JSON + Markdown output.
KalpShah-ETH/security-scan-skilldera-skill
/security-scanA comprehensive multi-perspective security auditor for Solidity smart contracts. Performs deep vulnerability analysis by examining code through 4 independent perspectives: attacker mindset, financial accounting, specification compliance, and edge case behavior.
Derastephh/dera-ai-auditorai-security-auditor
/security-scanA multi-phase Solidity security auditor for Claude Code that works through reconnaissance, a checklist-based vulnerability sweep, and strict "kill-gate" verification to filter out false positives — optionally cross-referencing Slither/Aderyn static-analysis output — then writes machine-parseable findings to .audit/findings.json alongside a readable terminal summary.
CyberNerd0/ai-security-auditor