Ethereum protocol engineering squad for AI coding assistants
☆132Oct 23, 2026Updated 2 weeks ago
Alternatives and similar repositories for evm-cortex
Users that are interested in evm-cortex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆76Aug 7, 2026Updated 3 months ago
- A self-contained, offline-runnable archive of DeFi exploit proof-of-concepts spanning the full history of EVM hacks (2017 → 2026)☆64Updated this week
- Smart contracts for Continuous Clearing Auctions (CCAs)☆46Oct 23, 2026Updated 2 weeks ago
- ☆144Jun 18, 2026Updated 4 months ago
- Pashov Audit Group Skills☆1,302Oct 21, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆629Oct 29, 2026Updated last week
- A lightweight, automated multi-model process for rapid agent-skill improvement with adversarial cross-model review.☆19Oct 22, 2026Updated 2 weeks ago
- A fully static, backend-free, in-browser EVM exploit debugger.☆36Jul 22, 2026Updated 3 months ago
- Obsidian brain for smart contract auditing☆112Jul 8, 2026Updated 3 months ago
- ☆171Updated this week
- Per-entry-point, navigable call-graph visualizations of Solidity repositories — for Web3 security auditors.☆88Jul 17, 2026Updated 3 months ago
- A set of exercises to practice Yul☆121Aug 31, 2025Updated last year
- Generates vanity wallet and contract addresses for Ethereum☆14Mar 10, 2024Updated 2 years ago
- The missing knowledge between AI agents and production Ethereum.☆305Oct 26, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code☆249Mar 16, 2026Updated 7 months ago
- End-to-end agentic smart contract fuzzing and threat hunting☆139Updated this week
- AI Agent Skills, Goals and Dynamic Workflows for Security Auditing, Pentesting and Research☆153Updated this week
- A Book on How to do Formal Verification with Certora☆14Feb 18, 2026Updated 8 months ago
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 4 months ago
- AI for Web3 Security: Zero to Hero — a hands-on course building an AI bug-hunting harness, module by module.☆51Oct 7, 2026Updated last month
- A curated list of awesome EIP-7702 delegation destinations.☆73Dec 1, 2025Updated 11 months ago
- Solidity smart contract auditor leveraging static analysis, Solodit findings and Map, Hunt, Attack strategy☆127Mar 13, 2026Updated 7 months ago
- Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types☆183Feb 20, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My GitHub lair where the web3 security magic happens!☆15Oct 30, 2026Updated last week
- MCP server for searching Solodit smart contract security findings☆158Apr 23, 2026Updated 6 months ago
- Yul ERC20☆19Nov 5, 2022Updated 4 years ago
- Evidence-gated local workflow clock: loops repeat work, the clock advances trust.☆16Aug 19, 2026Updated 2 months ago
- ☆81May 12, 2025Updated last year
- A smart contract library that emphasizes readability and onchain composability using EIP-2535 / EIP-8153 Diamonds.☆110Oct 25, 2026Updated 2 weeks ago
- A minimal repo to verify a zksync proposal☆12Dec 3, 2025Updated 11 months ago
- The repository contains a runnable PoC for the Velas infinite mint vulnerability☆14Nov 23, 2022Updated 3 years ago
- Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle at…☆134Mar 30, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Compact is an ownerless ERC6909 contract that facilitates the formation and mediation of reusable resource locks.☆190Oct 23, 2026Updated 2 weeks ago
- ☆16Oct 11, 2024Updated 2 years ago
- ☆25Oct 28, 2026Updated last week
- AI tools for building on Uniswap — skills, plugins, and agents for any coding agent.☆236Updated this week
- MetaDEX contracts☆22Updated this week
- Collab with OpenAI. A benchmark and harness for finding and exploiting smart contract bugs☆467Oct 22, 2026Updated 2 weeks ago
- Smart contract fuzzer for Foundry projects — Echidna-inspired, written in Rust☆20Jul 28, 2026Updated 3 months ago