---
name: "slither-solidity-static-analyzer"
description: "Detect vulnerabilities, reentrancy hazards, and gas optimizations in Solidity code."
metadata:
  author: "Trail of Bits"
  version: "1.0.0"
  runtime_compatibility:
    - "codex"
    - "claude-code"
    - "cursor"
    - "windsurf"
triggers:
  - "run slither contract audit"
  - "detect reentrancy slither"
  - "check erc20 compliance slither"
permissions:
  fs_read: true
  fs_write: "workspace"
  shell_exec: false
  net_access: false
---

# Slither Solidity Smart Contract Static Analyzer

Analyzes Solidity smart contracts using Crytic Slither: static AST analysis, control flow graph (CFG) extraction, reentrancy detectors, uninitialized state variable checks, and ERC conformance.

## When to Invoke
Invoke this skill whenever you need to:
- run slither contract audit
- detect reentrancy slither
- check erc20 compliance slither

## Execution SOP & Rules
1. Run slither . in the root of a Foundry or Hardhat smart contract project.
2. Investigate high-severity findings: reentrancy-eth, unchecked-transfer, arbitrary-send-erc20.
3. Document intentional exceptions using slither.config.json or inline // slither-disable-next-line comments.
4. Integrate Slither into GitHub Actions pull request checks to prevent vulnerable contract deployments.

## Verification Checklist
- Run local linting, syntax validation, and type-checks before reporting completion.
- Ensure all created or modified files adhere to workspace boundaries and avoid uncommitted secrets.
- Verify tests or build commands exit cleanly with return code 0.