This repository is dedicated to the smart contract auditing using our FTSmartAudit tool
☆32Feb 17, 2026Updated 8 months ago
Alternatives and similar repositories for FTSmartAudit
Users that are interested in FTSmartAudit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆20Dec 19, 2025Updated 10 months ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆25Sep 15, 2024Updated 2 years ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆78Aug 17, 2025Updated last year
- smart contract platform☆56Oct 14, 2025Updated last year
- LLM for solidity smart contract automated program repair☆17Mar 5, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10Jun 17, 2025Updated last year
- ☆71Jul 11, 2024Updated 2 years ago
- A comprehensive collection of clustered smart contract vulnerabilities discovered through security audits, organized by severity and freq…☆40Mar 10, 2026Updated 8 months ago
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated 2 years ago
- ☆21Jan 16, 2025Updated last year
- ☆22Nov 8, 2024Updated 2 years ago
- ☆47Nov 14, 2024Updated last year
- Material of my talk/workshop "Smart contracts and Hacking 101"☆11Apr 9, 2026Updated 7 months ago
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆108Dec 11, 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.
- ☆19Mar 19, 2024Updated 2 years ago
- Audit reports by auditors under Cairo Security Clan☆18Feb 21, 2026Updated 8 months ago
- ☆14Aug 23, 2026Updated 2 months ago
- A tool for vulnerability detection of Hyperledger Fabric smart contracts (chaincodes).☆10Jul 19, 2021Updated 5 years ago
- Multi-layer Intelligent Evaluation for Smart Contracts — 50 security tools across 35 analysis modules, 9 defense layers, one command. Pre…☆14Updated this week
- Workshop about the different types of reentrancy attacks☆135Mar 25, 2025Updated last year
- Point your coding agent at this repo and describe a game. It generates its own 3D assets, verifies them, and loops with a harsh critic un…☆16Sep 7, 2026Updated 2 months ago
- ☆50Jan 14, 2025Updated last year
- ☆24Jan 6, 2025Updated 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.
- An AI-powered security assistant for Solidity smart contracts, using RAG to identify vulnerabilities based on ConsenSys's best practices.☆10Aug 30, 2025Updated last year
- MCP server for searching and retrieving Solodit vulnerability reports.☆42Jun 30, 2025Updated last year
- DApp that let's you buy me a coffee with crypto ☕️☆13Oct 24, 2022Updated 4 years ago
- AI based fuzzer based on imitation learning☆155Jun 17, 2024Updated 2 years ago
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Dec 10, 2024Updated last year
- ☆12Apr 4, 2025Updated last year
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆105Jul 2, 2024Updated 2 years ago
- A Ledger application that provides some useful seed management utilities☆10Aug 24, 2026Updated 2 months ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆16Mar 1, 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.
- ☆12Sep 30, 2024Updated 2 years ago
- ☆15Nov 2, 2026Updated last week
- A tool to manage (Gnosis) Safe multisig owners and thresholds in bulk.☆18Dec 1, 2024Updated last year
- Risk layer for the x402 protocol.☆29Updated this week
- ☆10Oct 10, 2025Updated last year
- ☆10Jul 15, 2026Updated 3 months ago
- LLM Security Guard for Code☆22Sep 8, 2024Updated 2 years ago
Are these results useful?