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.
☆16Dec 19, 2025Updated 5 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☆31Feb 17, 2026Updated 3 months ago
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- ☆20Mar 18, 2026Updated 2 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
- ☆42Nov 14, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 7 months ago
- Web Assembly low level implementation of pairing friendly curves.☆15Mar 20, 2026Updated 2 months ago
- 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
- 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.
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆14Aug 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 last year
- Token contract for IDO Launchpad.☆10Apr 19, 2026Updated last month
- ☆11Jan 9, 2026Updated 4 months ago
- ☆16Mar 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体育场馆预约脚本☆14Oct 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
- 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 last year
- 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.
- ☆26Apr 8, 2025Updated last year
- ☆20Jul 10, 2025Updated 10 months ago
- ☆12May 22, 2023Updated 2 years ago
- A curated list of awesome ton security resources☆42May 9, 2026Updated last week
- 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.☆68Aug 17, 2025Updated 9 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