Lists (10)
Stars
Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity
🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
Factory smart contract to make easier and safer usage of the `CREATE` and `CREATE2` EVM opcodes as well as of `CREATE3`-based (i.e. without an initcode factor) contract creations.
A payments protocol for the internet. Built on HTTP.
CLI for Agentic payments (x402, MPP, AP2).
CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.
Create real electronics with Typescript and React
Project NOMAD is an offline-first knowledge and education server. Wikipedia, thousands of books, courses, maps, and optional local AI, all running on hardware you own with no internet required.
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Open-source, low-cost 10.5 GHz PLFM phased array RADAR system
The missing knowledge between AI agents and production Ethereum.
Public repo of AI tooling to help build and interact with apps on MegaETH
The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code
A tool that performs extraction of storage layouts based on EVM bytecode.
EIP-3009 Wrapper Contracts and Tests for driving x402 Adoption on the EVM
Agent skills for secure smart contract development with OpenZeppelin Contracts libraries
List of Science courses with video lectures
A benchmark and harness for finding and exploiting smart contract bugs
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Your AI suite to developing real-time apps on MegaETH
🌊 The original agent meta-harness. Deploy intelligent multi-player swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning intelligence…