mcpField
A
Affine.Earth Math Court

Affine.Earth Math Court

リモート
affine.earth科学・教育24 週間前に更新
リポジトリ公式サイト

Affine.Earth Math Court について

Affine.Earth Math Courtは、エージェント向けのリモート型・決定論的な数学MCPサーバーです。整数で検証を行い、浮動小数点入力を拒否します。

主な機能

  1. 01決定論的な整数数学の検証
  2. 02浮動小数点入力の拒否
  3. 0321個のMCPツール
  4. 04複数の数学領域をカバー

活用シーン

  1. 01整数格子の計算を検証
  2. 02浮動小数点入力の拒否を確認
  3. 03エージェントのワークフローに数学検証を追加

MCP 対応

`https://affine.earth/language-invariant/mcp`でリモートMCPサーバーを提供し、クライアントに数学ツールを公開します。

設定

リモートサーバーはインストール不要です。クライアントを選んで設定をコピーするか、ワンクリックで導入できます。

エンドポイントhttps://affine.earth/language-invariant/mcp
インストールコマンドをコピー
Claude CodeTerminal
Cursor.cursor/mcp.json
VS Code.vscode/mcp.json
Claude Desktopclaude_desktop_config.json
Windsurf~/.codeium/windsurf/mcp_config.json

コマンドはターミナルで実行し、JSON は各クライアントの MCP 設定に貼り付けて再起動します。認可が必要なサーバーは初回接続時にログインを求めます。

すべてのエンドポイント
Streamable HTTPhttps://affine.earth/language-invariant/mcp
SSEhttps://affine.earth/language-invariant/mcp/sse

ツール

55
パラメーター型必須説明
textstringいいえレンダリングする単一のソーステキスト。例:Book
textsarrayいいえ最大64件のソーステキスト。入力順に1行ずつレンダリングします。例:["Book","Water"]
source_langstringはいISO 639-1 のソース言語。必須。'auto' は拒否されます。例:en
target_langstringいいえ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_langsarrayいいえ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 サーバーとして再申請しないでください。

ラッパーが体積、エールハート多項式、アイゼンシュタイン級数、または浮動小数点への射影を計算するなら、それは第二の法です。削除してください。

項目場所
稼働中の MCPhttps://affine.earth/language-invariant/mcp
SSEhttps://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
CourtPOST /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_deconflictionatc.assert_4d_deconfliction
corpus_bondscorpus_bonds
critique_framecritique_frame
execute_transitionexecute_transition
feeds_catalogfeeds_catalog
game_frame_metagame_frame_meta
ide_rebuild_meshide_rebuild_mesh
membrane_healthmembrane_health
noaa_goes_r_weathernoaa_goes_r_weather
twin_robotics_evaluate_exact_iktwin.robotics.evaluate_exact_ik
umc_directumc_direct
umc_resumeumc_resume
umc_statusumc_status
verify_jordan_bondverify_jordan_bond
weather_convective_containmentweather.convective_containment
court_ingestREST /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 は必須です。整数のみ。

コメント

MCP は初めてですか?

プロトコルの概要から最初のサーバーの導入まで、よくある疑問にまとめて答えます。

AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。