ZealynxSecurity

ZealynxSecurity/krait

Plugin Claude Code

Plugin marketplace listing 1 plugin: krait.

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 CodeCodex

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 CodeCodex

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 CodeCodex

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

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

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

ZealynxSecurity/krait

Instructions file

Instructions for ZealynxSecurity/krait, covering claude.md, project shape, common commands, run a single test file or test by name and cli architecture (src/).

ZealynxSecurity/krait

Plugin Claude Code

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.

ZealynxSecurity/krait

Skill Claude CodeCodex

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.

ZealynxSecurity/krait

Skill Claude CodeCodex

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.

ZealynxSecurity/krait

Skill Claude CodeCodex

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.