This repository was archived by the owner on Jun 15, 2026. It is now read-only.
SolidityGuard v1.3.2
Smart contract security audit tool with 104 vulnerability patterns, 9 analysis tools, multi-agent team architecture, and 100% detection rate on 85/85 CTF benchmark challenges (DeFiVulnLabs + Paradigm CTF + R3CTF 2025 + HTB Cyber Apocalypse 2025).
Components
| Component | Description |
|---|---|
| Desktop App | Native desktop application (Tauri v2) for Windows, macOS, and Linux |
| Web App | React frontend + FastAPI backend — deployed at solidityguard.org |
| CLI | Python CLI tool for terminal-based auditing (download .whl from release assets) |
| OpenClaw Skill | AI agent skill for OpenClaw — install via ClawHub |
Desktop Downloads
| Platform | File | Description |
|---|---|---|
| Linux | .deb |
Debian / Ubuntu package (apt install) |
| Linux | .AppImage |
Portable — no installation needed, just run |
| macOS | .dmg |
Drag-and-drop disk image installer |
| Windows | .msi |
Windows Installer (MSI) |
| Windows | .exe |
NSIS installer with auto-updater |
CLI Install
# Download .whl from release assets, then:
pip install solidityguard-*.whl
solidityguard audit ./contractsOr install from source:
git clone https://github.com/alt-research/SolidityGuard.git
cd SolidityGuard/apps/cli && pip install -e .OpenClaw Skill Install
# Via ClawHub
npx clawhub@latest install solidityguard
# Manual — download and extract to skills directory
tar xzf solidityguard-openclaw-skill.tar.gz -C ~/.openclaw/skills/What's Included
- 104 vulnerability patterns (ETH-001 to ETH-104) covering reentrancy, access control, DeFi, proxy, oracle, transient storage, EIP-7702, ERC-4337, and more
- 50+ pattern detectors with 100% benchmark detection rate
- 9-tool integration — Slither, Aderyn, Mythril, Foundry, Echidna, Medusa, Halmos, Certora, EVMBench
- 7-phase deep audit — scan, verify, parallel agents, exploit PoC, dynamic verification, fuzz, report
- Multi-agent team architecture — 9 specialized sub-agents working in parallel
- Professional reports — OpenZeppelin / Trail of Bits style (Markdown + PDF)
- Real-time progress — WebSocket streaming for live audit updates
- EVMBench integration — detect, patch, and exploit modes for benchmark evaluation
- OWASP 2025 aligned — covers all Smart Contract Top 10 categories
Benchmarks
| Benchmark | Result |
|---|---|
| DeFiVulnLabs | 56/56 contracts (100%) |
| Paradigm CTF 2021 | 10/10 static challenges (100%) |
| Paradigm CTF 2022 | 7/7 static challenges (100%) |
| Paradigm CTF 2023 | 7/7 static challenges (100%) |
| R3CTF 2025 | 2/2 challenges (100%) |
| HTB Cyber Apocalypse 2025 | 3/3 challenges (100%) |
| Combined | 85/85 (100%) |
| EVMBench | 120/120 vulns across 40 audits (100%) |
System Requirements
- Desktop: Windows 10+, macOS 12+, Ubuntu 22.04+ / Debian 12+
- CLI: Python 3.10+
- Optional tools: Slither, Aderyn, Mythril, Foundry (for full multi-tool scanning)
Quick Start
Desktop:
- Download the installer for your platform
- Install and launch SolidityGuard
- Sign in with Google
- Upload
.sol/.vyfiles or select a local contracts directory - Configure scan mode and tools, then start the audit
CLI:
# Install from release .whl or from source
pip install solidityguard-*.whl
solidityguard audit ./contracts --mode full
solidityguard report --input findings.json --output report.mdOpenClaw:
Just ask your AI agent: "Audit my contracts for security vulnerabilities"
Built with Tauri v2 + React + TypeScript + FastAPI + Python