# Affine.Earth Math Court (slim) > Affine.Earth Math Court, an MCP server by affine.earth, listed from the official MCP registry. Indexed, not reviewed: facts and our own checks, no score or ranking. No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused. - Full: https://www.anchorterminal.com/tools/affine-math-court.md (~3,150 tokens) · this version ~3,080 tokens · JSON https://www.anchorterminal.com/tools/affine-math-court.json · canonical https://www.anchorterminal.com/tools/affine-math-court - Index: https://www.anchorterminal.com/llms.txt · API: https://www.anchorterminal.com/api/v1/index.json · Updated: 2026-10-05 # Affine.Earth Math Court > Indexed, not reviewed: facts from the official MCP registry and our own checks. No score, grade or rank, and not in the rankings until the panel reviews it. How the index works: https://www.anchorterminal.com/indexed/ - Kind: MCP server, by affine.earth (https://affine.earth/language-game/#researcher) - Listed because: It's published in the registry under affine.earth, a namespace the registry only gives to whoever proves they control that domain. - What the official MCP registry says: No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused. ## Facts - MCP registry: `earth.affine/math-court` 2026.8.24 - Endpoint: https://affine.earth/language-invariant/mcp (streamable HTTP) - Source: https://github.com/gaiaftcl-sudo/uum8dSolarResearch - Website: https://affine.earth/language-game/#researcher - GitHub stars: 2 - Registry entry updated: 2026-08-23 ## Tools - Tools it lists (51, about 27,159 tokens of context, `tools/list` without credentials, checked 2026-10-04 22:25 UTC): - `affine_translate_text`: ONE CALL, ONE STATE, EVERY LANGUAGE A PROJECTION: pass target_langs (or ["*"]) to seal the texts' state once and receive one projection per language, each a… - `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… - `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… - `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 TEXTUAL LLVM IR, NOT… - `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… - `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… - `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… - `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… - `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… - `execute_artifact_crucible`: (not repeated here: it reads like a rating or a usage claim) - `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. - `execute_transition`: Certified membrane: Rational S4/C4 lanes -> SCF boundary -> annihilate raw context -> NATS geometry-only turn -> Aristotelian projection. IDEMPOTENT: this… - `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… - `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… - `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,… - `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… - `math_court`: Affine.Earth math court: one tool, every court domain. domain+role+source run LatticeDomainIntegration (geometry Ehrhart, chance QPR, algebra Connes, physics… - `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… - `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… - `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)… - `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… - `twin.robotics.evaluate_exact_ik`: Exact integer FORWARD pose of a fixed seven-piece avatar rig - it takes no target pose and derives no joint values from one; that solver is not built here. The… - `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… - `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,… - `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… - `verify_amplitude_amplification`: QC-009 Amplitude amplification: the Grover oracle check plus the presented iterate count. THE BOUND IS N=4: oracle is a 0/1 string of length exactly 4 with… - `verify_amplitude_estimation`: QC-010 Amplitude estimation. fraction must equal M/N exactly. Floats refused. - `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… - `verify_bernstein_vazirani`: QC-007 Bernstein-Vazirani: answers[i] = popcount(hidden AND query_i) mod 2 for every query. The separator between queries is ';' - the working call is… - `verify_deutsch_jozsa`: QC-006 Deutsch-Jozsa. table is 0/1 of length 2 or 4. class is constant or balanced. Floats refused. - `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. - `verify_hhl`: QC-005 HHL. n<=2 integer A and rational b,x. Checks A x = b exactly. Does not invert. Floats refused. - `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,… - `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. - `verify_period`: Presented period: a^r == 1 (mod N), gcd(a,N)=1, and none of the posted proper_divisors is itself a period (the order claim). All four fields are required: a,… - `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… - `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, object) is the public face; lock_q is a lock face to… - `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.… - `verify_qft_phases`: QC-003 QFT phase table. phase[j]=(j*k)/n as exact rationals. n in {2,4,8}. No sqrt(n) on the wire. Floats refused. - `verify_qpe_phase`: QC-004 QPE. Presented phase must equal k/2^m exactly. m<=8. Floats refused. - `verify_quantum_counting`: QC-015 Quantum counting: certify that count equals the number of 1s in the presented oracle string. oracle is a 0/1 string of length 2..8 (the marked entries… - `verify_quantum_walk`: QC-012 Quantum walk on the two-vertex cycle C2: from start (0 or 1), an even number of steps returns to start and an odd number lands on the other vertex;… - `verify_shor_witness`: QC-001 Shor witness certifier. Presented (N, halfPow, factor, cofactor) as decimal strings. halfPow squared == 1 (mod N), halfPow != 1 or N-1,… - `verify_simon`: QC-008 Simon collision: certify a presented collision for a hidden mask. x and y are equal-length bit strings with x != y and x XOR y == mask, and f(x) == f(y)… - `verify_superdense`: QC-017 Superdense coding. decoded 2 bits must equal sent 2 bits. Floats refused. - `verify_teleport`: QC-016 Teleport reconstruction. bob = alice XOR corrections on 2 bits. Floats refused. - `verify_topological_word`: QC-019 Topological word: certify that the presented Eisenstein pair (q, r) is the sealed pair for a cited word. word is one of the two cited words Z2_a2b or… - `verify_vqe_energy`: QC-013 VQE problem, not the variational search. Same ZZ law as execute_2local_hamiltonian. Presented config energy. Floats refused. - `weather.convective_containment`: Exact containment of a declared track against convective cell boundaries, including NON-CONVEX footprints: decide whether the track stays outside every… - How its tools read to an agent (0 errors, 68 warnings, 1 note, about 27,159 tokens; rules at https://www.anchorterminal.com/check.md; not part of the score): - warn TC02 atc.assert_4d_deconfliction: the name has a dot - warn TC02 twin.robotics.evaluate_exact_ik: the name has a dot - warn TC02 weather.convective_containment: the name has a dot - warn TC07 affine_translate_text: the description is about 1,400 tokens - warn TC07 execute_artifact_crucible: the description is about 612 tokens - warn TC13 execute_transition: economics (object with no properties) - warn TC14 execute_transition: allowed values are in the description, not an enum: client_signature - warn TC14 expose: allowed values are in the description, not an enum: kind - warn TC14 math_court: allowed values are in the description, not an enum: scenario - warn TC15 bond_presented_key: inputSchema has anyOf at the top level - warn TC15 project_affine_key: inputSchema has anyOf at the top level - warn TC15 project_shor_twin: inputSchema has anyOf at the top level - warn TC15 verify_presented_pair: inputSchema has anyOf at the top level - warn TC15 verify_shor_witness: inputSchema has anyOf at the top level - warn TC16 affine_translate_text: no readOnlyHint or destructiveHint - warn TC16 atc.assert_4d_deconfliction: no readOnlyHint or destructiveHint - warn TC16 bond_presented_key: no readOnlyHint or destructiveHint - warn TC16 code_ir_equiv: no readOnlyHint or destructiveHint - warn TC16 corpus_bonds: no readOnlyHint or destructiveHint - warn TC16 corpus_capability_map: no readOnlyHint or destructiveHint - warn TC16 corpus_coverage: no readOnlyHint or destructiveHint - warn TC16 critique_frame: no readOnlyHint or destructiveHint - warn TC16 execute_2local_hamiltonian: no readOnlyHint or destructiveHint - warn TC16 execute_artifact_crucible: no readOnlyHint or destructiveHint - JSON: https://www.anchorterminal.com/api/v1/tools/affine-math-court.json - Being indexed says nothing about quality, and nobody can pay for it. Ask for a review: https://www.anchorterminal.com/builders/#claiming