ZealynxSecurity

ZealynxSecurity/krait

Command Claude Code

Run an invariant-based fuzzing campaign: Understand → Extract Invariants → Generate Foundry Tests → Run & Fix Iteratively → Report.

ZealynxSecurity/krait

Command Claude Code

Standalone readiness check before running /krait. Verifies tools, project shape, gitignore, MCP wiring, and /.claude install. Reports what's missing — does NOT install or modify anything.

ZealynxSecurity/krait

Command Claude Code

Write and run a valid Foundry proof-of-concept that proves (or disproves) a Solidity exploit by asserting the actual harm on a forked chain or against local source.

ZealynxSecurity/krait

Command Claude Code

Run a streamlined audit: Recon → Detection → Verification → Report. Skips state inconsistency analysis and cross-feed iteration for speed.

ZealynxSecurity/krait

Command Claude Code

Re-examine findings killed by the Critic's automatic gates. Catches over-filtering without compromising the main report's zero-FP standard.

ZealynxSecurity/krait

Command Claude Code

Run a complete multi-phase security audit on the target codebase.

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…

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.

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.

ZealynxSecurity/krait

MCP server Claude CodeCodexCursor +2

One of 2 in .mcp.json

MCP server "krait-solodit" as configured in ZealynxSecurity/krait. Runs mcp-servers/solodit/build/index.js with node.

ZealynxSecurity/krait

MCP server Claude CodeCodexCursor +2

One of 2 in .mcp.json

MCP server "krait-forge" as configured in ZealynxSecurity/krait. Runs mcp-servers/forge/build/index.js with node.

ZealynxSecurity/krait

Plugin Claude Code

Bundles 3 skills · 146 tokens together

Smart contract security analysis powered by 4,500+ real audit findings from Solodit. Quick scans, full framework assessments, and integration with audit-readiness.zealynx.io.