AIMarket Oracle Gateway

📖 Read-only mirror. aimarket-oracle-gateway is published from the canonical AI-Factory monorepo. Pull requests are not accepted — any commit pushed here is overwritten by scripts/mirror_satellites.sh on the next sync. 🐞 Found a bug or have a request? Please open an issue.

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.

Item	Location
MCP entrypoint	aimarket_oracle_gateway/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 -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/