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☆43Sep 30, 2026Updated last week
- ☆16Jun 21, 2024Updated 2 years ago
- smart contract platform☆56Oct 14, 2025Updated 11 months ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆25Sep 15, 2024Updated 2 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.
- ☆44Nov 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
- 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☆16Aug 8, 2023Updated 3 years ago
- ☆20Mar 18, 2026Updated 6 months ago
- Web Assembly low level implementation of pairing friendly curves.☆16Updated this week
- ☆24Jul 19, 2025Updated last year
- 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.
- 使用ARkit&TrueDepth camera 实现变脸☆12May 25, 2019Updated 7 years ago
- Token contract for IDO Launchpad.☆10Jul 10, 2026Updated 2 months ago
- Utilities for the Analysis of Ethereum Smart Contracts☆14Jul 29, 2026Updated 2 months ago
- ☆11Jan 9, 2026Updated 9 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
- 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆16Oct 23, 2024Updated last year
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago
- 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…☆164Jun 16, 2024Updated 2 years ago
- Audit reports by auditors under Cairo Security Clan☆18Feb 21, 2026Updated 7 months ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆83Mar 25, 2025Updated last year
- ☆18Jun 3, 2022Updated 4 years ago
- ☆28Mar 27, 2025Updated last year
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Nov 4, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A framework for evaluating AI audit agents using recent real-world data☆117Oct 4, 2025Updated last year
- Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.☆30Jan 27, 2026Updated 8 months ago
- ☆20Jul 10, 2025Updated last year
- A curated list of awesome ton security resources☆43Jul 11, 2026Updated 2 months ago
- ☆13May 22, 2023Updated 3 years ago
- Vanity address generator for Ethereum☆18Mar 15, 2024Updated 2 years ago
- ☆157Updated this week