Not reviewed
No score, grade or rank. This listing is facts from the official MCP registry and our own checks, and it stays out of the rankings until the panel reviews it.
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- Also hosted
https://affine.earth/language-invariant/mcp/ssesse- GitHub stars
- 2
- Registry entry
- updated 23 Aug 2026
From the official MCP registry, the package registries and our own checks. JSON · Markdown
Why it's listed
- It's published in the registry under affine.earth, a namespace the registry only gives to whoever proves they control that domain.
Being indexed says nothing about quality, and nobody can pay for it. Is this yours? Ask for a review.
Tools it lists 51 · about 27,159 tokens of context · checked 27 minutes ago
| Tool | What it does | Hint |
|---|---|---|
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 stateless map of that same state; target_lang alone returns… | |
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… | |
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… | |
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 SOURCE: submit two .ll files (left_file and right_file, each… | |
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. | |
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.… | |
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.… | |
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… | |
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… | |
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 membrane is stateless and keeps no record of a signature, so… | |
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… | |
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.… | |
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… | |
math_court | Affine.Earth math court: one tool, every court domain. domain+role+source run LatticeDomainIntegration (geometry Ehrhart, chance QPR, algebra Connes, physics table, health, finance, integer industry courts, QMA 2-local… | |
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… | |
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,… | |
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… | |
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… | |
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 rig is the head and its eyes: piece ids 0-6 are head, left… | |
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… | |
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… | |
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… | |
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 exactly one 1 (e.g. 0001), marked is the index of that 1 (e.g.… | |
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 the two class bits the caller claims; WIN when they agree,… | |
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 hidden=101, queries=100;010;001, answers=101 -> WIN. Comma-separated… | |
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, x0,x1,x2,x3,x4,x5,x6,x7|z. Returns proven AFFINE_JZ_SHEAR_ZERO… | |
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, N, r, proper_divisors - e.g. a=2, N=15, r=4,… | |
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… | |
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 against. A == x(Q) is the FALSE FACE - x(Q) is public… | |
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,...… | |
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 are the 1s), count is the claimed number as a decimal string.… | |
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; certify that the presented end matches. steps, start and end are… | |
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, gcd(halfPow-1,N)=factor, factor*cofactor=N. Does not find a period. Optional… | |
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) (fx and fy are the presented function values). WIN when all… | |
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 Z2_abAB (the sealed corpus; not a group scan), q and r are the… | |
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 declared cell within that cell's altitude layer, and on a breach… |
What https://affine.earth/language-invariant/mcp answered to tools/list, asked without credentials. answered without the initialize handshake. The token figure is the size of the list as sent, divided by four; a model sees about that much before it calls anything. Full definitions, input schemas included, are in the listing's JSON under mcpTools.
How its tools read to an agent 0 errors · 68 warnings · 1 note
- warnTC02atc.assert_4d_deconflictionthe name has a dot
- warnTC02twin.robotics.evaluate_exact_ikthe name has a dot
- warnTC02weather.convective_containmentthe name has a dot
- warnTC07affine_translate_textthe description is about 1,400 tokens
- warnTC07execute_artifact_cruciblethe description is about 612 tokens
- warnTC13execute_transitioneconomics (object with no properties)
- warnTC14execute_transitionallowed values are in the description, not an enum: client_signature
- warnTC14exposeallowed values are in the description, not an enum: kind
- warnTC14math_courtallowed values are in the description, not an enum: scenario
- warnTC15bond_presented_keyinputSchema has anyOf at the top level
- warnTC15project_affine_keyinputSchema has anyOf at the top level
- warnTC15project_shor_twininputSchema has anyOf at the top level
- warnTC15verify_presented_pairinputSchema has anyOf at the top level
- warnTC15verify_shor_witnessinputSchema has anyOf at the top level
- warnTC16affine_translate_textno readOnlyHint or destructiveHint
- warnTC16atc.assert_4d_deconflictionno readOnlyHint or destructiveHint
- warnTC16bond_presented_keyno readOnlyHint or destructiveHint
- warnTC16code_ir_equivno readOnlyHint or destructiveHint
- warnTC16corpus_bondsno readOnlyHint or destructiveHint
- warnTC16corpus_capability_mapno readOnlyHint or destructiveHint
- warnTC16corpus_coverageno readOnlyHint or destructiveHint
- warnTC16critique_frameno readOnlyHint or destructiveHint
- warnTC16execute_2local_hamiltonianno readOnlyHint or destructiveHint
- warnTC16execute_artifact_crucibleno readOnlyHint or destructiveHint
The first 24 of 69; every finding is in the listing's JSON under mcpTools.check.
The checks from /check and anchor check, run each day on the list above: about 27,159 tokens of definitions. Not part of the score yet. Check your own server.