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.
☆18Dec 19, 2025Updated 6 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:
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆33Feb 17, 2026Updated 4 months ago
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- ☆20Mar 18, 2026Updated 3 months ago
- 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
- 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.
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆15Aug 8, 2023Updated 2 years ago
- smart contract platform☆56Oct 14, 2025Updated 8 months ago
- Web Assembly low level implementation of pairing friendly curves.☆16Jun 4, 2026Updated 3 weeks ago
- Fork from Hyperledger/caliper☆10Dec 3, 2018Updated 7 years ago
- ☆12Nov 10, 2023Updated 2 years ago
- ☆12Nov 11, 2022Updated 3 years ago
- 🚀 海南大学编译原理 pl0 语言编译器扩充☆11Dec 19, 2020Updated 5 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- 使用ARkit&TrueDepth camera 实现变脸☆12May 25, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆15Aug 8, 2023Updated 2 years ago
- BNB Chain Zero2Hero Bootcamp by Encode Club☆10Apr 25, 2023Updated 3 years ago
- powdr application running Ethereum tests via revm☆18Jun 24, 2024Updated 2 years ago
- Token contract for IDO Launchpad.☆10Apr 19, 2026Updated 2 months ago
- ☆11Jan 9, 2026Updated 5 months ago
- ☆18Mar 30, 2025Updated last year
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 3 years ago
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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体育场馆预约脚本☆16Oct 13, 2024Updated last year
- small operating system☆11Apr 30, 2021Updated 5 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- ☆16Oct 23, 2024Updated last year
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Nov 4, 2018Updated 7 years ago
- ☆28Mar 27, 2025Updated last year
- ☆26Apr 8, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆20Jul 10, 2025Updated 11 months ago
- ☆12May 22, 2023Updated 3 years ago
- A curated list of awesome ton security resources☆43Jun 2, 2026Updated 3 weeks ago
- Vanity address generator for Ethereum☆18Mar 15, 2024Updated 2 years ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆71Aug 17, 2025Updated 10 months ago
- Token LaunchPad tailored to the non-technical memecoins investors, where they have some level of protection against scams, honeypots, and…☆15Aug 31, 2021Updated 4 years ago
- 上海交通大学研究生抢课脚本☆16Sep 21, 2022Updated 3 years ago