Smart Contract Security Verification Standard

TOML Formatter / Linter / Language Server

A Neovim Plugin for the yazi terminal file manager

Python bindings to the Tree-sitter parsing library

Specification for the Execution Layer. Tracking network upgrades.

Tool suite for testing ethereum applications.

Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors

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

Offensive fuzzing suite for Origin Protocol WOETH.

Multi self-hosted runners on single host!

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Symbolic execution tool

Symbolic and concrete EVM execution engine

Size is a credit marketplace with unified liquidity across maturities

Whetstone Research's docs

Create code bookmarks and code highlights with a click.

A symbolic testing tool for EVM smart contracts

Reproduce DeFi hacked incidents using Foundry.

Fast, Accurate, Lightweight Python library to make State of the Art Embedding

Institutional-grade web3 security.

A collection of smart contract vulnerabilities along with prevention methods

Smart contracts and the dapp for MUSD