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 9 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.☆77Aug 17, 2025Updated last year
- [ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction☆42Sep 12, 2026Updated last week
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆33Feb 17, 2026Updated 7 months ago
- ☆17Jun 21, 2024Updated 2 years ago
- smart contract platform☆56Oct 14, 2025Updated 11 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A collection of papers and detection tools related to Smart Contract Auditing.☆25Sep 15, 2024Updated 2 years ago
- ☆43Nov 14, 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
- ☆12Nov 10, 2023Updated 2 years ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆16Aug 8, 2023Updated 3 years ago
- AI Smart Contract Security Analysis and PoC Generation Framework☆66Apr 27, 2026Updated 4 months ago
- ☆20Mar 18, 2026Updated 6 months ago
- Web Assembly low level implementation of pairing friendly curves.☆16Sep 3, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🚀 海南大学编译原理 pl0 语言编译器扩充☆11Dec 19, 2020Updated 5 years ago
- MCP server for Slither static analysis of Solidity smart contracts☆96May 19, 2026Updated 4 months ago
- Fork from Hyperledger/caliper☆10Dec 3, 2018Updated 7 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- ☆24Jul 19, 2025Updated last year
- 使用ARkit&TrueDepth camera 实现变脸☆12May 25, 2019Updated 7 years ago
- ☆70Jul 11, 2024Updated 2 years ago
- Token contract for IDO Launchpad.☆10Jul 10, 2026Updated 2 months ago
- Utilities for the Analysis of Ethereum Smart Contracts☆14Jul 29, 2026Updated last month
- 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.
- ☆11Jan 9, 2026Updated 8 months 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
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆15Aug 8, 2023Updated 3 years ago
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 3 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
- ☆19Mar 30, 2025Updated last year
- A prototype WebAssembly linker that uses the module linking proposal.☆20Jun 30, 2021Updated 5 years ago
- 基于selenium的SJTU体育场馆预约脚本☆17Oct 13, 2024Updated last year
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years 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.
- A library for decentralized private computation☆19Jul 21, 2021Updated 5 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆162Jun 16, 2024Updated 2 years ago
- Audit reports by auditors under Cairo Security Clan☆18Feb 21, 2026Updated 6 months ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆84Mar 25, 2025Updated last year
- ☆18Jun 3, 2022Updated 4 years ago
- ☆28Mar 27, 2025Updated last year
- A framework for evaluating AI audit agents using recent real-world data☆116Oct 4, 2025Updated 11 months ago