Find, verify, and analyze leaked credentials

Interact with any contract on Ethereum.

Solidity contract visualisation tool

Foundry library for deploying and managing upgradeable contracts

x402 payments in Rust: verify, settle, and monitor payments over HTTP 402 flows

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…

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

Static Analyzer for Solidity and Vyper

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

a script to run docker-compose.yml using podman

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

A blockchain monitoring service that watches for specific on-chain activities and triggers notifications based on configurable conditions.

Authentication & payments on the web

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