agentmods.dev

ZealynxSecurity/krait

Claude Code skills for Solidity security auditing. 90% precision across 40 blind Code4rena contests. Zero API cost.

This repository also configures its own agents. See what krait tells them →

Open on GitHub krait.zealynx.io
25Stars on the repository
16Mods indexed here, across every type
18d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 3 mods

krait-poc

01

ZealynxSecurity/krait

Skill Claude Code

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…

not rated 25 +2 18d ago A 105 tokens original MIT

krait

02

ZealynxSecurity/krait

Skill Claude Code

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.

not rated 25 +2 18d ago A 72 tokens original MIT

fuzzer

03

ZealynxSecurity/krait

Skill Claude Code needs its repo

This skill defines how to extract invariants from smart contracts and generate Foundry fuzz tests to verify them.

not rated 25 +2 18d ago A SkillSpector: pass 0 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: