VeriSol Smart Contract Audit
Version updated for https://github.com/tejaschandr/verisol to version v0.1.0.
- This action is used across all versions by ? repositories.
Go to the GitHub Marketplace to find the latest changes.
Action Summary
VeriSol is a GitHub Action designed for automated security verification of smart contracts, leveraging AI-powered tools for comprehensive analysis. It integrates seamlessly into CI/CD workflows to detect vulnerabilities with high accuracy and provides multiple audit modes to balance speed, cost, and depth of analysis. Key capabilities include cross-tool confidence scoring to reduce false positives and support for static analysis, formal verification, and semantic analysis.
Release notes
Release Description:
AI-powered smart contract security verification.
Features
- 4 audit modes (default, quick, offline, full)
- Slither + SMTChecker + LLM analysis
- GitHub Action for CI/CD
- 100% detection rate on test suite
Install
pip install verisol
Quick Start
verisol audit contract.sol –quick