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.
☆19Dec 19, 2025Updated 7 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.☆73Aug 17, 2025Updated 11 months ago
- [ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction☆37Apr 22, 2026Updated 2 months ago
- ☆16Jun 21, 2024Updated 2 years ago
- ☆43Nov 14, 2024Updated last year
- smart contract platform☆56Oct 14, 2025Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of papers and detection tools related to Smart Contract Auditing.☆24Sep 15, 2024Updated last year
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- This is the implementation for the Detection and Protection methods described in the paper: "Graph-Based Covert Transaction Detection and…☆31Oct 23, 2024Updated last year
- Quickly learn and understand the EIP-7702☆20Updated this week
- ☆12Nov 10, 2023Updated 2 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆15Aug 8, 2023Updated 2 years ago
- AI Smart Contract Security Analysis and PoC Generation Framework☆63Apr 27, 2026Updated 2 months ago
- ☆24Jul 19, 2025Updated last year
- ☆20Mar 18, 2026Updated 4 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.
- Web Assembly low level implementation of pairing friendly curves.☆16Jul 13, 2026Updated last week
- Audit reports by auditors under Cairo Security Clan☆18Feb 21, 2026Updated 5 months ago
- MCP server for Slither static analysis of Solidity smart contracts☆96May 19, 2026Updated 2 months ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- 使用ARkit&TrueDepth camera 实现变脸☆12May 25, 2019Updated 7 years ago
- powdr application running Ethereum tests via revm☆18Jun 24, 2024Updated 2 years ago
- data and code for paper "CCGIR: Information Retrieval-based Code Comment Generation Method for Smart Contracts", which accepted in KBS. 智…☆17Apr 24, 2022Updated 4 years ago
- Token contract for IDO Launchpad.☆10Jul 10, 2026Updated last week
- ☆11Jan 9, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆15Aug 8, 2023Updated 2 years ago
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 3 years ago
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- ☆18Mar 30, 2025Updated last year
- A prototype WebAssembly linker that uses the module linking proposal.☆20Jun 30, 2021Updated 5 years ago
- ☆16Oct 23, 2024Updated last year
- small operating system☆11Apr 30, 2021Updated 5 years ago
- ☆18Jun 3, 2022Updated 4 years 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.
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Nov 4, 2018Updated 7 years ago
- A framework for evaluating AI audit agents using recent real-world data☆114Oct 4, 2025Updated 9 months ago
- ☆26Apr 8, 2025Updated last year
- Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.☆26Jan 27, 2026Updated 5 months ago
- ☆20Jul 10, 2025Updated last year
- A curated list of awesome ton security resources☆44Jul 11, 2026Updated last week
- ☆12May 22, 2023Updated 3 years ago