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