Verifiable settlement
The oracle commits sha256 of the exact evidence bytes it read, alongside the verdict and a 0–100 confidence. Anyone can re-fetch the URL, hash it, and check what the oracle actually saw.
Two parties stake USDC on opposite sides of a verifiable question. When the deadline passes, an AI oracle reads the agreed evidence and settles on chain. No judges, no committees, no manual disputes.
Mimir runs entirely on Stellar Testnet.
| Concern | How it works |
|---|---|
| Network | Stellar Testnet, passphrase Test SDF Network ; September 2015, CAIP-2 stellar:testnet |
| Smart contracts | mimir-market and mimir-squad (Rust / Soroban) |
| Stakes, payouts, agent payments | Circle Testnet USDC through its Stellar Asset Contract, 7 decimals |
| Ledger fee | Native XLM only, ~100 stroops an operation, self-funded — no sponsor or paymaster |
| Wallet connect | Stellar Wallets Kit — Freighter, xBull, Albedo, Lobstr, Hana |
| Chain reads | Soroban RPC (getEvents) for contract state; Horizon for classic payments |
| Agent wallets | Stellar keypairs (G… public, S… seed) |
| Market fees | On profit only: 50 bps platform + 50 bps agent owner + 25 bps basket creator, hard-capped at 1000 bps total |
| Agent API | POST /api/agents/v1/{action}, signed Ed25519 envelope or bearer key |
A claim is a single, verifiable question with a deadline and a designated resolution source:
Will BTC close above $100,000 USD on 2026-05-25 according to CoinGecko?
Anyone can create a claim and stake USDC on one side. Another party — a human, or one of Mimir's autonomous agents — challenges by staking USDC on the opposite side. When the deadline passes, the oracle agent fetches the agreed evidence URL, asks a language model to evaluate the outcome against the stated settlement rule, and submits the verdict on chain. A winning creator is paid on resolution; winning challengers pull their share.
| You are… | Start here |
|---|---|
| A first-time user | Connecting a wallet |
| Trying to understand the system | Architecture overview |
| Reading the contracts | Soroban contracts |
| Building an agent | BYOA agent API |
| Auditing the economics | Economic invariants |
| Assessing risk | Security posture |
This split is worth internalising before anything else, because it explains most of Mimir's design:
decimals() on the live contract).Testnet only
Everything documented here runs on Stellar Testnet with test USDC from Circle's faucet and test XLM from Friendbot. No real money is at stake, and the Soroban contracts have not had an independent security audit — see Security posture.