The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Rust implementation of the Ethereum Virtual Machine.

A Left-Leaning Red-Black (LLRB) implementation of balanced binary search trees for Google Go

📦 Repomix (formerly Repopack) is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) o…

Benchmark Generator for Smart-Contract Fuzzers

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Experimental implementation of gray-box program fuzzing.

simple markdown & mermaid builder in golang

A general purpose foundation for cloud-based fuzzing and mutation testing jobs

A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

CLI tool to generate documentation page of git fork diff

A platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.

Tool to run and interact with an Avalanche network locally

Smart contracts built on top of Avalanche Interchain Messaging (ICM) to facilitate EVM cross-chain application development.

Ethereum Testnet Testing Tool

Cryptographic protocol analysis for real-world protocols.

Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks

Set up a personal VPN in the cloud

A Kurtosis package that deploys a private, portable, and modular Ethereum devnet

Some experimental tools to manage validators - use at your own risk

A mutation-based tool for finding bugs in tests

Static Analyzer for Starknet smart contracts

Ethereum VM fuzzer