Affine.Earth Math Court について
Affine.Earth Math Courtは、エージェント向けのリモート型・決定論的な数学MCPサーバーです。整数で検証を行い、浮動小数点入力を拒否します。
主な機能
- 01決定論的な整数数学の検証
- 02浮動小数点入力の拒否
- 0321個のMCPツール
- 04複数の数学領域をカバー
活用シーン
- 01整数格子の計算を検証
- 02浮動小数点入力の拒否を確認
- 03エージェントのワークフローに数学検証を追加
MCP 対応
`https://affine.earth/language-invariant/mcp`でリモートMCPサーバーを提供し、クライアントに数学ツールを公開します。
設定
リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。
https://affine.earth/language-invariant/mcpclaude mcp add --transport http earth-affine-math-court https://affine.earth/language-invariant/mcp{"mcpServers":{"earth-affine-math-court":{"type":"http","url":"https://affine.earth/language-invariant/mcp"}}}Cursor で開く{"servers":{"earth-affine-math-court":{"type":"http","url":"https://affine.earth/language-invariant/mcp"}}}VS Code で開く{"mcpServers":{"earth-affine-math-court":{"type":"http","url":"https://affine.earth/language-invariant/mcp"}}}{"mcpServers":{"earth-affine-math-court":{"serverUrl":"https://affine.earth/language-invariant/mcp"}}}コマンドはターミナルで実行し、JSON は各クライアントの MCP 設定に貼り付けて再起動します。認可が必要なサーバーは初回接続時にログインを求めます。
https://affine.earth/language-invariant/mcphttps://affine.earth/language-invariant/mcp/sseツール
55| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
| text | string | いいえ | レンダリングする単一のソーステキスト。例:Book |
| texts | array | いいえ | 最大64件のソーステキスト。入力順に1行ずつレンダリングします。例:["Book","Water"] |
| source_lang | string | はい | ISO 639-1 のソース言語。必須。'auto' は拒否されます。例:en |
| target_lang | string | いいえ | target_lang または target_langs のどちらか一方だけを指定してください(値にかかわらず両方のキーを送信すると REFUSED_AMBIGUOUS_TARGET、文字列以外を送信すると REFUSED_BAD_TARGET、空の値を送信すると REFUSED_NO_TARGET が返されます)。単一の射影に対する ISO 639-1 のターゲット言語です。宣言済み:ar bn de en es fa fr he hi id it ja ko ms nl pl pt ru sw th tr uk ur vi zh。セルが実際に回答できる言語ペアは、ウォームアップ済みチャートの報告内容(healthz translate_chart.languages、レシートの lattice.languages)に従います。対象外のペアには、提供言語を示す REFUSED_NO_CHART が返されます。例:es |
| target_langs | array | いいえ | target_lang または target_langs のどちらか一方だけを指定してください(値にかかわらず両方のキーを送信すると REFUSED_AMBIGUOUS_TARGET、文字列配列以外を送信すると REFUSED_BAD_TARGET、空の値を送信すると REFUSED_NO_TARGET が返されます)。1 回の呼び出し、1 つの状態:ISO 639-1 コードの配列、またはチャートが提供するすべての言語を表す ["*"] を指定します。テキストの状態は一度だけ封印され、言語ごとに 1 つの射影として `projections` の下に返されます。各射影には同じ `state_digest` が含まれます。ステータスは PROJECTED です。例:["es","fr"] |
詳細
Affine.Earth Math Court — 公開バインド(決定論的、浮動小数点なし)
Court は稼働中のリモート MCP です:https://affine.earth/language-invariant/mcp。
Glama 掲載(承認済み): Affine Earth Math Court Remote
この git は公開バインドです:Cursor / Claude / VS Code の設定、STDIO→HTTPS プロキシ、HTTP クライアント、そして整数を POST して停止する LangChain / LlamaIndex / CrewAI / AutoGen / OpenAI-tool ラッパーが含まれます。Glama のコネクター行がディレクトリです。このリポジトリをローカル MCP サーバーとして再申請しないでください。
ラッパーが体積、エールハート多項式、アイゼンシュタイン級数、または浮動小数点への射影を計算するなら、それは第二の法です。削除してください。
| 項目 | 場所 |
|---|---|
| 稼働中の MCP | https://affine.earth/language-invariant/mcp |
| SSE | https://affine.earth/language-invariant/mcp/sse |
| Glama コネクター | https://glama.ai/mcp/connectors/earth.affine/affine-earth-math-court-remote |
| 見る(訪問者データなし) | https://affine.earth/language-game/#researcher · GET /language-game/mcp-tools.json から 15 個のツール名を表示 |
| 公式レジストリ | earth.affine/math-court |
| Court | POST /language-invariant/game/{domain}/ingest |
エージェントのランタイムが検索するキーワード:MCP サーバー、決定論的な数学、浮動小数点なし、整数格子、検証、形式証明器、LLM の幻覚、アフィン射影、エールハート多項式、ジョルダン結合、streamable-http。
1 行でバインド(Cursor、Claude Desktop、Claude Code)
configs/cursor.mcp.json をコピーします:
{
"mcpServers": {
"affine-earth-math-court": {
"url": "https://affine.earth/language-invariant/mcp"
}
}
}
VS Code:configs/vscode.mcp.json。
STDIO のみのホスト:python3 stdio/affine_earth_mcp_stdio.py — configs/claude-desktop-stdio.json を参照してください。
接続を証明する(3 つの方法)
bash clients/math-court-mcp/prove/prove-math-court-agent-ingest.sh
2026-08-23 に稼働中の apex で測定:dilation: 1.5 → REFUSED_FLOAT、dilation: 12 → WIN カウント 169、浮動小数点の敵対側は 216。
2026-08-26 に測定:tools/list = 21(lattice_op、math_court、および 4 つの QMA 名を追加)。Swift の訪問者 swift-example/ が Court 全体を巡回:29 LIVE · 0 LEARN。Wiki:サンプルアプリ · ユーザーガイド。
クライアントツール(稼働中の MCP ツールごとに 1 つ、名前付き)
スキーマ:tools/catalog.json(tools/list で測定)。
OpenAI 関数:tools/openai_tools.json — MCP ツール 15 個 + court_ingest。
Python:PYTHONPATH=clients/math-court-mcp/http python3 -c "from tools import membrane_health; print(membrane_health())"
| クライアント名 | 稼働中の MCP ツール |
|---|---|
atc_assert_4d_deconfliction | atc.assert_4d_deconfliction |
corpus_bonds | corpus_bonds |
critique_frame | critique_frame |
execute_transition | execute_transition |
feeds_catalog | feeds_catalog |
game_frame_meta | game_frame_meta |
ide_rebuild_mesh | ide_rebuild_mesh |
membrane_health | membrane_health |
noaa_goes_r_weather | noaa_goes_r_weather |
twin_robotics_evaluate_exact_ik | twin.robotics.evaluate_exact_ik |
umc_direct | umc_direct |
umc_resume | umc_resume |
umc_status | umc_status |
verify_jordan_bond | verify_jordan_bond |
weather_convective_containment | weather.convective_containment |
court_ingest | REST /language-invariant/game/{domain}/ingest |
各関数は POST を行います。格子を評価する関数はありません。
ツリー
clients/math-court-mcp/
server.json
tools/catalog.json live tools/list snapshot
tools/openai_tools.json 16 named functions
http/affine_earth.py
http/tools.py 16 named Python tools
http/mcp-bind.js
http/mcp-tools.js
stdio/affine_earth_mcp_stdio.py
wrappers/ LangChain · LlamaIndex · CrewAI · AutoGen · OpenAI
configs/
prove/prove-math-court-agent-ingest.sh
swift-example/ Swift 6.4 visitor — entire court + QMA (no verdict)
生成基盤はこのリポジトリには含まれていません。研究 11〜13(封印されたせん断)は、同じ公開 git の Wiki ページにあります。
Court
geometry · chance · algebra · physics · qcd · health · finance · cs · fluids · qma_2local · qma_spinglass · qma_nrep · qma_permanent
source は必須です。role は必須です。整数のみ。
コメント
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。