A framework for evaluating AI audit agents using recent real-world data
☆104Oct 4, 2025Updated 5 months ago
Alternatives and similar repositories for scabench
Users that are interested in scabench are comparing it to the libraries listed below
Sorting:
- Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to…☆101Jan 19, 2026Updated last month
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆81Jul 23, 2025Updated 7 months ago
- ☆10Oct 7, 2017Updated 8 years ago
- Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs☆98Updated this week
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆129Sep 16, 2025Updated 5 months ago
- looping☆20Jun 10, 2025Updated 8 months ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆36Nov 22, 2025Updated 3 months ago
- Blockchain bridge smart contract vulnerabilities with multiple POCs.☆34Jan 9, 2026Updated last month
- Little Yellow Chicken CTF Writeups☆17Sep 30, 2025Updated 5 months ago
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- The repository reflects the collection of unusual findings from my smart contract audits.☆15May 29, 2024Updated last year
- A curated list of awesome ton security resources☆39Sep 23, 2025Updated 5 months ago
- ☆17Feb 15, 2023Updated 3 years ago
- Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts☆19Jun 12, 2023Updated 2 years ago
- ☆39Mar 10, 2024Updated last year
- Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.☆740Oct 15, 2025Updated 4 months ago
- A puzzle for Curta CTF☆26Sep 5, 2023Updated 2 years ago
- A security checklist for novel ERC4626 safety☆25Feb 11, 2024Updated 2 years ago
- A repo to for sharing information on Substrate security☆20Feb 19, 2024Updated 2 years ago
- ☆24Feb 26, 2026Updated last week
- ☆27Feb 26, 2026Updated last week
- CTF challenges made by MiloTruck☆97Jul 3, 2025Updated 8 months ago
- 🚧 WORK IN PROGRESS 🚧☆23Oct 14, 2024Updated last year
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆30Jan 13, 2026Updated last month
- A CLI tool to debug Solana programs☆21May 9, 2025Updated 9 months ago
- A curated list of awesome security resources for ZK.☆121Nov 3, 2025Updated 4 months ago
- A static analyzer for NEAR smart contract in Rust☆109Oct 31, 2023Updated 2 years ago
- A fuzzing harness for Substrate-based blockchains.☆32Updated this week
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Feb 25, 2025Updated last year
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆198Jan 5, 2026Updated 2 months ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Mar 20, 2020Updated 5 years ago
- ☆22May 9, 2025Updated 9 months ago
- A comprehensive guide to teach you about gas optimization patterns.☆26Aug 24, 2023Updated 2 years ago
- ☆26May 7, 2025Updated 9 months ago
- Node module for scanning and visualize Solana accounts☆39Mar 3, 2025Updated last year
- curation of all(most) immunefi bug bounty writeups I could find(till now)☆1,113Jan 21, 2026Updated last month
- ☆27Aug 7, 2023Updated 2 years ago
- CTF&RealWorld challenges☆26Oct 18, 2019Updated 6 years ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆114Updated this week