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 8 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
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆33Feb 17, 2026Updated 6 months ago
- smart contract platform☆56Oct 14, 2025Updated 10 months ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆25Sep 15, 2024Updated last year
- ☆43Nov 14, 2024Updated 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.
- 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☆21Updated 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
- AI Smart Contract Security Analysis and PoC Generation Framework☆65Apr 27, 2026Updated 4 months ago
- Web Assembly low level implementation of pairing friendly curves.☆16Updated this week
- A curated list of awesome smart contract datasets☆69Aug 2, 2026Updated 3 weeks ago
- MCP server for Slither static analysis of Solidity smart contracts☆96May 19, 2026Updated 3 months ago
- ☆12Nov 11, 2022Updated 3 years 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.
- 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
- powdr application running Ethereum tests via revm☆18Jun 24, 2024Updated 2 years ago
- ☆69Jul 11, 2024Updated 2 years ago
- Token contract for IDO Launchpad.☆10Jul 10, 2026Updated last month
- ☆11Jan 9, 2026Updated 7 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
- 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.
- 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
- ☆18Mar 30, 2025Updated last year
- A prototype WebAssembly linker that uses the module linking proposal.☆20Jun 30, 2021Updated 5 years ago
- ☆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
- Audit reports by auditors under Cairo Security Clan☆18Feb 21, 2026Updated 6 months 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
- 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.
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆84Mar 25, 2025Updated last year
- ☆28Mar 27, 2025Updated last year
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Nov 4, 2018Updated 7 years ago
- A framework for evaluating AI audit agents using recent real-world data☆116Oct 4, 2025Updated 10 months ago
- ☆26Apr 8, 2025Updated last year
- Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.☆30Jan 27, 2026Updated 7 months ago
- ☆20Jul 10, 2025Updated last year