SlitherSlitherAI

Smart contract static analysis

Try Solidity vulnerability analysis with the SlitherAI GUI app

SlitherAI wraps Trail of Bits’ Crytic Slither in a desktop app. Run the same detectors, printers, and CI-friendly workflows—without living in the terminal.

Download SlitherAI GUI (Windows)Slither documentation
slither-ai · local scan
$ slither .

HIGH Reentrancy in Vault.withdraw()
   └─ Vault.sol:142

MEDIUM Uninitialized state variable
   └─ Token.sol:28

INFO 47 detectors · 0.8s
✓ Report saved locally

Supported stack

Solidity ≥ 0.4VyperHardhatFoundryBrownieSlithIRGitHub Actions

Slither, the smart contract static analyzer

Slither is a Solidity and Vyper static analysis framework. It runs vulnerability detectors, surfaces contract structure, and exposes a Python API for custom analyses—trusted in production audits and open-source repos worldwide.

Low false positives

Battle-tested detectors backed by real-world findings. Focus on issues that matter instead of noisy lint.

Precise locations

Every finding points to the exact source line so you can jump from report to IDE in one step.

CI & framework ready

Run slither . on Hardhat, Foundry, or Brownie projects. Integrate with GitHub code scanning and your build pipeline.

Built-in printers

Quickly summarize inheritance, function visibility, authorization, and more—ideal for reviews and onboarding.

SlithIR precision

Intermediate representation enables deep, high-precision analyses and custom detector plugins in Python.

Fast feedback

Typical runs complete in under one second per contract—fast enough for every commit and local iteration.

Usage

From the CLI, Slither analyzes your whole project when dependencies are compiled through your framework: slither .

SlitherAI GUI runs the same engine: pick your project root or a single .sol file and review results in the app.

  1. 01

    Open your project

    Point the GUI at a Foundry/Hardhat repo or an individual contract file.

  2. 02

    Run detectors

    Slither compiles via crytic-compile and executes the full detector suite locally on your machine.

  3. 03

    Review findings

    Filter by severity, detector, and file—then export or share reports with your team.

Detectors & printers in one pass

Slither ships dozens of vulnerability checks plus printers for contract overview. The GUI presents the same output in a readable layout.

  • ▸Reentrancy
  • ▸Uninitialized state variables
  • ▸Dangerous tx.origin
  • ▸Delegatecall risks
  • ▸Unchecked transfers
  • ▸Weak randomness
  • ▸Compiler / pragma issues
  • ▸Vyper contract support

Example output (JSON summary)

{
  "tool": "slither",
  "findings": [
    {
      "impact": "High",
      "check": "reentrancy-eth",
      "filename": "Vault.sol",
      "line": 142
    }
  ],
  "compile_framework": "foundry"
}

SlitherAI GUI for Windows

v0.1 · powered by slither-analyzer · 64-bit Windows

Download EXE (placeholder link)

Frequently asked questions

  • No. It uses the same Crytic Slither engine. The GUI helps you pick projects, run analyses, and browse results.