Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF + EVMBench benchmark (120/120)
☆81Mar 28, 2026Updated this week
Alternatives and similar repositories for SolidityGuard
Users that are interested in SolidityGuard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Material of my talk/workshop "Smart contracts and Hacking 101"☆10Mar 31, 2025Updated 11 months ago
- The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code☆192Mar 16, 2026Updated 2 weeks ago
- Load Balancer for fault-tolerant Ethereum and Bitcoin infrastructure (+ forks)☆10Sep 12, 2018Updated 7 years ago
- A Ghidra EVM Extension☆35May 7, 2025Updated 10 months ago
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆35Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆45Feb 27, 2026Updated last month
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆199Jan 5, 2026Updated 2 months ago
- A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.☆40Mar 5, 2024Updated 2 years ago
- My publicly available audit and bug reports☆18Mar 6, 2026Updated 3 weeks ago
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆63Feb 4, 2025Updated last year
- MoveBit Sampled Audit Reports☆53Oct 17, 2024Updated last year
- Blazingly fast EVM implementation written in Golang☆50Feb 20, 2026Updated last month
- A highly flexible AI Agent-driven EVM smart contract vulnerability detection framework☆68Feb 14, 2026Updated last month
- ☆33Feb 19, 2026Updated last month
- 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.
- tpiliposian audit portfolio☆14Nov 13, 2025Updated 4 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆91Dec 2, 2025Updated 3 months ago
- MCP server for searching and retrieving Solodit vulnerability reports.☆40Jun 30, 2025Updated 9 months ago
- ☆68Feb 4, 2026Updated last month
- A collection of CosmWasm utilities and helper functions that I use☆21Aug 14, 2024Updated last year
- Here is a summary and navigation hub to all the audits I've conducted and I'm allowed to show.☆12Jan 29, 2026Updated 2 months ago
- Novel and informative web3 security talks☆20Jan 21, 2023Updated 3 years ago
- Elliptic curve operations written in rust.☆13Jul 16, 2024Updated last year
- Multichain indexer for The Compact built using ponder.sh☆48Jan 13, 2026Updated 2 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.
- An automated market maker running on top of CoW Protocol☆17Mar 16, 2026Updated last week
- Node.js tar binding https://docs.rs/tar/latest/tar/☆15Mar 20, 2026Updated last week
- ☆11Mar 13, 2026Updated 2 weeks ago
- A single-node implementation of a Shadow RPC on top of Reth, utilizing ExEx and custom RPC methods.☆108Dec 16, 2024Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆76Apr 16, 2024Updated last year
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆100Jul 2, 2024Updated last year
- Smart Contract Audits conducted by JMariadlcs - devScrooge☆19Nov 6, 2025Updated 4 months ago
- ☆12Sep 19, 2023Updated 2 years ago
- The Mastercard Developers Agent Toolkit allows popular agent frameworks to integrate with Mastercard Developers Platform for service disc…☆44Feb 14, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A monorepo of InterRep JavaScript libraries.☆11Mar 3, 2023Updated 3 years ago
- A decentralized Kanban board with ERC-20 rewards.☆10Dec 6, 2021Updated 4 years ago
- ☆18Jun 7, 2024Updated last year
- SDK for verifiable randomness function (VRF / RNG) on Aptos☆10Feb 6, 2025Updated last year
- Modular aggregated order book for CeFi exchanges☆13May 25, 2023Updated 2 years ago
- WIP - Exposing light client as a library☆11Dec 20, 2023Updated 2 years ago
- A configuration framework that enhances Claude Code with specialized commands, cognitive personas, and development methodologies.☆17Mar 23, 2026Updated last week