slither
1
总安装量
1
周安装量
#77279
全站排名
安装命令
npx skills add https://github.com/hairyf/blockchain-master --skill slither
Agent 安装分布
mcpjam
1
claude-code
1
replit
1
junie
1
windsurf
1
zencoder
1
Skill 文档
Skill based on Slither (slither-analyzer v0.11.5), generated from
sources/slither. Doc path:sources/slither/docs/src/and repo README.
Slither is a Solidity and Vyper static analysis framework. It runs vulnerability detectors, prints contract structure (call graph, CFG, inheritance, SlithIR), and exposes a Python API and SlithIR for custom analyses. Use it to find bugs, understand code, and integrate into CI or scripts.
Core References
| Topic | Description | Reference |
|---|---|---|
| CLI usage | Targets, detector/printer selection, path filter, triage, config | core-usage |
| Python API | Slither, CompilationUnit, Contract, Function, Nodeâload and traverse | core-api |
| SlithIR and analysis | IR, SSA, when to use irs vs irs_ssa, data dependency | core-slithir-and-analysis |
Features
Detectors and printers
| Topic | Description | Reference |
|---|---|---|
| Detectors | Built-in detectors, impact/confidence, custom detector plugin | features-detectors |
| Printers | Call graph, CFG, inheritance, SlithIR, function summary, etc. | features-printers |
Tools
| Topic | Description | Reference |
|---|---|---|
| Built-in tools | slither-flat, slither-check-erc, slither-check-upgradeability, slither-mutate, slither-doc, slither-read-storage, etc. | features-tools |
Best Practices
| Topic | Description | Reference |
|---|---|---|
| Suppression and output | Inline/block suppress, triage, JSON/SARIF/checklist, config file | best-practices-suppression-and-output |