evm indexer

95% token savings. 155x faster queries. 16 languages. LLMs can't read your entire codebase. TLDR extracts structure, traces dependencies, and gives them exactly what they need.

SVM program test harness

The open source coding agent.

A set of guidelines to avoid arguments over code-quality

Surfpool is where developers start their Solana journey.

Solidity contract visualisation tool

Create Solana programs with no external dependencies attached

⚓ Solana Program Framework

Beads - A memory upgrade for your coding agent

Optimized Solidity snippets.

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

Foundry library for deploying and managing upgradeable contracts

EDB: The Ethereum Project Debugger

Solidity, the Smart Contract Programming Language

This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st…

Static Analyzer for Solidity and Vyper

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Wargames Toolkit

Modern, opinionated, and gas optimized building blocks for smart contract development.

OpenZeppelin Contracts is a library for secure smart contract development.

Better touchpad gesture handling for GNOME