Affine.Earth Math Court

ติดตั้ง

เลือกโปรแกรม AI ที่คุณใช้ แล้วคัดลอกค่าตั้งไปวาง

ผลตรวจผ่าน 4/5 · สิ่งที่คุณถามผ่านเซิร์ฟเวอร์ของผู้ทำ (affine.earth) · ✓ ตรวจคำสั่งแล้ว 13 พ.ย. 2569

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

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

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

ใช้กับโปรแกรมไหนได้

ดูจากแบบการต่อของ server ตัวนี้ และเอกสารของผู้ทำโปรแกรมแต่ละตัว ตรวจเมื่อ 10 พ.ย. 2569

ต่อผ่านคลาวด์ได้ใน

ClaudeChatGPTGooseLM StudioMsty StudioCherry StudioCursorVS Code + GitHub CopilotVisual StudioWindsurf (Devin Desktop)ZedKiroClineContinueJetBrains AI AssistantClaude CodeCodex CLIGemini CLIOpenCodenodecodeWarpLibreChatOpen WebUIRaycast

ดูโปรแกรมทั้งหมดพร้อมข้อดีข้อเสีย →

ทำอะไรได้บ้าง

ชื่อและคำอธิบายเครื่องมือตามที่ server ตอบมาเมื่อ 10 พ.ย. 2569 ผู้ทำเป็นคนเขียน ไม่ใช่เรา แสดงเป็นข้อความล้วน

• 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 one. Instant meaning translator on the substrate's own ψ chart

• 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 the exact interval and magnitude of the

• 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 face, 64-hex or decimal; k is the same fa

• 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 {path, content}, or files as an array of two) produced by clang

• 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. Stateless: pin at_seq for a byte-stable census on every cell, or o

• 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 discovered from the subjects they wrote

• 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 0-1000 and returns span/pitch deltas as

• 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 of that configuration (z = 1-2s per site; each term adds jnum/jden * z_i * z_j). cons

• 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. THE BRIEF TEMPLATE is https://affine.earth/language-game/court-client.brief.txt: four bracketed sect

• 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 cells by commas. Returns energy_num = the permanent, energy_den = 1; verdict is WIN when it equals 6 - QMACourtLaw.fixturePe

• 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 request is admitted and returns the ident

• 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_witness + topological_shear. period_r carr

• 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, t, n, at_seq) fully determine the resu

• 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-wise), distance and locking_distance (i

• 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 / spin-glass / N-rep / permanent, QC-001..019 presented-confi

• 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 scales, planetary K and OVATION aurora.

• 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, closes for every A in [1, n-1]. Post BOTH A

• 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 factor, a == -1 mod cofactor). The project

• 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 what it saw: one stage arm per study (route and the viewer actually showing), the rail, the chat, the en/es/ar locales, th

• 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, energy_num = the sum of J * s_i * s_j over the posted edges and energy_den = 1, detail energy=E. edges are i,j,J;... (the f

• 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 axis (the stage is Y-up). Every asset is held to its seal by SceneProvenanceLaw.verify: its usda is read back into a mesh,

• 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_b64, or an ASCII STL as text), the URL and HTTP status they came from, and the catalog's raw license response; the court

• 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 writes them into its own studies directory; the court writes nothing. A Franklin avatar prompt composes the guidance stage. A

• 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 eye globe, right eye globe, left upper lid, left lower lid, r

• 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, converge, and (with checkpoint=true) se

• 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 MESH: requires a caller identity (user_vq

• 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 documented MCP tool surface. Takes no arg

• 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. 3), and iterations must be 1 - one Grover iterate at N=4 is e

• 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, MISS naming both when they do not. A presented witness is veri

• 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 queries (100,010,001) are REFUSED_SHAPE. All three fields re

• 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 with the shear lattice (all zeros) when the bond holds, AFFINE_J

• 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, proper_divisors=1,2 -> WIN 'a^4 == 1 mod 15'. A call missing one returns REFU

• 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 MISS with the exact rational the court comp

