SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with dynamic workflow orchestration to detect vulnerabilities through adaptive planning, iterative refinement, and integration with static analyzers.
☆20Dec 19, 2025Updated 10 months ago
Alternatives and similar repositories for SmartAuditFlow
Users that are interested in SmartAuditFlow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆78Aug 17, 2025Updated last year
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆32Feb 17, 2026Updated 8 months ago
- An AI-powered security assistant for Solidity smart contracts, using RAG to identify vulnerabilities based on ConsenSys's best practices.☆10Aug 30, 2025Updated last year
- [ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction☆43Oct 11, 2026Updated 2 weeks ago
- ☆16Jun 21, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆16Oct 10, 2025Updated last year
- smart contract platform☆56Oct 14, 2025Updated last year
- ☆47Nov 14, 2024Updated last year
- A collection of papers and detection tools related to Smart Contract Auditing.☆25Sep 15, 2024Updated 2 years ago
- ☆12Nov 10, 2023Updated 2 years ago
- This is the implementation for the Detection and Protection methods described in the paper: "Graph-Based Covert Transaction Detection and…☆31Oct 23, 2024Updated 2 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆83Mar 25, 2025Updated last year
- Quickly learn and understand the EIP-7702☆20Updated this week
- ☆19Mar 18, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tool for vulnerability detection of Hyperledger Fabric smart contracts (chaincodes).☆10Jul 19, 2021Updated 5 years ago
- Web Assembly low level implementation of pairing friendly curves.☆16Oct 4, 2026Updated 3 weeks ago
- AI Smart Contract Security Analysis and PoC Generation Framework☆71Apr 27, 2026Updated 6 months ago
- MCP server for Slither static analysis of Solidity smart contracts☆98May 19, 2026Updated 5 months ago
- 🚀 海南大学编译原理 pl0 语言编译器扩充☆11Dec 19, 2020Updated 5 years ago
- ☆50Jan 14, 2025Updated last year
- ☆16Oct 23, 2024Updated 2 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆25Apr 10, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Happy birthday!☆11Jan 15, 2026Updated 9 months ago
- ☆24Jul 19, 2025Updated last year
- compress library implements a lightweight, deflate-like compression algorithm designed to have a simple, zk-friendly decompression algori…☆14Sep 1, 2026Updated last month
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 4 years ago
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 5 years ago
- ☆71Jul 11, 2024Updated 2 years ago
- A prototype WebAssembly linker that uses the module linking proposal.☆20Jun 30, 2021Updated 5 years ago
- Token contract for IDO Launchpad.☆10Jul 10, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 使用ARkit&TrueDepth camera 实现变脸☆12May 25, 2019Updated 7 years ago
- Utilities for the Analysis of Ethereum Smart Contracts☆14Jul 29, 2026Updated 3 months ago
- ☆18Jun 3, 2022Updated 4 years ago
- Audit reports by auditors under Cairo Security Clan☆18Feb 21, 2026Updated 8 months ago
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 3 years ago
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Nov 4, 2018Updated 7 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆165Jun 16, 2024Updated 2 years ago