safety-research / SCONE-benchLinks
☆108Updated 2 weeks ago
Alternatives and similar repositories for SCONE-bench
Users that are interested in SCONE-bench are comparing it to the libraries listed below
Sorting:
- Generate invariants for Foundry projects with LLM☆102Updated last year
- EDB: The Ethereum Project Debugger☆338Updated last week
- Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to…☆90Updated last week
- Fine-tuning GPT for Smart Contract Auditing☆166Updated 2 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆127Updated last year
- An experimental MCP Server for foundry built for Solidity devs☆219Updated 4 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆82Updated last week
- A framework for evaluating AI audit agents using recent real-world data☆80Updated 2 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆229Updated last year
- A modular tool to track anything on the EVM chain, including real-time tracking and alerts.☆171Updated 6 months ago
- A curated list of blockchain security Capture the Flag (CTF) competitions☆91Updated 2 years ago
- Watch MEV bots PnL☆121Updated last year
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆81Updated 4 months ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆107Updated 2 years ago
- ☆121Updated 2 weeks ago
- Large Language Model for Blockchain☆59Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆140Updated 2 months ago
- Static analyzer tool for Solana☆72Updated 2 weeks ago
- Solidity ANTLR4 grammar Python parser☆13Updated 8 months ago
- A static analysis tool for rust smart contracts.☆115Updated 3 weeks ago
- FOUR.MEME Sandwich Bot☆237Updated last year
- Collection of public security reviews☆213Updated last week
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆67Updated 6 months ago
- 🧠 A scriptable semantic grep utility for solidity☆144Updated last year
- Autoleverage AMM and leveraged liquidity token☆78Updated last week
- Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…☆339Updated 2 weeks ago
- ☆77Updated 3 months ago
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆127Updated 2 months ago
- This repository contains the Virtual governance ecosystem for Virtual DAO and Virtual-specific DAO Governance part. It also covers how Co…☆91Updated last week
- Collection of Forta Bots for on-chain anomaly/threat detection☆120Updated last week