Skip to content

README.md

Latest commit

 

History

History
154 lines (121 loc) · 7.12 KB

README.md

File metadata and controls

154 lines (121 loc) · 7.12 KB
Raw

aimarket-oracle-gateway — MCP server

CI aimarket-oracle-gateway MCP server Test coverage License: MIT

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

Transport: stdio (mcp_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.

Item Location
MCP entrypoint mcp_stdio_server.py
Tool routing core aimarket_oracle_gateway/gateway_core.py
Extended tool surface aimarket_oracle_gateway/mcp_tool_surface.py
Glama / Docker run Dockerfile, glama.json

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)

Category MCP tool capabilityId price
Randomness get_random platon.random@v1 $0.004
get_randomness_beacon platon.beacon@v1 $0.004
ask_oracle platon.ask@v1 $0.003
verify_random platon.verify@v1 $0.001
Delay compute_vdf chronos.eval@v1 $0.01
verify_vdf chronos.verify@v1 $0.001
Reputation get_reputation_scores lumen.reputation@v1 $0.005
get_agent_trust lumen.score@v1 $0.003
verify_reputation lumen.verify@v1 $0.002
Consensus aggregate_values murmuration.aggregate@v1 $0.002
Thermodynamics audit_compute_cost landauer.audit@v1 $0.01
verify_compute_cost landauer.verify@v1 $0.001
Routing compute_least_time_route fermat.route@v1 $0.01
verify_least_time_route fermat.verify@v1 $0.001
Cascade risk analyze_cascade_risk ablation.cascade@v1 $0.01
verify_cascade_risk ablation.verify@v1 $0.001
Sampling get_quasirandom_sequence lattice.sequence@v1 $0.002
get_blue_noise turing.bluenoise@v1 $0.002
Optimization optimize_route colony.optimize@v1 $0.005
Resilience analyze_network_resilience percola.threshold@v1 $0.01
verify_network_resilience percola.verify@v1 $0.001
Randomness sortes_draw sortes.draw@v1 $0.006
sortes_verify sortes.verify@v1 $0.001
Learning gauss_field gauss.field@v1 $0.006
gauss_suggest gauss.suggest@v1 $0.006
gauss_verify gauss.verify@v1 $0.001
Time-lock aestus_seal aestus.seal@v1 $0.006
aestus_open aestus.open@v1 $0.01
aestus_verify aestus.verify@v1 $0.001
Topology betti_homology betti.homology@v1 $0.008
betti_distance betti.distance@v1 $0.004
Transport kantor_transport kantor.transport@v1 $0.006
kantor_verify kantor.verify@v1 $0.001
Spectral fourier_spectrum fourier.spectrum@v1 $0.005
fourier_verify fourier.verify@v1 $0.001
Discovery list_oracle_capabilities — free

Subscription tiers (optional Hub bundles)

High-volume tools also advertise monthly bundles in list_oracle_capabilities:

Tool Starter Pro
aggregate_values 10k calls / $10 100k / $50
get_reputation_scores 5k / $20 50k / $100
audit_compute_cost 10k / $15 100k / $75
compute_least_time_route 10k / $25 100k / $120
analyze_cascade_risk 5k / $50 50k / $250

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

Configure (env)

var meaning
AIMARKET_HUB_URL AIMarket Hub base URL — recommended: metered + paid
AIMARKET_ORACLE_URL direct oracle-family URL (if no hub) — demo/free path
AIMARKET_PAYMENT_CHANNEL optional pre-opened payment channel id
AIMARKET_PAYMENT_CHANNEL_SECRET per-channel debit secret
AIMARKET_API_TOKEN optional bearer token
AIMARKET_MAX_PER_CALL_USD hard cap per call (default 0.10)
AIMARKET_MAX_SPEND_USD hard cumulative budget (default 5.0)
AIMARKET_PRICE_TOLERANCE reject overcharge vs advertised (default 0.10)

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 mcp_stdio_server.py

Claude Desktop (mcpServers entry):

{ "mcpServers": { "aimarket-oracle-gateway": {
  "command": "python", "args": ["mcp_stdio_server.py"],
  "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/