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.