# Slither Audit

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

- Skill: `modbender/slither-audit` (Agent Skill, multi-file: 3 files)
- Install (CLI): `npx skillmds@latest add modbender/slither-audit`
- Raw SKILL.md: https://api.skillmd.com/api/skills/modbender/slither-audit/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Security
- Author: modbender (https://skillmd.com/u/modbender)
- Updated: 2026-09-09
- Page: https://skillmd.com/skills/modbender/slither-audit

---


# 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