Skip to content
This repository was archived by the owner on Jun 15, 2026. It is now read-only.

SolidityGuard v1.3.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Feb 10:45
v1.3.1
110cbaa

SolidityGuard v1.3.1

Smart contract security audit tool with 104 vulnerability patterns, 8 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 (pip install solidityguard) for terminal-based auditing
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

pip install solidityguard
solidityguard audit ./contracts

Or download the .tar.gz / .whl from this release.

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
  • 8-tool integration — Slither, Aderyn, Mythril, Foundry, Echidna, Medusa, Halmos, Certora
  • 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 Exploit 24/24 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:

  1. Download the installer for your platform
  2. Install and launch SolidityGuard
  3. Sign in with Google
  4. Upload .sol / .vy files or select a local contracts directory
  5. Configure scan mode and tools, then start the audit

CLI:

pip install solidityguard
solidityguard audit ./contracts --mode full
solidityguard report --input findings.json --output report.md

OpenClaw:
Just ask your AI agent: "Audit my contracts for security vulnerabilities"

Built with Tauri v2 + React + TypeScript + FastAPI + Python

Assets 11
Loading