MCP Server for the Tenderly API

MCPcat is an analytics platform for MCP server owners 🐱.

MCPcat is an analytics platform for MCP server owners 🐱.

Autonomous agents for everyone

Succinct's Production-Grade Proving Engine for the OP Stack.

A set of case studies for the Wintermute Alpha Challenge

Cleaned code for paper "Natural Language Inference over Interaction Space"

Butler for your Telegram community

User-friendly secure computation engine based on secure multi-party computation

Go implementation of MEV-Auction for Ethereum

Jupyter notebooks for tutorial on the Z3 SMT solver

Simple gas tray app for macOS

Official continuation of the famous Blobby Volley 1.x arcade game.

💖 Things I care about 💖

Heiswap Dapp - Mix and Mask your Ethereum Transactions!

An API wrapper that fetches prices from the most popular Ethereum decentralized exchanges

🦄 The unofficial Python client for the Uniswap exchange.

PoC of SNARK-driven Plasma with up to 500 tx/sec

Code and data for paper "Deep Painterly Harmonization": https://arxiv.org/abs/1804.03189

A collection of tools, documents, articles, blog posts, interviews, and videos related to MakerDAO and the Dai stablecoin.

utilities for Bitcoin SPV proof verification on (many!) other chains

An Introduction to CBC Casper Consensus Protocols

Example SDK Module Tutorial

PeaceRelay: Connecting the Ethereum blockchains

RaspiBolt v3: Bitcoin & Lightning full node on a Raspberry Pi