Reth
paradigmxyz
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Web3 AnalyticsSkill source unconfirmed
5.7KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “symbolic-execution”
1–6 / 6
More filters · 1
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 6
Ityfuzz
fuzzland
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Web3 AnalyticsSkill source unconfirmed
1.1KGitHub
Ethrex
lambdaclass
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Web3 AnalyticsSkill source unconfirmed
875GitHub
Sp1
succinctlabs
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Web3 AnalyticsSkill source unconfirmed
1.7KGitHub
Nethermind
NethermindEth
A robust, high-performance execution client for Ethereum node operators.
Web3 AnalyticsSkill source unconfirmed
1.6KGitHub
Nimbus Eth1
status-im
Nimbus: an Ethereum Execution Client for Resource-Restricted Devices
Web3 AnalyticsSkill source unconfirmed
629GitHub