用途：Slither 是面向 Solidity 与 Vyper 的静态分析框架，用于查找漏洞、理解合约代码，并可集成进 CI 或脚本流程。该技能基于 slither-analyzer v0.11.5。
主要能力：运行内置漏洞检测器（按 impact/confidence 分级，支持自定义检测器插件）；通过打印器输出调用图、控制流图（CFG）、继承关系、SlithIR、函数摘要等结构信息；提供 Python API，可加载并遍历 Slither、CompilationUnit、Contract、Function、Node 等对象；提供 SlithIR 与 SSA 中间表示，支持数据依赖等自定义分析；附带工具链，包括 slither-flat、slither-check-erc、slither-check-upgradeability、slither-mutate、slither-doc、slither-read-storage 等。
使用方式：通过 CLI 指定分析目标、选择检测器或打印器、设置路径过滤（path filter）、分类处理（triage）与配置文件；可通过内联或块级抑制（suppress）控制告警；支持 JSON、SARIF、checklist 等输出格式。Python API 与 SlithIR 侧可加载编译单元、遍历合约与函数、按需在 irs 与 irs_ssa 之间选择。
适用场景：智能合约安全审计、代码理解与结构化梳理、CI 集成、脚本化分析与自定义规则开发。
限制：仅面向 Solidity 与 Vyper；具体安装命令、配置项细节及各类参数取值需参阅对应文档，本资料暂未提供。