Affine.Earth Math Court

Name: Affine.Earth Math Court
Author: affine.earth

远程服务

affine.earth科研与教育24 周前更新

代码仓库访问官网

关于 Affine.Earth Math Court

Affine.Earth Math Court 是面向 Agent 的远程确定性数学 MCP 服务，以整数运算处理数学验证，并拒绝浮点输入。

主要功能

01确定性整数数学验证
02拒绝浮点输入
03提供 21 个 MCP 工具
04支持多个数学领域的裁决

适用场景

01验证整数格点相关计算
02检查浮点输入是否被拒绝
03将数学验证接入 Agent 工作流

MCP 相关

提供远程 MCP 服务，地址为 `https://affine.earth/language-invariant/mcp`，向客户端公开数学工具。

配置

远程服务无需本地安装。选择你使用的客户端，复制配置或使用一键安装。

服务地址https://affine.earth/language-invariant/mcp

一键复制安装命令

Claude CodeTerminalclaude mcp add --transport http earth-affine-math-court https://affine.earth/language-invariant/mcp

Cursor.cursor/mcp.json{"mcpServers":{"earth-affine-math-court":{"type":"http","url":"https://affine.earth/language-invariant/mcp"}}}在 Cursor 中打开

VS Code.vscode/mcp.json{"servers":{"earth-affine-math-court":{"type":"http","url":"https://affine.earth/language-invariant/mcp"}}}在 VS Code 中打开

Claude Desktopclaude_desktop_config.json{"mcpServers":{"earth-affine-math-court":{"type":"http","url":"https://affine.earth/language-invariant/mcp"}}}

Windsurf~/.codeium/windsurf/mcp_config.json{"mcpServers":{"earth-affine-math-court":{"serverUrl":"https://affine.earth/language-invariant/mcp"}}}

命令在终端中运行；JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。

全部服务地址

Streamable HTTPhttps://affine.earth/language-invariant/mcp

SSEhttps://affine.earth/language-invariant/mcp/sse

工具

参数	类型	必填	说明
text	string	否	要渲染的单条源文本。例如 Book
texts	array	否	最多 64 条源文本；按顺序渲染，每条一行。例如 ["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）。一次调用，一个状态：ISO 639-1 代码数组，或用 ["*"] 表示图表所服务的全部语言；文本的状态一经封存，就会在 `projections` 下按语言返回一个投影，每个投影都带有相同的 `state_digest`；状态为 PROJECTED。例如：["es","fr"]

详细介绍

Affine.Earth Math Court — 公共绑定（确定性、无浮点数）

该法庭是在线远程 MCP：https://affine.earth/language-invariant/mcp。
Glama 列表（已批准）： Affine Earth Math Court Remote

此 git 仓库是公共绑定：Cursor / Claude / VS Code 配置、STDIO→HTTPS 代理、HTTP 客户端，以及 LangChain / LlamaIndex / CrewAI / AutoGen / OpenAI 工具封装，它们只会发送整数 POST 请求，然后停止。Glama 的连接器条目就是目录。请勿将此仓库作为本地 MCP 服务重新提交。

如果某个封装会计算体积、Ehrhart、Eisenstein 或浮点投影，那就是另立一套法则。删除它。

内容	位置
在线 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`
法庭	`POST /language-invariant/game/{domain}/ingest`

Agent 运行时搜索的关键词：MCP 服务、确定性数学、无浮点数、整数格、验证、形式化证明器、LLM 幻觉、仿射投影、Ehrhart、Jordan 键合、streamable-http。

一行绑定（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。

验证入口（三个调用）

bash clients/math-court-mcp/prove/prove-math-court-agent-ingest.sh

2026-08-23 在在线 apex 上测得：dilation: 1.5 → REFUSED_FLOAT，dilation: 12 → 胜方计数 169，而浮点对手为 216。

2026-08-26 测得：tools/list = 21（新增 lattice_op、math_court 和四个 QMA 名称）。Swift 访客 swift-example/ 遍历了整个法庭：29 LIVE · 0 LEARN。Wiki：示例应用 · 用户指南。

客户端工具（每个在线 MCP 工具各有一个具名工具）

架构：tools/catalog.json（通过 tools/list 测得）。
OpenAI 函数：tools/openai_tools.json — 15 个 MCP 工具 + 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 页面中。

法庭

geometry · chance · algebra · physics · qcd · health · finance · cs · fluids · qma_2local · qma_spinglass · qma_nrep · qma_permanent