Discovery Protocol

What if we could go back to using irc?

Deploy language-driven Oya commitments onchain, and build agents to serve them

Fig nodes makes it easy to build agentic trading and financial workflows.

Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

Telegram integration for Attio

A library for composable tooling for onchain entities

Autonomous coding agent as an SDK, IDE extension, or CLI assistant.

Agent Driven Development

A toolkit for polynomial IOPs (PIOPs)

Utility for rlp-encoding and signing new EIP-2718 typed transactions for testing

Fast high-level web crawling Ruby framework

The simplest Farcaster Frame possible

https://monitor.polkachu.com

Ansible Script for Cosmos-based blockchain validators

python repo to create blockchain CSVs

David AI is a free and open-source collection of customizable, production-ready UI components built with Tailwind CSS.

Run Anything

Run a VPN with global exit nodes with fly.io, tailscale and github!

A self-hosted, offline, ChatGPT-like chatbot. Powered by Llama 2. 100% private, with no data leaving your device. New: Code Llama support!

Basic string utilities for Solidity

Optimized Solidity snippets.

Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity

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

Deposit your ERC721 token for a redeemable derivative token with cheaper transfers, call-batching, and meta transactions.