he just wants to help-pi!

my workflows for ai agents like codex and claude

Vyper Language Server

An extremely fast Python type checker and language server, written in Rust.

EDB: The Ethereum Project Debugger

Deploy a standardised set of smart contracts powering Curve.fi with a simple CLI command.

A tool for analyzing the security and parameters of a solidity smart contract

Formal verification of WETH9.sol with Z3

Manage your dotfiles across multiple diverse machines, securely.

Collection of past CTFs to play and practice locally.

Telegram dev bot for all your dirty work

Curve AMM for all crypto assets.

A Zksync plugin for the Titanoboa Vyper interpreter

A sandbox environment for ZKsync Era Vyper compiler testing.

Ethereum Vyper language support for Visual Studio Code

A tool to help you find your lost Ethereum address, Ether or tokens, by searching through a bunch of derivation paths

Specification for the Execution Layer. Tracking network upgrades.

Vyper version manager

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

Pythonic Smart Contract Language for the EVM

A simple template to perform whitehacks safely

a lisp built on top of vyper