A collection of smart contract vulnerabilities along with prevention methods

Claude Code skill implementing Manus-style persistent markdown planning — the workflow pattern behind the $2B acquisition.

Formal Verification tool for Move on Sui

Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry

Reproduce ZKP vulnerabilities

A list of public fuzzing campaigns

Ethereum system contract implementations (asm)

A pure-Rust implementation of Bulletproofs using Ristretto.

List of Halmos resources.

The behavioural indexer for Ethereum.

A symbolic execution engine for EVM smart contract binaries.

weird erc20 tokens

ChatDev 2.0: Dev All through LLM-powered Multi-Agent Collaboration

A curated list of awesome resources for funding open source projects and authors.

APALACHE: symbolic model checker for TLA+ and Quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

a (work in progress) pipeline for testing vyper contracts with halmos

A simple tool for translating Skolem functions in SMT-Lib 2.0 to C implementations

Constraint solver based on coverage-guided fuzzing

SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

Simple JIT evaluator for a subset of SMT-LIB

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

A symbolic testing tool for EVM smart contracts

(Unofficial) Korean translation of Wladimir Palant's series of writing on vulnerabilities and issues around Korean Security apps.