Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to enhance vulnerability detection accuracy and optimize security lifecycle management.
☆124Aug 18, 2026Updated 2 months ago
Alternatives and similar repositories for Bastet
Users that are interested in Bastet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆92Jul 23, 2025Updated last year
- A framework for evaluating AI audit agents using recent real-world data☆119Oct 4, 2025Updated last year
- Asynchronous TON Center client SDK (V2, V3) with subscription services, transaction flows, parallel processing, and debug tools.☆20Mar 1, 2024Updated 2 years ago
- ☆39Apr 14, 2025Updated last year
- AI engine for smart contract audit☆360Jan 6, 2026Updated 10 months 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.
- GoPlus Launches AI Auditing Benchmark: Redefining the Boundaries of AI Smart Contract Auditing with Real-World Attack Samples!☆12Updated this week
- Primers for Specialist AI Smart Contract Auditors☆270Dec 16, 2025Updated 10 months ago
- A Ghidra EVM Extension☆42May 7, 2025Updated last year
- AI-powered sui-move audit solution☆15May 20, 2026Updated 5 months ago
- Web3 CTF Intensive CoLearning☆175Oct 30, 2026Updated last week
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆78Aug 17, 2025Updated last year
- ☆25Apr 28, 2025Updated last year
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆128Sep 16, 2025Updated last year
- Quickly learn and understand the EIP-7702☆20Updated this week
- 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.
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆194Feb 1, 2025Updated last year
- AuditAgent scoring algorithm to evaluate the results of AI security scans versus a source of truth.☆18Oct 30, 2026Updated last week
- Web3 Security White Hat Training Program☆10Jul 5, 2025Updated last year
- Blockchain bridge smart contract vulnerabilities with multiple POCs.☆35Jan 9, 2026Updated 9 months ago
- ☆71Jul 11, 2024Updated 2 years ago
- ☆12Jun 7, 2024Updated 2 years ago
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- Reproduce DeFi hacked incidents using Foundry.☆6,837Oct 30, 2026Updated last week
- ☆13Aug 23, 2026Updated 2 months 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.
- Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.☆823Sep 17, 2026Updated last month
- ☆11Nov 18, 2022Updated 3 years ago
- Validation code for the EOF specification☆59Apr 28, 2025Updated last year
- An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer☆57Sep 21, 2026Updated last month
- A curated list of awesome smart contract analysis tools☆127Mar 30, 2024Updated 2 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆166Jun 16, 2024Updated 2 years ago
- ☆36Apr 27, 2026Updated 6 months ago
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆107Dec 11, 2024Updated last year
- CTF challenges made by MiloTruck☆98Jul 3, 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.
- MCP server for searching and retrieving Solodit vulnerability reports.☆42Jun 30, 2025Updated last year
- AI prompts for web3 security researchers — bug bounties, private audits, and contests☆23Mar 9, 2026Updated 7 months ago
- Trustless Agents (ERC-8004)☆22Updated this week
- A set of exercises to practice Yul☆121Aug 31, 2025Updated last year
- Struct-aware fuzzing framework + some fuzzers☆33Apr 13, 2026Updated 6 months ago
- Metatrust fork of Slither Analyzer☆88May 31, 2024Updated 2 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆25Oct 15, 2025Updated last year