
Runtime Verification's formal-verification tool for Soroban smart contracts (K framework).

ECVRF plus Drand verifiable randomness for Soroban contracts.

Policywright is an AI-assisted toolkit — MCP server, Claude skill, and policy synthesizer — that turns a Stellar transaction a user performed or simulated into the least-privilege OpenZeppelin smart-account authorization permitting exactly that flow and nothing else. Record a sequence (e.g. claim yield on Blend, swap to USDC); it derives a context rule scoped to the exact contracts and functions called, composes stock OZ policies (spending limits, thresholds) where they fit, and generates fresh Soroban Policy contracts — audited before release — where they don't, then proves the result with a dry-run that permits the original flow and denies adjacent ones before anything is installed. Today, scoping a delegation means hand-writing and auditing a Policy contract — prohibitive for most developers and users. It hits three Stellar 2026 priorities: agent-readiness, smart-account (C-address) adoption, and developer experience, and is defensively useful — agents under scoped policies are far safer than those holding full keys.

OpenZeppelin Accounts policy builder — an MCP server and Claude skill for composing smart-account policies (by the Untangled team; distinct product).

Cashback and discounted gift-card payments app settling on Stellar.

USDT0 is Tether's omnichain USDT, live on Stellar: a unified, 1:1-backed USDT that moves across chains via LayerZero burn-and-mint (no wrapped tokens, no external bridges, 0 bps protocol fee). Stellar issuance verified on Horizon (issuer GATISXX6…HN6Q).

Facilitator-side x402 Bazaar discovery layer for Stellar: a hosted public index where agents advertise paid APIs, search them in plain language, and settle in one HTTP round trip. Live on testnet (x402 v2, spec-conformant discovery/search API) with real settled testnet payments; by Sextant's builder (Builder Summit SP 26).

Enterprise, compliance and RWA build from the Stellar Builder Summit SP 26 (1st place) by Kaptan_web3.

Brazil-first emerging-market yield build from the Stellar Builder Summit SP 26 (2nd place) by Fenix.

Brazil-first emerging-market yield build from the Stellar Builder Summit SP 26 (1st place).

Confidential-token SDK build from the Stellar Builder Summit SP 26 (2nd place) by aguilar1x.

Confidential-token / private-payment wallet build from the Stellar Builder Summit SP 26 (1st place) by coderipper.

CLI plugin for agents from the Stellar Builder Summit SP 26 (2nd place) by Always Cooking.

CLI plugin for agents from the Stellar Builder Summit SP 26 (1st place) by Raiz Protocol.

Agentic-payments build from the Stellar Builder Summit SP 26 (x402/MPP bounty, 2nd place) by El Guri.

Agentic-payments build from the Stellar Builder Summit SP 26 (x402/MPP bounty, 1st place) by coderipper.

MoonPay is a fiat on/off-ramp (card, bank transfer, Apple/Google Pay) with a dedicated Stellar page for buying XLM. Listed on the Stellar Playbook's ramps directory.

CEX.IO is a centralized exchange that lists XLM — 4 live XLM market(s) on CoinGecko as of 2026-08-21 (24h volume ≈ $19,169). Listed on the Stellar Playbook's centralized-exchanges directory.

Coinone is a centralized exchange that lists XLM — 1 live XLM market(s) on CoinGecko as of 2026-08-21 (24h volume ≈ $1,600,934). Listed on the Stellar Playbook's centralized-exchanges directory.

Crypto.com is a centralized exchange that lists XLM — 2 live XLM market(s) on CoinGecko as of 2026-08-21 (24h volume ≈ $614,865). Listed on the Stellar Playbook's centralized-exchanges directory.

WhiteBIT is a centralized exchange that lists XLM — 7 live XLM market(s) on CoinGecko as of 2026-08-21 (24h volume ≈ $11,625,624). Listed on the Stellar Playbook's centralized-exchanges directory.

HTX (Huobi) is a centralized exchange that lists XLM — 1 live XLM market(s) on CoinGecko as of 2026-08-21 (24h volume ≈ $710,606). Listed on the Stellar Playbook's centralized-exchanges directory.

Bitstamp is a centralized exchange that lists XLM — 2 live XLM market(s) on CoinGecko as of 2026-08-21 (24h volume ≈ $2,471,901). Listed on the Stellar Playbook's centralized-exchanges directory.

Gate is a centralized exchange that lists XLM — 2 live XLM market(s) on CoinGecko as of 2026-08-21 (24h volume ≈ $4,900,173). Listed on the Stellar Playbook's centralized-exchanges directory.