OpenSkillIndex← back to search
claude-code

Skills slither-audit

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

install
source · Clone the upstream repo
git clone https://github.com/openclaw/skills
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/openclaw/skills "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/aviclaw/slither-audit" ~/.claude/skills/clawdbot-skills-slither-audit && rm -rf "$T"
manifest: skills/aviclaw/slither-audit/SKILL.md
source content

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