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

Playwright MCP server

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

An open infrastructure to democratize and decentralize the development of superintelligence for humanity.

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