This repository is dedicated to the smart contract auditing using our FTSmartAudit tool
☆33Feb 17, 2026Updated 6 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:
- A collection of papers and detection tools related to Smart Contract Auditing.☆24Sep 15, 2024Updated last year
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆20Dec 19, 2025Updated 7 months ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆77Aug 17, 2025Updated last year
- LLM for solidity smart contract automated program repair☆18Mar 5, 2025Updated last year
- smart contract platform☆56Oct 14, 2025Updated 10 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆69Jul 11, 2024Updated 2 years ago
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- A comprehensive collection of clustered smart contract vulnerabilities discovered through security audits, organized by severity and freq…☆41Mar 10, 2026Updated 5 months ago
- ☆21Jan 16, 2025Updated last year
- ☆19Mar 19, 2024Updated 2 years ago
- ☆43Nov 14, 2024Updated last year
- Workshop about the different types of reentrancy attacks☆135Mar 25, 2025Updated last year
- ☆23Jan 6, 2025Updated last year
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆16Mar 1, 2022Updated 4 years 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.
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆98Jul 2, 2024Updated 2 years ago
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆107Dec 11, 2024Updated last year
- Fork from Hyperledger/caliper☆10Dec 3, 2018Updated 7 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
- DApp that let's you buy me a coffee with crypto ☕️☆13Oct 24, 2022Updated 3 years ago
- Generate invariants for Foundry projects with LLM☆108Aug 30, 2024Updated last year
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆15Aug 8, 2023Updated 3 years ago
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 3 years ago
- A tool to manage (Gnosis) Safe multisig owners and thresholds in bulk.☆18Dec 1, 2024Updated last year
- 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.
- Risk layer for the x402 protocol.☆28Jul 18, 2026Updated 3 weeks ago
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆15Aug 8, 2023Updated 3 years ago
- ☆15Jul 22, 2026Updated 3 weeks ago
- ☆18Mar 30, 2025Updated last year
- ☆10Oct 10, 2025Updated 10 months ago
- Create a blockchain in pure python and basic cryptographic primitives.☆10Apr 12, 2021Updated 5 years ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆59Dec 8, 2022Updated 3 years ago
- Vyper language fuzzing framework☆18Nov 18, 2024Updated last year
- ☆14Sep 25, 2021Updated 4 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.
- ☆15May 8, 2026Updated 3 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆95Dec 2, 2025Updated 8 months ago
- LLM Security Guard for Code☆22Sep 8, 2024Updated last year
- Standard implementation of TRC404☆12Jan 20, 2025Updated last year
- A framework for evaluating AI audit agents using recent real-world data☆115Oct 4, 2025Updated 10 months ago
- A Python CLI tool for viewing withdrawals from Tornado Cash ETH pools (1, 10, 100 ETH) using the Etherscan API V2.☆15May 6, 2026Updated 3 months ago
- A boilerplate for dApps on Lisk☆12Jul 3, 2025Updated last year