The blockchain builder's directory.

Static analysis framework for Solidity. Detects vulnerabilities, optimisation issues, and code quality problems.

EVM bytecode security analysis tool using symbolic execution, SMT solving, and taint analysis.

Blazing fast EVM toolkit. Forge for testing/fuzzing, Cast for interacting, Anvil for local nodes.

Property-based fuzzer for Ethereum smart contracts. Finds edge cases that unit tests miss.

Formal verification tool for smart contracts. Proves properties hold for all possible inputs.

Arbitrum's fraud proof system. BoLD enables permissionless validation with bounded dispute resolution.

Domain-specific language for defining arithmetic circuits used in ZK-SNARK proofs.

Domain-specific language for ZK circuits. Rust-like syntax, backend-agnostic, growing ecosystem.

General-purpose ZKVM based on RISC-V. Write normal Rust, get a ZK proof of execution.

Performant, open-source ZKVM. Write Rust programs, generate proofs. Used by major rollups.

Programming language for STARK-provable programs. Powers StarkNet and StarkEx.

PLONK-based proving system with recursive proof composition. No trusted setup. Used by Scroll, Zcash.

Solana market-making system. Multi-wallet, Jupiter DEX aggregation, grid strategies, risk management. ~9K lines, production-grade.

RWA market-making agent. Oracle-driven pricing, geography-aware adaptive spreads, compliance-gated, backtesting engine.

Autonomous airdrop farming framework. Multi-wallet, multi-chain, strategy-driven with scout intelligence and eligibility scoring.

Launch geography-specific stablecoins. Mint/redeem gateway, reserve manager, KYC/geo compliance, proof-of-reserves.

Drop-in Foundry security checks. Reentrancy, access control, oracle manipulation, upgrade risks, flash loans.

Predicts L2 gas costs 5-30 blocks ahead using blob fee dynamics post-EIP-4844. Arbitrum, Optimism, Base, Scroll.

Real-time stablecoin depeg detection. Tracks USDT/USDC/DAI across DEXes and CEXes, fires alerts on configurable thresholds.

Cross-chain message debugger for the OP Superchain. Trace, debug, and simulate interop messages across OP chains.

WASM binary analyzer for Arbitrum Stylus contracts. Function-level gas costs, size breakdown, optimization suggestions.

Agent-first Arbitrum CLI. JSON in, JSON out, MCP-compatible. Single Rust binary built for LLMs and automation pipelines.

Rust AI agent SDK for blockchain. Chain-agnostic wallets, DEX interaction, MPP payments, oracle feeds, type-safe sub-millisecond execution.

High-performance Rust intent solver. Competes across UniswapX, Across, CoW Protocol. 10–100x faster than JS solvers — speed wins auctions.

On-chain wallet & protocol intelligence primitives. Curated target registry, fit scoring, activity tracking. Powers monsoon and beyond.

Token standard for tokenized fine-tuned AI model weights. On-chain provenance, ownership, and tradability.

RWA tokenization standard and toolkit. Geography-aware tokens, compliance-native issuance for real estate, commodities, energy, IP.

AI × blockchain agent infrastructure. Agent wallets, autonomous payments, cross-chain execution, agent-to-agent settlement.

Autonomous market-making agent framework. Pluggable quoting strategies (Avellaneda–Stoikov, grid, custom), backtesting harness.

Published research notes, analysis, and briefs on blockchain protocol design, security, and mechanism design.

OP Stack L1 for music finance. MUSD stablecoin, real-time atomic royalty splits, catalog tokenization, viable micro-payments.

Public brand kit — design tokens and visual identity playground. Yellow + neon cyan, hexagon mark, motion studies.

Token economy simulator — burn tolls, staking yields, vesting, liquidity pools, and multi-stream revenue with endogenous AMM pricing. Browser playground included.

Ops Telegram bot — captures, categorizes, and tracks grants, bounties, hackathons, and RFPs from inbound channels. Powers the kcolbchain opportunity pipeline.

Solana market-making agent — multi-wallet, Jupiter DEX aggregation, grid strategies, risk controls. Production-grade reference implementation.

Singleton contract AMM with hooks architecture. Custom logic on every swap, LP, and pool action.

Multi-chain lending protocol. Efficiency mode, isolation mode, portals for cross-chain liquidity.

Minimal, immutable lending primitive. Permissionless market creation. ~650 lines of code.

Yield tokenisation protocol. Split yield-bearing assets into principal and yield tokens.

Modular lending framework. Build custom lending markets with composable vault components.

Curve's stablecoin with LLAMMA — a lending-liquidating AMM that soft-liquidates positions continuously.

Modular rollup framework. Powers Optimism, Base, and dozens of OP chains. Superchain vision.

zkEVM rollup with bytecode-level EVM compatibility. Uses Halo2-based proving system.

Modular data availability layer. Data availability sampling (DAS) for scalable blob storage.

Restaking protocol. ETH stakers can opt-in to secure additional services (AVSs), extending Ethereum's trust.

Proposer-builder separation for Ethereum. Connects validators to block builders via relays.

High-performance Ethereum execution client. Modular architecture, optimised for speed and extensibility.

Bring AI inference on-chain. Request compute from decentralised nodes, receive verified results in smart contracts.

Verifiable ML inference framework. Run neural networks with STARK proofs of correct execution.

Decentralised AI network. Subnets for different AI tasks, miners contribute compute, validators verify quality.

Ethereum development environment. Compile, test, deploy, and debug Solidity with a plugin ecosystem.

Pythonic smart contract language. Designed for security and auditability over flexibility.

Modular TypeScript interface for Ethereum. Type-safe, tree-shakeable, minimal. Replaces ethers.js/web3.js.

High-performance Rust libraries for Ethereum. Transports, providers, contracts, primitives.

Full-stack Ethereum starter kit. Next.js + Hardhat + wagmi. Hot reload, deploy to any chain.