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.
☆14Dec 19, 2025Updated 3 months ago
Alternatives and similar repositories for SmartAuditFlow
Users that are interested in SmartAuditFlow are comparing it to the libraries listed below
Sorting:
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆30Feb 17, 2026Updated last month
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- ☆20Jan 29, 2026Updated last month
- 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
- ☆43Nov 14, 2024Updated last year
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆14Aug 8, 2023Updated 2 years ago
- smart contract platform☆56Oct 14, 2025Updated 5 months ago
- Web Assembly low level implementation of pairing friendly curves.☆15Mar 13, 2026Updated last week
- Fork from Hyperledger/caliper☆10Dec 3, 2018Updated 7 years ago
- ☆12Nov 10, 2023Updated 2 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- 🚀 海南大学编译原理 pl0 语言编译器扩充☆10Dec 19, 2020Updated 5 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- 使用ARkit&TrueDepth camera 实现变脸☆11May 25, 2019Updated 6 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆13Aug 8, 2023Updated 2 years ago
- ☆15Mar 30, 2025Updated 11 months ago
- BNB Chain Zero2Hero Bootcamp by Encode Club☆10Apr 25, 2023Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- Token contract for IDO Launchpad.☆10Aug 5, 2021Updated 4 years ago
- ☆11Jan 9, 2026Updated 2 months ago
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 2 years ago
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 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
- A prototype WebAssembly linker that uses the module linking proposal.☆20Jun 30, 2021Updated 4 years ago
- 基于selenium的SJTU体育场馆预约脚本☆14Oct 13, 2024Updated last year
- small operating system☆11Apr 30, 2021Updated 4 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- ☆16Oct 23, 2024Updated last year
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆14Aug 18, 2021Updated 4 years ago
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Nov 4, 2018Updated 7 years ago
- ☆28Mar 27, 2025Updated 11 months ago
- 上海交通大学研究生抢课脚本☆16Sep 21, 2022Updated 3 years ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆59Aug 17, 2025Updated 7 months ago
- ☆20Jul 10, 2025Updated 8 months ago
- ☆26Apr 8, 2025Updated 11 months ago
- ☆12May 22, 2023Updated 2 years ago
- A curated list of awesome ton security resources☆41Sep 23, 2025Updated 5 months ago
- Vanity address generator for Ethereum☆18Mar 15, 2024Updated 2 years ago