krait

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

Works with

Claude

View on GitHub

25 GitHub stars (25)

+3 in 16 days

Stars gained per day · daily snapshots since Sep 30

Stars gained between daily snapshots
Period	New stars
Oct 1	0
Oct 2	0
Oct 3	+1
Oct 4	0
Oct 5	0
Oct 6	0
Oct 7	0
Oct 8	0
Oct 9	0
Oct 10	0
Oct 11	0
Oct 12	0
Oct 13	0
Oct 14	0
Oct 15	+1
Oct 16	+1

6 skills (6 skills found in its SKILL.md files)
4 forks (4 forks)
2w ago last update (Last updated 2w ago)

Install

Skills CLI

npx skills add ZealynxSecurity/krait

Asks which skills and agents to install. Just one: npx skills add ZealynxSecurity/krait --skill krait-poc — add -g for every project.

Claude Code

git clone https://github.com/ZealynxSecurity/kraitcp -r "krait/.claude/skills/krait-poc" ~/.claude/skills/

Copies the krait-poc skill into ~/.claude/skills/ for every project (use .claude/skills/ for one project). Repeat for the other skills listed below.

Plugin

/plugin marketplace add ZealynxSecurity/krait

Run inside Claude Code if the repository ships a plugin marketplace, then pick plugins from /plugin.

Skills can run code on your machine — read the SKILL.md first.

What it does

In the author's own words, from each skill's SKILL.md.

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…
.claude/skills/krait-poc/SKILL.md on GitHub (opens in a new tab)
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.
.claude/skills/krait/SKILL.md on GitHub (opens in a new tab)
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.
checklist/skills/assess/SKILL.md on GitHub (opens in a new tab)
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.
checklist/skills/check/SKILL.md on GitHub (opens in a new tab)
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.
checklist/skills/scan/SKILL.md on GitHub (opens in a new tab)
fuzzer

No description in the SKILL.md.
.claude/skills/krait/fuzzer/SKILL.md on GitHub (opens in a new tab)

Review before you install

A skill is a set of instructions and scripts your agent will follow, and it can run code on your machine. Read the SKILL.md and any scripts first — this listing is not a security review.

Encoders & Decoders

Hash Generators

Code Formatters

HTML Tools

JavaScript Tools

Network Tools

Database Tools

Development Tools

Miscellaneous Tools

krait