{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_qhz3fx55sd9t","handle":"affine-earth-math-court","url":"https://wellknown.network/agents/affine-earth-math-court","links":{"self":"https://wellknown.network/agents/affine-earth-math-court/record.json","html":"https://wellknown.network/agents/affine-earth-math-court","markdown":"https://wellknown.network/agents/affine-earth-math-court/record.md","api":"https://wellknown.network/api/v1/agents/affine-earth-math-court","status":"https://wellknown.network/api/v1/agents/affine-earth-math-court/status","claim":"https://wellknown.network/agents/affine-earth-math-court/claim","claimApi":"https://wellknown.network/api/v1/claims","badge":"https://wellknown.network/agents/affine-earth-math-court/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:affine.earth:server:affine-earth-math-court","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Affine.Earth Math Court","summary":"No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused.","description":"No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused.","publisher":{"name":"earth.affine","url":null},"homepage":"https://affine.earth/language-game/#researcher","repository":"https://github.com/gaiaftcl-sudo/uum8dSolarResearch","version":"2026.8.24","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://affine.earth/language-invariant/mcp","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"https://affine.earth/language-invariant/mcp/sse","type":"mcp_sse","auth":null,"probeable":true}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-08-23T21:58:40.371485Z","publishedAt":"2026-08-23T21:58:40.371485Z","registryName":"earth.affine/math-court"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"automation.workflows","name":"Workflow Automation","confidence":0.977,"provenance":"derived"},{"slug":"data.news","name":"News & Feeds","confidence":0.919,"provenance":"derived"},{"slug":"ai.evaluation","name":"Evaluation & Benchmarks","confidence":0.554,"provenance":"derived"},{"slug":"analytics.product","name":"Product Analytics","confidence":0.54,"provenance":"derived"},{"slug":"security.identity","name":"Identity & Access","confidence":0.525,"provenance":"derived"},{"slug":"data.weather","name":"Weather","confidence":0.51,"provenance":"derived"},{"slug":"commerce.ecommerce","name":"E-commerce Operations","confidence":0.51,"provenance":"derived"}],"categories":["ai","analytics","automation","commerce","data","security"]},"observed":{"status":"live","statusReason":"Responded 2h ago.","lastOkAt":"2026-09-06T01:23:50.110Z","lastProbedAt":"2026-09-06T01:23:50.110Z","statusComputedAt":"2026-09-06T01:24:40.749Z","reliability30d":{"probes":2,"successRate":1,"p50Ms":108},"latestObservations":[{"at":"2026-09-06T01:23:50.110Z","kind":"http_get","ok":true,"httpStatus":200,"latencyMs":107,"error":null,"detail":{"sse":true,"contentType":"text/event-stream; charset=utf-8"}},{"at":"2026-09-06T01:23:49.995Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":109,"error":null,"detail":{"tools":[{"name":"atc.assert_4d_deconfliction","description":"Exact 4D separation over declared trajectories in integer-scaled geodetic coordinates: decide whether any two are ever SIMULTANEOUSLY inside the stated separati"},{"name":"code_ir_equiv","description":"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 tw"},{"name":"corpus_bonds","description":"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"},{"name":"corpus_capability_map","description":"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"},{"name":"corpus_coverage","description":"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"},{"name":"critique_frame","description":"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"},{"name":"execute_2local_hamiltonian","description":"QMA 2-local Hamiltonian as exact rational Jordan exclusions on the UUM-8D torus. constraints and config are decimal strings. Floats refused. Same law as math_co"},{"name":"execute_artifact_crucible","description":"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"},{"name":"execute_exact_permanent","description":"#P exact integer permanent, n≤3. matrix is a decimal-string grid. Float permanent refused. Same law as math_court domain qma_permanent."},{"name":"execute_transition","description":"Certified membrane: Rational S4/C4 lanes -> SCF boundary -> annihilate raw context -> NATS geometry-only turn -> Aristotelian projection. IDEMPOTENT: this membr"},{"name":"expose","description":"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"},{"name":"feeds_catalog","description":"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"},{"name":"game_frame_meta","description":"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"},{"name":"ide_rebuild_mesh","description":"Trigger a Mac mesh rebuild from the IDE. Only permitted on the founder cell."},{"name":"lattice_op","description":"UUM-8D lattice algebra. op is verify, shear, add, sub, mul, distance, locking_distance, lane_mask, park, permute_p1, permute_p2, is_zero. A, B, K as x0,x1,x2,x3"},{"name":"math_court","description":"Affine.Earth math court. domain+role+source run LatticeDomainIntegration (geometry Ehrhart, chance QPR, algebra Connes, physics table, health, finance, integer "},{"name":"membrane_health","description":"Stateless membrane identity (mode, genesis epoch, subjects) plus cell listen facts."},{"name":"noaa_goes_r_weather","description":"Live NOAA weather for the aviation radar lane. lane=weather returns real convective SIGMET hazard polygons (aviationweather.gov airsigmet) with altitude tops an"},{"name":"project_affine_key","description":"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"},{"name":"project_shor_twin","description":"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) "},{"name":"route_spin_glass_manifold","description":"QMA spin-glass / frustrated Ising as discrete ±1 torus vectors. edges and spins are decimal strings. Floats refused. Same law as math_court domain qma_spinglass"},{"name":"twin.robotics.evaluate_exact_ik","description":"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. "},{"name":"umc_direct","description":"Universal Manifold Controller GAV direct: seed (optional) -> decompose -> measure Rational torsion -> shear-correct -> converge. Domains: cinema|aviation|gaming"},{"name":"umc_resume","description":"Resume UMC Long Play from latest tip (local cache / NATS KV). Domains: cinema|aviation|gaming|coding."},{"name":"umc_status","description":"UMC tip + documented MCP tool surface + NATS subjects (gaiaftcl.umc.state.> / gaiaftcl.agent.state.>)."},{"name":"verify_amplitude_amplification","description":"QC-009 Amplitude amplification. Grover oracle plus presented iterate count. N=4 requires iterations=1. Floats refused."},{"name":"verify_amplitude_estimation","description":"QC-010 Amplitude estimation. fraction must equal M/N exactly. Floats refused."},{"name":"verify_bell_measurement","description":"QC-018 Bell class. class bits must equal the presented pair. Floats refused."},{"name":"verify_bernstein_vazirani","description":"QC-007 Bernstein-Vazirani. answers[i] = popcount(hidden AND query_i) mod 2. Floats refused."},{"name":"verify_deutsch_jozsa","description":"QC-006 Deutsch-Jozsa. table is 0/1 of length 2 or 4. class is constant or balanced. Floats refused."},{"name":"verify_grover","description":"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."},{"name":"verify_hhl","description":"QC-005 HHL. n<=2 integer A and rational b,x. Checks A x = b exactly. Does not invert. Floats refused."},{"name":"verify_jordan_bond","description":"UUM-8D J_Z: shear (A*K + A_p1*K) - (K*B + K*B_p2) = 0^8. A, B, K as decimal lattices x0,x1,x2,x3,x4,x5,x6,x7|z. Optional q_hex/object is a Q-only Affine expose "},{"name":"verify_n_representability","description":"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."},{"name":"verify_period","description":"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."},{"name":"verify_phase_kickback","description":"QC-011 Phase kickback. Presented phase equals k/2^m. Floats refused."},{"name":"verify_presented_pair","description":"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. Co-presented CSV (Q,A) WINs as two face"},{"name":"verify_qaoa_energy","description":"QC-014 QAOA problem, not the pulse schedule. Same Ising law as route_spin_glass_manifold. Presented spin string. Floats refused."},{"name":"verify_qft_phases","description":"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."},{"name":"verify_qpe_phase","description":"QC-004 QPE. Presented phase must equal k/2^m exactly. m<=8. Floats refused."},{"name":"verify_quantum_counting","description":"QC-015 Quantum counting. count equals the number of 1s in the presented oracle. Floats refused."},{"name":"verify_quantum_walk","description":"QC-012 Quantum walk on C2. Even steps return; odd steps flip. Floats refused."},{"name":"verify_shor_witness","description":"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)="},{"name":"verify_simon","description":"QC-008 Simon collision. x != y, x XOR y = mask, f(x)=f(y). Floats refused."},{"name":"verify_superdense","description":"QC-017 Superdense coding. decoded 2 bits must equal sent 2 bits. Floats refused."},{"name":"verify_teleport","description":"QC-016 Teleport reconstruction. bob = alice XOR corrections on 2 bits. Floats refused."},{"name":"verify_topological_word","description":"QC-019 Topological word. Sealed Eisenstein (q,r) for cited words Z2_a2b and Z2_abAB. Not a group scan. Floats refused."},{"name":"verify_vqe_energy","description":"QC-013 VQE problem, not the variational search. Same ZZ law as execute_2local_hamiltonian. Presented config energy. Floats refused."},{"name":"weather.convective_containment","description":"Exact containment of a declared track against convective cell boundaries, including NON-CONVEX footprints: decide whether the track stays outside every declared"}],"toolCount":49,"serverName":"gaiaftcl-edge-membrane","capabilities":["tools"],"serverVersion":"1.0.0","protocolVersion":"2024-11-05"}}],"tools":null,"package":null},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"earth.affine/math-court","url":"https://registry.modelcontextprotocol.io/v0/servers/earth.affine%2Fmath-court","firstSeenAt":"2026-09-05T23:20:59.369Z","fetchedAt":"2026-09-05T23:20:59.369Z","normalizedAt":"2026-09-05T23:20:59.369Z"}]},"firstSeenAt":"2026-09-05T23:20:59.369Z","updatedAt":"2026-09-06T01:24:49.558Z"}