• 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 data, APART_x_of_Q_is_public_not_a_face, never WIN (founder 2026-

• 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. Returns the exact energy of the presented stri

• 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. WIN when equal, MISS naming the true count. A presented witn

• 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 decimal strings (start and end are 0 or 1). WIN or MISS nami

• 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 q_hex/object is a Q-only Affine expose (no k): returns patos

• 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 three hold, MISS naming the failing relation. The mask is pr

• 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: compare a presented Eisenstein pair (q, r) with the pair the law holds for a named word. word is one of the two words the law holds a pair for, Z2_a2b or Z2_abAB; any other word is REFUSED_WORD (not a group scan). q and r are the claimed integers. WIN whe

• verify_vqe_energy

  QC-013 VQE problem, not the variational search. Same ZZ law as execute_2local_hamiltonian: returns the exact energy energy_num/energy_den of the presented config, graded against the one energy QMACourtLaw holds a seal for (-1/1, constraints 0,1,1,1 with config 0,1). WIN means the

• 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 name the breaching segment, the cell, how the breach happens an

ผลตรวจเบื้องต้นi

เราตรวจจากข้อมูลที่ใครก็เปิดดูได้ ยังไม่ได้อ่านโค้ด ข้อที่ไม่เกี่ยวกับตัวนี้ไม่นับในตัวหาร · ตรวจเมื่อ 14 พ.ย. 2569

• ! ควรระวัง

  ตัวตนผู้ทำตรงกับ repo

  ผู้ลงทะเบียน (affine.earth) ไม่ใช่เจ้าของ repo (gaiaftcl-sudo) อาจเป็นคนอื่นที่นำมาลงต่อ

• ✓ ผ่าน

  ยังมีคนดูแล

  มีการแก้โค้ดล่าสุด 3 วันที่ผ่านมา

• ✓ ผ่าน

  มีสัญญาอนุญาต (license)

  ใช้ MIT

• ✓ ผ่าน

  endpoint ตอบ

  ตอบกลับใน 435 ms (HTTP 200)

• – ไม่เกี่ยว

  ล็อกอินแบบ OAuth

  ไม่ต้องล็อกอิน

• ✓ ผ่าน

  คำอธิบายเครื่องมือไม่มีคำสั่งแอบแฝง

  อ่านคำอธิบายเครื่องมือ 55 ตัวแล้ว ไม่พบคำสั่งแอบแฝงถึง AI

รีวิวจากผู้ใช้

ยังไม่มีรีวิว

เข้าสู่ระบบด้วย Google เพื่อเขียนรีวิว

เทียบกับตัวอื่นในหมวด กฎหมายและข้อมูลภาครัฐi

• ดาวมากกว่า 0% ของอีก 1840 ตัวในหมวดนี้
• ส่งรุ่นใหม่เข้า registry ล่าสุดกว่า 28% ของอีก 1840 ตัวในหมวดนี้
• ผลตรวจเบื้องต้นดีกว่าหรือเท่ากับ 52% ของอีก 1840 ตัวในหมวดนี้

เทียบกับทุก server ที่ยังใช้งานในหมวดนี้ทั้งทะเบียน ดาวนับเฉพาะเมื่อผู้ลงทะเบียนเป็นเจ้าของ repo

ตัวอื่นในหมวดเดียวกัน

server หมวดเดียวกันจากผู้ทำคนอื่น เรียงตามดาว

อ่านการ์ด:↓ ดาวน์โหลดต่อสัปดาห์i★ ดาว GitHubiสามเสา: รีวิว · ผลตรวจ · การใช้งานiอัปเดต = วันที่ส่งรุ่นล่าสุดเข้า registryi

Korean Law MCP

Korean law: statutes, precedents, ordinances, treaties and citation verification (법제처 API).

โดย chrisryugj·ใช้กันมาก·★ 2.9K·อัปเดต 11 วันที่ผ่านมา

รันบนคลาวด์

วิธีต่อ

Global law

The law of nearly every country on earth, any date: read it, see what changed it, check citations.

โดย lexifina·ใช้กันมาก·★ 2K·อัปเดต 4 วันที่ผ่านมา

รันบนคลาวด์✓ lexifina.com

วิธีต่อ

Tw Legal Rag

Taiwan law MCP server: 22M court judgments, statutes, agency rulings, with citation checks

โดย aa0101181514·กำลังโต·★ 346·อัปเดต เมื่อวานซืน

รันบนคลาวด์

วิธีต่อ

README จากผู้ทำ

{

bash clients/math-court-mcp/prove/prove-math-court-agent-ingest.sh

clients/math-court-mcp/