AIMarket Oracle Gateway

🔄 モノレポから同期されていますが、履歴はそのまま保持されます。 aimarket-oracle-gateway は、正規の AI-Factory モノレポをミラーリングしています。履歴は追記専用です（強制プッシュはありません）。 プルリクエストを歓迎します。マージされた PR はモノレポに取り込まれ、ここに再同期されるため、皆さんの貢献が正規のものになります。 💬 Issues · Pull requests のどちらも歓迎します。

aimarket-oracle-gateway — MCP サーバー

1つの MCP サーバー。17のオラクルファミリー。呼び出しごとの従量課金。

トランスポート：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 サーバーです。oracle-as-a-service の仕様全体に対する、探索と利用のためのストアフロントです。1つのサーバーで、35のオラクル機能と無料の探索ツール1つ（MCP ツールは計36個）を提供し、すべての結果を個別に検証できます（署名、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	直接接続するオラクルファミリーの URL（Hub がない場合）— デモ／無料の経路
AIMARKET_PAYMENT_CHANNEL	オプションの事前オープン済み決済チャネル ID
AIMARKET_PAYMENT_CHANNEL_SECRET	チャネルごとの引き落とし用シークレット
AIMARKET_API_TOKEN	オプションのベアラートークン
AIMARKET_MAX_PER_CALL_USD	呼び出しごとの上限（デフォルトは 0.10）
AIMARKET_MAX_SPEND_USD	累計予算の上限（デフォルトは 5.0）
AIMARKET_PRICE_TOLERANCE	表示価格に対する超過請求を拒否する許容値（デフォルトは 0.10）

どちらの URL も設定されていない場合、サーバーは明確なメッセージを表示してフェイルクローズします。

決済の安全性（仕様 03）： 支出上限はクライアント側で適用され、プロンプトインジェクションされたエージェントによって上書きされることはありません。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 のすべてのページを完了させ、カタログ全体、報告されたバージョン、制約付きスキーマを確認します。隔離されたディレクトリとクリーンな環境を使用し、ネットワーク接続と子プロセスを禁止します。オラクルツールは呼び出さず、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 — ops 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 — 80 バイトの ECVRF 証明。誰でもオフラインで検証できます（RFC 9381）
• Gauss — GP 事後分布の決定論的な再生と、Expected-Improvement による提案
• Aestus — RSW タイムロックパズルを再導出可能です。各シールの作成時に法の素因数分解は破棄されます
• Betti — 再計算可能な Vietoris-Rips パーシステンス図とボトルネック距離
• Kantor — 再求解せずに Kantorovich 双対ポテンシャルを O(m*n) で検証します
• Fourier — 再計算可能なラプラシアンのスペクトルと Fiedler 値 lambda-2

テスト

PYTHONPATH=. pytest tests/