OpenClaw

slither-audit

Run slither static analysis on Solidity contracts. Fast, lightweight security scanner for EVM smart contracts.

aviclaw0 来源安装数☆ 0 仓库 Stars

查看来源 ↗安装与使用 SKILL.md ↗

安装与使用

请根据来源仓库和你的 AI 工具说明安装此技能。先阅读技能文件和依赖要求，再添加到工作流。

SkillHub CLI

skillhub install aviclaw/slither-audit

打开来源仓库，查看说明和兼容环境后，按来源提供的命令或步骤安装。

将来源链接提供给你的 Agent，让它先读取说明、核对依赖，并向你说明将执行的安装步骤。

查看来源 ↗使用指南

技能说明

Slither Audit

Run Slither static analysis on local Solidity contracts.

What It Does

Runs Slither static analysis on local .sol files
Parses output for vulnerabilities
Generates Markdown report with findings and severity

What It Does NOT Do

❌ Fetch contracts from block explorers (use local files)
❌ AI-powered analysis (see evmbench for that)
❌ Require API keys

Quick Start

# Install dependencies
pip install slither-analyzer

# Run audit
python3 slither-audit.py /path/to/contracts/

Usage

python3 slither-audit.py ./contracts/
python3 slither-audit.py contract.sol

Output Example

# Audit Report: Vulnerable.sol
**Chain:** local

## Vulnerabilities Found
- reentrancy-eth (High)
  Reentrancy in Bank.withdraw()...

Found 3 issues

What Slither Detects

Reentrancy
Access control
Integer overflow
Unchecked external calls
100+ detectors

See: https://github.com/crytic/slither

Limitations

Local files only
No AI analysis (see evmbench)
Requires valid Solidity code

来源信息

Source: github
Repository: openclaw/skills
Path: skills/aviclaw/slither-audit
Version: —
Commit: dcf059feff1288515943c1edf2f318a1910b8d5b
分类来源: rules
状态: active
可见性: public

这些信息来自收录时的来源分析，可能滞后；使用前请核对最新来源文件。

来源内容

SKILL.md

# Slither Audit

Run Slither static analysis on local Solidity contracts.

## What It Does

- Runs Slither static analysis on local `.sol` files
- Parses output for vulnerabilities
- Generates Markdown report with findings and severity

## What It Does NOT Do

- ❌ Fetch contracts from block explorers (use local files)
- ❌ AI-powered analysis (see evmbench for that)
- ❌ Require API keys

## Quick Start

```bash
# Install dependencies
pip install slither-analyzer

# Run audit
python3 slither-audit.py /path/to/contracts/
```

## Usage

```bash
python3 slither-audit.py ./contracts/
python3 slither-audit.py contract.sol
```

## Output Example

```
# Audit Report: Vulnerable.sol
**Chain:** local

## Vulnerabilities Found
- reentrancy-eth (High)
  Reentrancy in Bank.withdraw()...

Found 3 issues
```

## What Slither Detects

- Reentrancy
- Access control
- Integer overflow
- Unchecked external calls
- 100+ detectors

See: https://github.com/crytic/slither

## Limitations

- Local files only
- No AI analysis (see evmbench)
- Requires valid Solidity code

搜索