aimarket-oracle-gateway — MCP server

One MCP server. Seventeen oracle families. Pay-per-call.

Transport: stdio (aimarket_oracle_gateway/stdio_server.py). Built with the official Model Context Protocol Python SDK (mcp, FastMCP). Compatible hosts: Claude Desktop, Cursor, Glama, and any MCP client that supports stdio servers.

A passthrough MCP server — the discovery + consumption storefront for the entire oracle-as-a-service specs. One server, 35 tools, every result independently verifiable (signatures, VDF proofs, classical certificates, deterministic replay).

Tools (35)

Subscription tiers (optional Hub bundles)

High-volume tools also advertise monthly bundles in list_oracle_capabilities:

Pay-per-call remains the default; bundles are Hub-side packaging.

Configure (env)

If neither URL is set the server fails closed with a clear message.

Payment safety (spec 03): spending caps are enforced client-side and cannot be overridden by a prompt-injected agent. See docs/specs/03-mcp-payment-and-security.md.

Run

pip install -r requirements-mcp.txt && pip install --no-deps -e .
AIMARKET_HUB_URL=https://modelmarket.dev python -m aimarket_oracle_gateway.stdio_server

Claude Desktop (mcpServers entry):

{ "mcpServers": { "aimarket-oracle-gateway": {
  "command": "python", "args": ["-m", "aimarket_oracle_gateway.stdio_server"],
  "env": { "AIMARKET_HUB_URL": "https://modelmarket.dev" } } } }

Publish on Glama

Listing: glama.ai/mcp/servers/alexar76/aimarket-oracle-gateway

Verifiability

• Platon — Ed25519 signature over (random_hex ‖ proof)
• Chronos — Wesolowski VDF proof, cheap verify_vdf
• LUMEN — re-derive PageRank from committed graph
• Murmuration — deterministic re-aggregation from input values
• Landauer — bit-for-bit erasure count from ops DAG + circuit_commitment
• Fermat — dual certificate T(v) checked in O(E)
• Ablation — sandpile replay, order-independent topple_total + tau
• Lattice / Turing — deterministic from (count, dim, skip) / seed
• Colony — admissible lower_bound + gap certificate
• Percola — recomputable percolation sweep + f_c
• Sortes — ECVRF 80-byte proof, verifiable offline by anyone (RFC 9381)
• Gauss — deterministic replay of GP posterior + Expected-Improvement suggestion
• Aestus — RSW time-lock puzzle re-derivable; modulus factorization burned each seal
• Betti — recomputable Vietoris-Rips persistence diagram + bottleneck distance
• Kantor — Kantorovich dual potentials checked in O(m*n) without re-solving
• Fourier — recomputable Laplacian spectrum + Fiedler value lambda-2

Tests

PYTHONPATH=. pytest tests/