AIMarket Oracle Gateway

🔄 从单体仓库同步而来，同时保留实时历史记录。 aimarket-oracle-gateway 与 AI-Factory 单体仓库保持镜像同步。此处的历史记录仅追加（不强制推送）。 欢迎提交拉取请求——已合并的 PR 会导入单体仓库，并重新同步到此处，因此你的贡献将成为规范版本。 💬 欢迎提交问题 · 也欢迎提交拉取请求。

aimarket-oracle-gateway — MCP 服务

一个 MCP 服务。十七类预言机。按次付费。

传输方式：stdio（aimarket_oracle_gateway/stdio_server.py）。使用官方的 Model Context Protocol Python SDK（mcp，FastMCP）构建。 兼容的宿主：Claude Desktop、Cursor、Glama，以及任何支持 stdio 服务的 MCP 客户端。

项目	位置
MCP 入口点	aimarket_oracle_gateway/stdio_server.py
工具路由核心	aimarket_oracle_gateway/gateway_core.py
扩展工具接口	aimarket_oracle_gateway/mcp_tool_surface.py
Glama / Docker 运行方式	Dockerfile、glama.json

---

一个透传式 MCP 服务——为整个预言机即服务规范提供发现与使用入口。一个服务，35 项预言机能力，外加一个免费发现工具（共 36 个 MCP 工具），每项结果均可独立验证（签名、VDF 证明、经典证书、确定性重放）。

工具（35 种能力及发现功能）

类别	MCP 工具	capabilityId	价格
随机性	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
延迟	compute_vdf	chronos.eval@v1	$0.01
	verify_vdf	chronos.verify@v1	$0.001
声誉	get_reputation_scores	lumen.reputation@v1	$0.005
	get_agent_trust	lumen.score@v1	$0.003
	verify_reputation	lumen.verify@v1	$0.002
共识	aggregate_values	murmuration.aggregate@v1	$0.002
热力学	audit_compute_cost	landauer.audit@v1	$0.01
	verify_compute_cost	landauer.verify@v1	$0.001
路由	compute_least_time_route	fermat.route@v1	$0.01
	verify_least_time_route	fermat.verify@v1	$0.001
级联风险	analyze_cascade_risk	ablation.cascade@v1	$0.01
	verify_cascade_risk	ablation.verify@v1	$0.001
采样	get_quasirandom_sequence	lattice.sequence@v1	$0.002
	get_blue_noise	turing.bluenoise@v1	$0.002
优化	optimize_route	colony.optimize@v1	$0.005
韧性	analyze_network_resilience	percola.threshold@v1	$0.01
	verify_network_resilience	percola.verify@v1	$0.001
随机性	sortes_draw	sortes.draw@v1	$0.006
	sortes_verify	sortes.verify@v1	$0.001
学习	gauss_field	gauss.field@v1	$0.006
	gauss_suggest	gauss.suggest@v1	$0.006
	gauss_verify	gauss.verify@v1	$0.001
时间锁	aestus_seal	aestus.seal@v1	$0.006
	aestus_open	aestus.open@v1	$0.01
	aestus_verify	aestus.verify@v1	$0.001
拓扑	betti_homology	betti.homology@v1	$0.008
	betti_distance	betti.distance@v1	$0.004
传输	kantor_transport	kantor.transport@v1	$0.006
	kantor_verify	kantor.verify@v1	$0.001
谱	fourier_spectrum	fourier.spectrum@v1	$0.005
	fourier_verify	fourier.verify@v1	$0.001
发现	list_oracle_capabilities	—	免费

订阅层级（可选 Hub 套餐）

高频使用的工具也会在 list_oracle_capabilities 中提供月度套餐：

工具	Starter	Pro
aggregate_values	10k 次调用 / $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

按次付费仍为默认方式；套餐由 Hub 侧提供。

配置（环境变量）

变量	含义
AIMARKET_HUB_URL	AIMarket Hub 基础 URL — 推荐：计量计费 + 付费
AIMARKET_ORACLE_URL	直接访问 oracle 系列的 URL（没有 Hub 时）— 演示/免费路径
AIMARKET_PAYMENT_CHANNEL	可选的预先开启的支付通道 ID
AIMARKET_PAYMENT_CHANNEL_SECRET	每个通道的扣款密钥
AIMARKET_API_TOKEN	可选的 Bearer 令牌
AIMARKET_MAX_PER_CALL_USD	每次调用的硬性上限（默认 0.10）
AIMARKET_MAX_SPEND_USD	累计支出的硬性预算（默认 5.0）
AIMARKET_PRICE_TOLERANCE	若超过公布价格则拒绝（默认 0.10）

如果两个 URL 均未设置，服务端将安全关闭并显示明确的提示。

支付安全（规范 03）： 支出上限由客户端强制执行，无法被提示词注入的 Agent 覆盖。参见 docs/specs/03-mcp-payment-and-security.md。

运行

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 条目）：

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

在本地测试 MCP 启动

在此软件包目录中，使用已安装该软件包运行时和 dev 依赖的环境：

python -m pytest tests/test_stdio_startup.py tests/test_stdio_schema.py -q

启动回归测试会在单独的进程中启动真实的 stdio 服务，完成 initialize 和所有 tools/list 分页，并检查完整目录、报告的版本 以及受限架构。测试会使用隔离目录和干净的环境，并禁止网络连接和子进程。 它不会调用 oracle 工具，也不需要 API 凭据。进程运行时长和清理过程均有时限。

0.3.1 版本可能会在 initialize 之前退出：延迟注解会将函数局部别名 （例如 ValuesList）保留为字符串，导致 FastMCP 无法解析。0.3.2 版本会在定义嵌套函数时， 于 mcp_tool_surface.py 中求值注解，从而保留其类型和验证约束。请保持这些注册器注解为已求值状态；仅检查导入无法覆盖完整的 stdio 启动生命周期。

在 Glama 上发布

收录页面：glama.ai/mcp/servers/alexar76/aimarket-oracle-gateway

可验证性

• Platon — 对 (random_hex ‖ proof) 的 Ed25519 签名
• Chronos — Wesolowski VDF 证明，verify_vdf 验证开销低
• LUMEN — 根据已提交图重新推导 PageRank
• Murmuration — 根据输入值确定性地重新聚合
• Landauer — 根据操作 DAG 和 circuit_commitment 逐位精确计算擦除计数
• Fermat — 对偶证书 T(v)，可在 O(E) 时间内检查
• Ablation — 沙堆重放；与顺序无关的 topple_total + tau
• Lattice / Turing — 根据 (count, dim, skip) / seed 确定性计算
• Colony — 可接受的 lower_bound + gap 证书
• Percola — 可重新计算的渗流扫描 + f_c
• Sortes — ECVRF 的 80 字节证明，任何人都可离线验证（RFC 9381）
• Gauss — 对 GP 后验进行确定性重放，并给出期望改进建议
• Aestus — 可重新推导 RSW 时间锁谜题；每次密封都会销毁模数因式分解
• Betti — 可重新计算的 Vietoris-Rips 持久性图和瓶颈距离
• Kantor — Kantorovich 对偶势函数，可在 O(m*n) 时间内检查，无需重新求解
• Fourier — 可重新计算的拉普拉斯谱 + Fiedler 值 lambda-2

测试

PYTHONPATH=. pytest tests/