krait

分类: 测试与安全 | 上传者: ZealynxSecurity | 下载: 0 | 版本: v1.0（最新）

适用于 Solidity 智能合约的人工智能优先安全审计员。 4 阶段管道（侦察 → 检测 → 状态分析 → 验证），具有 101 个启发式、15 个检测模块和 8 个杀伤门。经过 50 次盲目影子审核，测试精度为 100%。

更新日志: Source: GitHub https://github.com/ZealynxSecurity/krait

目录结构

当前层级: tree/main/.claude/skills/krait/

📁 auditor/
- 📄 instructions.md 10.8 KB
📁 critic/
- 📄 instructions.md 15.1 KB
📁 detector/
- 📁 modules/
  - 📄 access-control-state.md 1.9 KB
  - 📄 account-abstraction-erc4337.md 2.4 KB
  - 📄 amm-mev-deep.md 3.1 KB
  - 📄 cross-chain-bridge.md 3.0 KB
  - 📄 economic-design.md 3.5 KB
  - 📄 eip-standard-compliance.md 2.2 KB
  - 📄 eip7702-delegation.md 3.0 KB
  - 📄 erc4626-vault-deep.md 2.9 KB
  - 📄 external-protocol-integration.md 2.5 KB
  - 📄 flash-loan-interaction.md 2.6 KB
  - 📄 governance-voting.md 3.4 KB
  - 📄 lending-liquidation-deep.md 3.9 KB
  - 📄 multi-tx-attack.md 1.8 KB
  - 📄 oracle-analysis.md 3.4 KB
  - 📄 token-flow-tracing.md 2.4 KB
- 📁 primers/
  - 📄 bridge-crosschain.md 4.5 KB
  - 📄 defi-dex-amm.md 9.7 KB
  - 📄 defi-lending.md 8.9 KB
  - 📄 defi-staking-governance.md 8.7 KB
  - 📄 gamefi-nft.md 5.7 KB
  - 📄 proxy-upgrades.md 5.3 KB
  - 📄 wallet-safe-aa.md 5.0 KB
- 📄 heuristics-extended.md 7.9 KB
- 📄 instructions.md 61.2 KB
📁 recon/
- 📄 ast-extract.sh 14.4 KB
- 📄 instructions.md 17.8 KB
- 📄 slither-summary.sh 2.1 KB
📁 reporter/
- 📄 instructions.md 8.7 KB
📁 reviewer/
- 📄 instructions.md 14.9 KB
📁 state-auditor/
- 📄 instructions.md 10.1 KB
📄 ATTRIBUTION.md 1.3 KB
📄 SKILL.md 2.7 KB

SKILL.md

---
name: krait
description: AI-first security auditor for Solidity smart contracts. 4-phase pipeline (recon → detection → state analysis → verification) with 101 heuristics, 15 detection modules, and 8 kill gates. Tested at 100% precision across 50 blind shadow audits.
---

# Krait — AI Security Auditor

Krait is a structured audit methodology for Solidity smart contracts, encoded as Claude Code skills. It runs a 4-phase pipeline with multi-mindset analysis and strict verification gates.

## How It Works

When invoked via `/krait`, the pipeline runs 4 phases sequentially:

1. **Phase 0 — Recon** (`recon/instructions.md`): Architecture mapping, deterministic file risk scoring, module selection
2. **Phase 1 — Detection** (`detector/instructions.md`): 3-pass analysis with 4 parallel lenses × 4 mindsets, 101 heuristics, activated detection modules
3. **Phase 2 — State Analysis** (`state-auditor/instructions.md`): Coupled state pair analysis, mutation matrix, masking code detection
4. **Phase 3 — Verification** (`critic/instructions.md`): 8 automatic kill gates, concrete exploit trace required for every H/M finding
5. **Phase 3b — Review** (`reviewer/instructions.md`): Second opinion on killed findings, catches over-filtering
6. **Phase 4 — Report** (`reporter/instructions.md`): Dedup, rank, format to markdown + JSON

## Reference Files

### Phase Instructions
- `recon/instructions.md` — Full recon methodology
- `detector/instructions.md` — Detection methodology with all question categories and heuristics
- `state-auditor/instructions.md` — State inconsistency analysis
- `critic/instructions.md` — Kill gates and verification
- `reviewer/instructions.md` — Second opinion methodology
- `reporter/instructions.md` — Report generation

### Detection Modules (loaded selectively based on protocol type)
- `detector/modules/*.md` — 15 deep-dive detection modules (ERC-4626 vaults, lending/liquidation, AMM/MEV, governance, oracles, etc.)
- `detector/primers/*.md` — 7 protocol-type primers (DEX, lending, staking, bridges, proxies, wallets, gamefi)
- `detector/heuristics-extended.md` — 58 advanced detection vectors

### Supporting Files
- `recon/ast-extract.sh` — AST fact extraction script
- `recon/slither-summary.sh` — Slither output parser
- `ATTRIBUTION.md` — Detection source attribution

## Commands

| Command | Description |
|---------|-------------|
| `/krait` | Full 4-phase audit |
| `/krait-quick` | Skip state analysis for speed |
| `/krait-review` | Second opinion on killed findings |

## Benchmarks

100% precision across 50 blind shadow audits against Code4rena contests. 0 false positives per contest (v7+v8). See `shadow-audits/progress.md` for full results.

Built by [Zealynx Security](https://zealynx.io).

登录后下载/点赞/收藏 ❤ 6 | ★ 0

krait

目录结构

SKILL.md

举报内容

提示