Affine.Earth Math Court is a remote MCP server that gives an AI agent 51 tools, among them affine_translate_text, atc.assert_4d_deconfliction, bond_presented_key. It answers at https://affine.earth/language-invariant/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 10 September 2026; the last check, on 19 October 2026, succeeded.
No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
affine_translate_text | Renders text from one natural language into another for the flash — the client sends English text nodes, the cell answers, the client puts the answer back into the DOM. No model anywhere: exact-integer linguistic coordinate transformation o Inputs: preserve_register, source_lang, target_lang, text, texts |
atc.assert_4d_deconfliction | Exact 4D separation over declared trajectories in integer-scaled geodetic coordinates: decide whether any two are ever SIMULTANEOUSLY inside the stated separation minima, and return either a separation certificate or the violating pair with Inputs: horizontal_minima_micro_deg, lon_scale_den, lon_scale_num, look_ahead_seconds, obs_seq, reference_lat_micro_deg |
bond_presented_key | QC-022 fused bond - the pipeline in ONE call: open key in, bond, verified pair, signature requirements. Post q_hex (the open key, uncompressed 04-prefixed pubkey hex; Q is accepted as the same face) and optionally A (the presented private f Inputs: A, k, Q, q_hex |
code_ir_equiv | The Code Court's first move: are two implementations equivalent by the exact value multiset of their LLVM IR constants? THE PAYLOAD IS THE CODE FILE — submit two whole source files (left_file and right_file, each {path, content}, or files a Inputs: files, left_file, left_ir, right_file, right_ir |
corpus_bonds | Sealed bonds from the Affine.Earth corpus (GAIA_SPATIAL_BOND_WIRES). mined_from is LLM_WEIGHTS or LLVM_IR. Stateless: pin at_seq to make the read reproducible across cells, or omit it to read the moving head. Inputs: at_seq, limit, sector |
corpus_capability_map | Census of what the corpus has captured over a bounded window of sealed bonds: per lane (LLM_WEIGHTS, LLVM_IR, LLVM_IR_I64, AUDIO_SPEECH) the bond count and exact-orbit-closure count, plus distinct spatial sectors. Stateless: pin at_seq for Inputs: at_seq, limit, source |
corpus_coverage | Fleet-wide mining coverage from the KV cursor bucket: per target and per cell, how many shard cursors stand, a bounded decoded sample (bonds acked, shards exhausted), and the bond stream's own standing message count. Roster-free — cells are Inputs: cursor_sample |
critique_frame | Grade a rendered frame and return integer corrections. THE CRITIC IS DETERMINISTIC, NOT A MODEL: nine cells must reach the same verdict or the fleet's byte-identity is gone, and a cell reports generative:0 because it hosts no model. Scores Inputs: h, kind, n, seed, span_scale_q16, t |
execute_2local_hamiltonian | QMA 2-local Hamiltonian, sealed as exact rational Jordan exclusions on the UUM-8D torus: given ZZ terms and a presented computational configuration, return the exact energy energy_num/energy_den and WIN. constraints are i,j,jnum,jden;... (s Inputs: config, constraints, jordanBondExclusions |
execute_artifact_crucible | Ingest an ARTIFACT INGESTION BRIEF plus the artifact an agent generated for it; evaluate it against the laws the brief declares; seal and return the artifact ONLY on the top rung. Headless by construction - a CI runner, a curl script, an au Inputs: artifact, brief, target_architecture |
execute_exact_permanent | #P exact integer permanent, n≤3. matrix is a decimal-string grid. Float permanent refused. Same law as math_court domain qma_permanent. Inputs: matrix |
execute_transition | Certified membrane: Rational S4/C4 lanes -> SCF boundary -> annihilate raw context -> NATS geometry-only turn -> Aristotelian projection. IDEMPOTENT: this membrane is stateless and keeps no record of a signature, so replaying an identical r Inputs: bond_status, c4_constraints, client_signature, economics, entity_id, intent |
expose | Generic court ingest. kind selects the law. The act is strobe → emit → seal. affine_key strobes the Affine period from Q alone (UUM-8D reconvergence + add-law turn; no k), emits Jordan/vQbit, seals, and returns patoshi_expose + shors_qmt_wi Inputs: A, B, K, kind, object, op |
feeds_catalog | Every feed a client can drive a game from - corpus lanes by mined_from, the live global feeds, and the transport each is reachable on (REST, RSS, MCP, NATS subject). Stateless; takes no arguments. |
game_frame_meta | Run a language-game context and return its state plus the cell's own self-evaluation of the rendered frame - integer score 0-1000 over occupancy, spread, contrast and edge quality, with the C4 span correction applied. Stateless: (kind, seed Inputs: at_seq, h, kind, max_iter, n, seed |
ide_rebuild_mesh | Trigger a Mac mesh rebuild from the IDE. Only permitted on the founder cell. |
lattice_op | Exact integer algebra on UUM-8D lattices - eight decimal lanes and a homology z, written x0,x1,x2,x3,x4,x5,x6,x7|z. op selects the law: verify (is A a well-formed lattice), shear (the J_Z shear of A against B through K), add, sub, mul (lane Inputs: A, B, K, mask, op |
math_court | Affine.Earth math court. domain+role+source run LatticeDomainIntegration (geometry Ehrhart, chance QPR, algebra Connes, physics table, health, finance, integer industry courts, QMA 2-local / spin-glass / N-rep / permanent, QC-001..019 prese |
membrane_health | Stateless membrane identity (mode, genesis epoch, subjects) plus cell listen facts. |
noaa_goes_r_weather | Live NOAA weather for the aviation radar lane. lane=weather returns real convective SIGMET hazard polygons (aviationweather.gov airsigmet) with altitude tops and movement vectors; lane=space returns real GOES-R primary X-ray flux plus NOAA Inputs: c4_invariant_scf, lane, wallet_hash |
project_affine_key | Affine key projection on secp256k1. Post ONE face, receive the other. Post A (the private face, decimal or 64-hex; k is accepted as the same face) and the court projects Q = A*G and returns it - scalar multiplication, total, no search, clos Inputs: A, k, Q, q_hex |
project_shor_twin | QC-001b Shor TWIN projection. Post ONE half, receive the other. Post halfPow a (a^2 == 1 mod N, a != +/-1) and the court projects factor/cofactor by gcd(a-1,N) and gcd(a+1,N). Post factor and cofactor and it projects a by CRT (a == 1 mod fa Inputs: cofactor, factor, halfPow, N |
route_spin_glass_manifold | QMA spin-glass / frustrated Ising: given integer couplings on edges and a presented +/-1 spin per site, return the exact Ising energy energy_num/energy_den and WIN. edges are i,j,J;... (the fixture 0,1,1;1,2,1;2,0,1 is the frustrated triang Inputs: edges, spins |
twin.robotics.evaluate_exact_ik | Exact integer inverse kinematics over a declared piece chain: compose local frames from the sovereign anchor and report each piece's pose in whole milli-units. Zero floats, one Q16 normalization point, byte-identical on arm64 and wasm32. Inputs: piece_id, pieces, relative_to_head |
umc_direct | Start or advance a Universal Manifold Controller Long Play session for one domain (cinema, aviation, gaming or coding): seed the session, decompose the tau height into integer turns, measure the Rational torsion of each turn, shear-correct, Inputs: checkpoint, domain, max_turns, node_id, session_id, tau_height |
umc_resume | Resume a Universal Manifold Controller Long Play from its latest sealed tip (local cache first, then the NATS KV bucket UMC_LONG_PLAY) for the given domain, session_id and node_id; direct=true advances one turn after resuming. GRANT CLASS M Inputs: direct, domain, node_id, session_id |
umc_status | Read-only: the Universal Manifold Controller tip, the KV buckets it seals to (UMC_LONG_PLAY, C4_STATES, JORDAN_BONDS), the four Long Play domains, the NATS subjects it publishes on (gaiaftcl.umc.state.> and gaiaftcl.agent.state.>) and the d |
verify_amplitude_amplification | QC-009 Amplitude amplification: the Grover oracle check (oracle is a 0/1 string of length 2..8, marked is the INDEX of its unique 1) plus the presented iterate count; at N=4 exactly one iteration amplifies the marked entry, so iterations mu Inputs: iterations, marked, oracle |
verify_amplitude_estimation | QC-010 Amplitude estimation. fraction must equal M/N exactly. Floats refused. Inputs: fraction, M, N |
verify_bell_measurement | QC-018 Bell measurement: certify that the presented Bell class bits equal the presented two-qubit pair. ab is the two measured bits (e.g. 00, 11) and class is the two class bits the caller claims; WIN when they agree, MISS naming both when Inputs: ab, class |
verify_bernstein_vazirani | QC-007 Bernstein-Vazirani. answers[i] = popcount(hidden AND query_i) mod 2. Floats refused. Inputs: answers, hidden, queries |
verify_deutsch_jozsa | QC-006 Deutsch-Jozsa. table is 0/1 of length 2 or 4. class is constant or balanced. Floats refused. Inputs: class, table |
verify_grover | QC-002 Grover presented-oracle verifier. oracle is a 0/1 string of length 2..8; marked is the unique 1-index. Does not search the space. Floats refused. Inputs: marked, oracle |
verify_hhl | QC-005 HHL. n<=2 integer A and rational b,x. Checks A x = b exactly. Does not invert. Floats refused. Inputs: b, matrix, x |
verify_jordan_bond | Decide the UUM-8D Jordan bond J_Z: does (A*K + A_p1*K) - (K*B + K*B_p2) equal the zero lattice 0^8? A, B and K are eight decimal lanes and a homology z, x0,x1,x2,x3,x4,x5,x6,x7|z. Returns proven AFFINE_JZ_SHEAR_ZERO with the shear lattice ( Inputs: A, B, K, object, q_hex, source_creator_hash |
verify_n_representability | QMA N-representability on a 2×2 rational 2-RDM. rho2 and n are decimal strings. Float SDP refused. Same law as math_court domain qma_nrep. Inputs: n, rho2 |
verify_period | Presented period: a^r == 1 (mod N), gcd(a,N)=1. Optional proper_divisors must not themselves be periods. Does not search for r. Floats refused. Inputs: a, N, proper_divisors, r |
verify_phase_kickback | QC-011 Phase kickback: certify that the presented phase equals k / 2^m exactly, as a rational. m is the register width (decimal), k the integer eigenphase index, phase the claimed rational written num/den (e.g. 1/2 for m=1, k=1). WIN or MIS Inputs: k, m, phase |
verify_presented_pair | QC-021 Presented two-way affine pair. A (or k) is the private face — 64-hex or decimal; Q (or q_hex) is the public face. A == x(Q) is the FALSE FACE — x(Q) is public data, APART_x_of_Q_is_public_not_a_face, never WIN (founder 2026-09-02). T Inputs: A, k, Q, q_hex |
verify_qaoa_energy | QC-014 QAOA: certify the energy of a presented spin string on a presented Ising instance - the PROBLEM QAOA optimises, not a pulse schedule and not a search. edges are couplings i,j,J;... (integers), spins are +1,-1,... one per site. Return Inputs: edges, spins |
verify_qft_phases, verify_qpe_phase, verify_quantum_counting, verify_quantum_walk, verify_shor_witness, verify_simon, verify_superdense, verify_teleport, verify_topological_word, verify_vqe_energy, weather.convective_containment
Every block below points at https://affine.earth/language-invariant/mcp. Pick your client and copy.
claude mcp add --transport http affine-earth-math-court https://affine.earth/language-invariant/mcp
{
"mcpServers": {
"affine-earth-math-court": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://affine.earth/language-invariant/mcp"]
}
}
}{
"mcpServers": {
"affine-earth-math-court": {
"url": "https://affine.earth/language-invariant/mcp"
}
}
}{
"servers": {
"affine-earth-math-court": {
"type": "http",
"url": "https://affine.earth/language-invariant/mcp"
}
}
}{
"context_servers": {
"affine-earth-math-court": {
"url": "https://affine.earth/language-invariant/mcp"
}
}
}{
"mcpServers": {
"affine-earth-math-court": {
"serverUrl": "https://affine.earth/language-invariant/mcp"
}
}
}{
"mcpServers": {
"affine-earth-math-court": {
"url": "https://affine.earth/language-invariant/mcp"
}
}
}name: Affine.Earth Math Court
version: 0.0.1
schema: v1
mcpServers:
- name: Affine.Earth Math Court
type: streamable-http
url: https://affine.earth/language-invariant/mcp{
"mcpServers": {
"affine-earth-math-court": {
"httpUrl": "https://affine.earth/language-invariant/mcp"
}
}
}{
"mcpServers": {
"affine-earth-math-court": {
"type": "http",
"url": "https://affine.earth/language-invariant/mcp"
}
}
}{
"mcpServers": {
"affine-earth-math-court": {
"url": "https://affine.earth/language-invariant/mcp"
}
}
}goose://extension?url=https%3A%2F%2Faffine.earth%2Flanguage-invariant%2Fmcp&type=streamable_http&id=affine-earth-math-court&name=Affine.Earth%20Math%20Court
It answered our last check on 19 October 2026 in 100 ms. Over 6 checks since 10 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.
Yes. It is published by affine.earth and served from affine.earth, the vendor's own domain: https://affine.earth/language-invariant/mcp.
51, as returned by the server's own tools/list on 11 September 2026: affine_translate_text, atc.assert_4d_deconfliction, bond_presented_key, code_ir_equiv, corpus_bonds, corpus_capability_map, corpus_coverage, critique_frame, and 43 more.
It answered our last check on 19 October 2026 in 100 ms. Over 6 checks since 10 September 2026 it answered 6.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://affine.earth/language-invariant/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: earth.affine. Endpoint host: affine.earth. ARD identifier: urn:air:earth.affine:mcp:math-court.
First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.