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

• tejaschandr
• GitHub Actions