earth.affine/math-court

up checked 2026-11-12T10:37:39.097Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Affine.Earth Math Court

Publisher-provided description

No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused.

Summary by lookupd

Runs integer-only math proofs, physics and finance audits, and grid, weather and robotics safety checks; floating-point inputs are refused.

Install

Claude Code, remote (streamable-http)

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

Claude Code, remote (sse)

claude mcp add --transport sse math-court https://affine.earth/language-invariant/mcp/sse

Codex, remote (streamable-http)

codex mcp add math-court --url https://affine.earth/language-invariant/mcp

Codex, remote (sse)

codex mcp add math-court --url https://affine.earth/language-invariant/mcp/sse

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "math-court": {
      "url": "https://affine.earth/language-invariant/mcp"
    }
  }
}

Cursor, remote (sse) → .cursor/mcp.json

{
  "mcpServers": {
    "math-court": {
      "type": "sse",
      "url": "https://affine.earth/language-invariant/mcp/sse"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (showing 30 of 55)

Publisher-provided text

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 sta
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 separati
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 pubke
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 SOUR
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 a
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 exac
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 exhau
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-iden
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 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 ON
execute_exact_permanent #P exact integer permanent, n≤3, computed by the direct expansion and checked against Ryser's formula. matrix is a decimal-string grid, rows split by | and cell
execute_transition Certified membrane: Rational S4/C4 lanes -> SCF boundary -> annihilate raw context -> NATS geometry-only turn -> Aristotelian projection. IDEMPOTENT: this membr
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 t
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 subj
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, contra
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-form
math_court Affine.Earth math court: one tool, every court domain. domain+role+source run LatticeDomainIntegration (geometry Ehrhart, chance QPR, algebra Connes, physics ta
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 an
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
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)
release_regression Franklin's sign-off over an Affine IDE release regression record. The IDE's regression agent opens every study and writes a canonical tab-separated record of wh
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 of that configuration, ene
scene_compose Compose one stage document from a sea and sealed scene_ingest results. The sea is a 50 x 40 plane (2,000 points, the stage's floor) at z_um on the stage's up ax
scene_ingest Turn a scanned mesh the caller fetched into one welded integer stage mesh and one sealed provenance row, or a named refusal. The caller posts the bytes (bytes_b
study_usda Compose the study document and return it: structuredContent.usda is the root layer's text, name its file name, layers every layer (name, usda). The caller write
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 heig
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, ses

Changes

Newest first, as lookupd saw them

2026-11-12: tool added: atc.assert_4d_deconfliction
2026-11-12: tool added: bond_presented_key
2026-11-12: tool added: code_ir_equiv
2026-11-12: tool added: corpus_bonds
2026-11-12: tool added: corpus_capability_map
2026-11-12: tool added: corpus_coverage
2026-11-12: tool added: critique_frame
2026-11-12: tool added: execute_2local_hamiltonian
2026-11-12: tool added: execute_artifact_crucible
2026-11-12: tool added: execute_exact_permanent
2026-11-12: tool added: execute_transition
2026-11-12: tool added: expose
2026-11-12: tool schema changed: feeds_catalog
2026-11-12: tool added: game_frame_meta
2026-11-12: tool added: ide_rebuild_mesh
2026-11-12: tool added: lattice_op
2026-11-12: tool added: math_court
2026-11-12: tool added: membrane_health
2026-11-12: tool added: noaa_goes_r_weather
2026-11-12: tool added: affine_translate_text

Details

Version: 2026.8.24
Transports: streamable-http, sse
Uptime (7 days): 100%
Median latency: 1198 ms
First indexed: 2026-11-01T09:02:09.920Z
Last seen in registry: 2026-11-01T09:02:09.939Z
Repository: https://github.com/gaiaftcl-sudo/uum8dSolarResearch
Website: https://affine.earth/language-game/#researcher

Badge for your README

Shows this live status and links here; updates hourly.

$lookupd status badge for earth.affine/math-court$

[![lookupd status](https://lookupd.com/badge/earth.affine/math-court.svg)](https://lookupd.com/servers/earth.affine/math-court)

62913 servers
Last crawl: 2026-11-12T23:17:34.858Z
API base: https://api.lookupd.com
MCP URL: https://api.lookupd.com/mcp