Smart contract specification language

PRB's Claude Code config

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Simulates Curve Finance pools

Simulates Curve Finance pools

State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.

Autoleverage AMM and leveraged liquidity token

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

All your EVM tools in one place!

🪓 Run Background Tasks at Scale

Fetch contract ABIs from Etherscan and store them locally

Rusted PackFile Manager (RPFM) is a... reimplementation in Rust and Qt5 of PackFile Manager (PFM), one of the best modding tools for Total War Games.

Nerite's fork of the Liquity v2 monorepo containing the contracts, subgraph and frontend.

A Safe wrapper around Foundry projects

Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)

Autonomous agents for everyone

A library for composable tooling for onchain entities

A curated list of awesome EIP2535 Diamonds resources, libraries, tools, articles and more

Max Yield Vaults: ETH, BTC, USD, BNB

MetaMorpho

The weiroll virtual machine

The YieldNest On-Chain Protocol

A no-code or framework to build blazing fast EVM indexers - built in rust.

CREATE3 (see EIP-3171) implemented in Solidity