Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Hardware-attested photo capture for React Native with embedded C2PA manifests.

Simulation environment for Solana's Prop AMMs (SolFi, HumidiFi, Tessera, GoonFi, BisonFi, ..)

solfi-sim uses LiteSVM to run local, black-box simulations on the SolFi DEX to understand how its pricing curves work

Commonware Library Primitives and Examples

A payments protocol for the internet. Built on HTTP.

x402 payments in Rust: verify, settle, and monitor payments over HTTP 402 flows

Networking for high-performance distributed systems.

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Express middleware for payment-gated MCP servers — multi-network X402 support with automatic routing, simulation, and JSON-RPC 402 compliance.

The official TypeScript SDK for Model Context Protocol servers and clients

The Modular Platform (includes MAX & Mojo)

Solana JavaScript SDK

An open-source AI agent that brings the power of Gemini directly into your terminal.

TensorZero is an open-source LLMOps platform that unifies an LLM gateway, observability, evaluation, optimization, and experimentation.

Reference implementation of a sandwich-resistant AMM for the Solana blockchain

A high-throughput and memory-efficient inference and serving engine for LLMs

Production-tested AI infrastructure tools for efficient AGI development and community-driven innovation

Implementing DeepSeek R1's GRPO algorithm from scratch

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

A non-saturating, open-ended environment for evaluating LLMs in Factorio

Implementation of a competitive v2/v3 multi-meat MEV sandwich bot written using Rust and Huff.

A Lightweight Recommendation System