AI Agent Skills

Static program analysis framework for Ethereum smart contract bytecode.

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EV…

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts