Affine.Earth Math Court
REMOTE · AFFINE.EARTH · 2 COMPONENTS
No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused.
Available components
Last scanned (12 hours ago)
Scores higher than 58% of remote servers
Reachable. Last reached 5 Nov 2026.
Category Developer Tools
How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. How we score → Why this is hard to score →
Endpoint Security63
- The endpoint's TLS certificate is valid, in date, and uses a strong key. View diagnostics → Pass
- Authorisation not fully verified: no authorisation is required to call this server, and 55 tool(s) never declared a destructiveHint. The MCP spec treats an absent hint as destructive by default, so we cannot call this surface safe. See how to fix → View diagnostics → Unverified
- HTTPS is enforced; there's no plaintext access path. View diagnostics → Pass
- The HSTS (Strict-Transport-Security) header is present. View diagnostics → Pass
- DNSSEC check failed: this domain isn't protected by DNSSEC. See how to fix → View diagnostics → Fail
Transport & Reachability100
- Verified streamable-http transport via a live MCP handshake. View diagnostics → Pass
Schema Quality & AI Usability55
- AI-judged instruction clarity (excellent).Pass
- Context-footprint check failed: tool/resource definitions use about 28791 tokens (~523/item across 55 items; 55 tools + 0 resources), over budget; trim descriptions and params. See how to fix → Fail
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management100
- No destabilizing schema changes in the last 30 days.Pass
Tool Coverage100
- 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
- 100% of tool parameters carry a description.Pass
Tool Safety75
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- 0 of 4 tool(s) whose name or description implies an irreversible operation declare an MCP destructiveHint annotation; "execute_2local_hamiltonian" implies "execute" and declares no destructiveHint at all, which the MCP spec reads as destructive by default. See how to fix → Fail
- An AI judge read all 56 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities20
- Spec-recency check failed: implements MCP spec 2024-11-05; the latest is 2026-07-28. See how to fix → Fail
Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 2 Nov 26 +2
- HSTS header: fail → pass ▲ security
- 30 Oct 26 +3
- Stability: fail → pass ▲ security
- 17 Oct 26 0
- New tool “scene_ingest” functional
- New tool “scene_compose” functional
- 10 Oct 26 0
- Tool “execute_2local_hamiltonian” rewrote its description, which is the text the model reads security
- Tool “execute_exact_permanent” rewrote its description, which is the text the model reads security
- Tool “verify_vqe_energy” rewrote its description, which is the text the model reads security
- Tool “verify_topological_word” rewrote its description, which is the text the model reads security
- Tool “verify_qaoa_energy” rewrote its description, which is the text the model reads security
- Tool “route_spin_glass_manifold” rewrote its description, which is the text the model reads security
- “math_court” reworded the description of “table_counts” cosmetic
- “math_court” reworded the description of “clock” cosmetic
- “math_court” reworded the description of “track” cosmetic
- 30 Sept 26 0
First indexed and scored.
- Schema quality: 329 → 501 ▼ functional
- “verify_simon” made “x” required, so existing callers break ▼ functional
- “verify_quantum_walk” made “steps” required, so existing callers break ▼ functional
- “verify_topological_word” made “word” required, so existing callers break ▼ functional
- “verify_superdense” made “decoded” required, so existing callers break ▼ functional
- “verify_phase_kickback” made “phase” required, so existing callers break ▼ functional
- “verify_qft_phases” made “n” required, so existing callers break ▼ functional
- “verify_period” made “r” required, so existing callers break ▼ functional
- “verify_simon” made “y” required, so existing callers break ▼ functional
- “verify_quantum_walk” made “end” required, so existing callers break ▼ functional
- “verify_quantum_counting” made “count” required, so existing callers break ▼ functional
- “verify_teleport” made “corrections” required, so existing callers break ▼ functional
- “verify_deutsch_jozsa” made “table” required, so existing callers break ▼ functional
- “verify_amplitude_estimation” made “M” required, so existing callers break ▼ functional
- “verify_grover” made “oracle” required, so existing callers break ▼ functional
- “verify_topological_word” made “r” required, so existing callers break ▼ functional
- “verify_period” made “N” required, so existing callers break ▼ functional
- “project_shor_twin” made “N” required, so existing callers break ▼ functional
- “verify_quantum_counting” made “oracle” required, so existing callers break ▼ functional
- “verify_bell_measurement” made “ab” required, so existing callers break ▼ functional
- “verify_quantum_walk” made “start” required, so existing callers break ▼ functional
- “verify_teleport” made “bob” required, so existing callers break ▼ functional
- “verify_qft_phases” made “k” required, so existing callers break ▼ functional
- “verify_qaoa_energy” made “edges” required, so existing callers break ▼ functional
- “verify_amplitude_amplification” made “iterations” required, so existing callers break ▼ functional
- “verify_period” made “proper_divisors” required, so existing callers break ▼ functional
- “verify_hhl” made “matrix” required, so existing callers break ▼ functional
- “verify_bernstein_vazirani” made “answers” required, so existing callers break ▼ functional
- “verify_grover” made “marked” required, so existing callers break ▼ functional
- “verify_teleport” made “alice” required, so existing callers break ▼ functional
- “verify_bernstein_vazirani” made “queries” required, so existing callers break ▼ functional
- “verify_amplitude_estimation” made “N” required, so existing callers break ▼ functional
- “verify_qpe_phase” made “phase” required, so existing callers break ▼ functional
- “verify_topological_word” made “q” required, so existing callers break ▼ functional
- “verify_deutsch_jozsa” made “class” required, so existing callers break ▼ functional
- “verify_hhl” made “b” required, so existing callers break ▼ functional
- “verify_bell_measurement” made “class” required, so existing callers break ▼ functional
- “verify_qpe_phase” made “k” required, so existing callers break ▼ functional
- “verify_bernstein_vazirani” made “hidden” required, so existing callers break ▼ functional
- “verify_vqe_energy” made “constraints” required, so existing callers break ▼ functional
- “verify_phase_kickback” made “k” required, so existing callers break ▼ functional
- “verify_period” made “a” required, so existing callers break ▼ functional
- “verify_amplitude_estimation” made “fraction” required, so existing callers break ▼ functional
- “verify_amplitude_amplification” made “oracle” required, so existing callers break ▼ functional
- “verify_simon” made “fx” required, so existing callers break ▼ functional
- “verify_simon” made “fy” required, so existing callers break ▼ functional
- “verify_qft_phases” made “phases” required, so existing callers break ▼ functional
- “verify_vqe_energy” made “config” required, so existing callers break ▼ functional
- “verify_simon” made “mask” required, so existing callers break ▼ functional
- “verify_qpe_phase” made “m” required, so existing callers break ▼ functional
- “verify_hhl” made “x” required, so existing callers break ▼ functional
- “verify_phase_kickback” made “m” required, so existing callers break ▼ functional
- Tool coverage: 84% → 100% ▲ functional
- Too many changes on this day to record them all, so 203 were dropped functional
- Schema quality: good → excellent functional
- Server version: 1.0.0 → 5.0.0 functional
- “math_court” added an optional parameter “mc_toward_y” cosmetic
- “math_court” added an optional parameter “mc_toward_z” cosmetic
- “math_court” added an optional parameter “mc_wall_thin_units” cosmetic
- “umc_direct” added an optional parameter “entity_id” cosmetic
- “math_court” added an optional parameter “mc_toward_x” cosmetic
- “umc_direct” added an optional parameter “user_vqbit_hash” cosmetic
- “verify_presented_pair” added an optional parameter “object” cosmetic
- “math_court” added an optional parameter “mc_wall_y” cosmetic
- “umc_resume” added an optional parameter “entity_id” cosmetic
- “math_court” added an optional parameter “mc_att_y” cosmetic
- “math_court” added an optional parameter “mc_gap_w_units” cosmetic
- “code_ir_equiv” reworded the description of “right_file” cosmetic
- “verify_period” reworded the description of “N” cosmetic
- “verify_shor_witness” reworded the description of “halfPow” cosmetic
- “verify_topological_word” reworded the description of “q” cosmetic
- “verify_jordan_bond” reworded the description of “object” cosmetic
- “math_court” reworded the description of “term” cosmetic
- “verify_simon” reworded the description of “fx” cosmetic
- “math_court” reworded the description of “hz” cosmetic
- “twin.robotics.evaluate_exact_ik” reworded the description of “relative_to_head” cosmetic
- “math_court” reworded the description of “ticks” cosmetic
- “corpus_bonds” reworded the description of “sector” cosmetic
- “math_court” reworded the description of “mc_budget_units” cosmetic
- “execute_transition” reworded the description of “economics” cosmetic
- “math_court” reworded the description of “num2” cosmetic
- “math_court” reworded the description of “mc_to_y” cosmetic
- “math_court” reworded the description of “mp_id” cosmetic
- “math_court” reworded the description of “snr_ppt” cosmetic
- “math_court” reworded the description of “rounds” cosmetic
- “math_court” reworded the description of “constraints” cosmetic
- “affine_translate_text” reworded the description of “source_lang” cosmetic
- “math_court” reworded the description of “die_a” cosmetic
- “math_court” reworded the description of “ab” cosmetic
- “verify_qpe_phase” reworded the description of “phase” cosmetic
- “math_court” reworded the description of “die_c” cosmetic
- “math_court” reworded the description of “mc_to_x” cosmetic
- “math_court” reworded the description of “label_int” cosmetic
- “umc_resume” reworded the description of “direct” cosmetic
- “math_court” reworded the description of “nm” cosmetic
- “verify_teleport” reworded the description of “bob” cosmetic
- “math_court” reworded the description of “end” cosmetic
- “math_court” reworded the description of “lipinski_violations” cosmetic
- “expose” reworded the description of “object” cosmetic
- “verify_simon” reworded the description of “fy” cosmetic
- “math_court” reworded the description of “mc_centre_z” cosmetic
- “verify_teleport” reworded the description of “alice” cosmetic
- “verify_bernstein_vazirani” reworded the description of “answers” cosmetic
- “math_court” reworded the description of “mc_centre_y” cosmetic
- “math_court” reworded the description of “deci_dobson” cosmetic
- “code_ir_equiv” reworded the description of “left_ir” cosmetic
- “atc.assert_4d_deconfliction” reworded the description of “lon_scale_den” cosmetic
- “execute_artifact_crucible” reworded the description of “target_architecture” cosmetic
- “math_court” reworded the description of “oracle” cosmetic
- “verify_jordan_bond” reworded the description of “A” cosmetic
- “verify_shor_witness” reworded the description of “object” cosmetic
- “expose” reworded the description of “kind” cosmetic
- “project_affine_key” reworded the description of “q_hex” cosmetic
- “execute_transition” reworded the description of “bond_status” cosmetic
- “math_court” reworded the description of “phase” cosmetic
- “math_court” reworded the description of “jet_counts” cosmetic
- “math_court” reworded the description of “phi_in” cosmetic
- “math_court” reworded the description of “operator” cosmetic
- “math_court” reworded the description of “mc_tick” cosmetic
- “atc.assert_4d_deconfliction” reworded the description of “reference_lat_micro_deg” cosmetic
- “verify_phase_kickback” reworded the description of “m” cosmetic
- “math_court” reworded the description of “obscuration_ppm” cosmetic
- “math_court” reworded the description of “factor” cosmetic
- “corpus_bonds” reworded the description of “limit” cosmetic
- “critique_frame” reworded the description of “span_scale_q16” cosmetic
- “math_court” reworded the description of “die_d” cosmetic
- “verify_jordan_bond” reworded the description of “source_creator_hash” cosmetic
- “project_affine_key” reworded the description of “A” cosmetic
- “twin.robotics.evaluate_exact_ik” reworded the description of “piece_id” cosmetic
- “math_court” reworded the description of “count” cosmetic
- “math_court” reworded the description of “ratio_ppt” cosmetic
- “math_court” reworded the description of “mask” cosmetic
- “weather.convective_containment” reworded the description of “track_micro_deg” cosmetic
- “execute_transition” reworded the description of “entity_id” cosmetic
- “corpus_capability_map” reworded the description of “source” cosmetic
- “math_court” reworded the description of “n_players” cosmetic
- “math_court” reworded the description of “class” cosmetic
- “math_court” reworded the description of “track” cosmetic
- “verify_deutsch_jozsa” reworded the description of “table” cosmetic
- “math_court” reworded the description of “cited_id” cosmetic
- “math_court” reworded the description of “scenario” cosmetic
- “project_affine_key” reworded the description of “k” cosmetic
- “atc.assert_4d_deconfliction” reworded the description of “vertical_minima_feet” cosmetic
- “verify_qft_phases” reworded the description of “k” cosmetic
- “verify_n_representability” reworded the description of “rho2” cosmetic
- “verify_shor_witness” reworded the description of “factor” cosmetic
- “math_court” reworded the description of “bob” cosmetic
- “affine_translate_text” reworded the description of “target_langs” cosmetic
- “math_court” reworded the description of “cod” cosmetic
- “verify_quantum_counting” reworded the description of “count” cosmetic
- “lattice_op” reworded the description of “K” cosmetic
- “math_court” reworded the description of “domain” cosmetic
- “math_court” reworded the description of “pn_pred_s” cosmetic
- “corpus_coverage” reworded the description of “cursor_sample” cosmetic
- “corpus_capability_map” reworded the description of “at_seq” cosmetic
- “twin.robotics.evaluate_exact_ik” reworded the description of “pieces” cosmetic
- “math_court” reworded the description of “marked” cosmetic
- “umc_direct” reworded the description of “title” cosmetic
- “math_court” reworded the description of “vertices” cosmetic
- “math_court” reworded the description of “fraction” cosmetic
- “noaa_goes_r_weather” reworded the description of “wallet_hash” cosmetic
- “verify_shor_witness” reworded the description of “q_hex” cosmetic
- “math_court” reworded the description of “config” cosmetic
- “bond_presented_key” reworded the description of “q_hex” cosmetic
- “verify_bernstein_vazirani” reworded the description of “queries” cosmetic
- “expose” reworded the description of “q_hex” cosmetic
- “math_court” reworded the description of “clock” cosmetic
- “project_shor_twin” reworded the description of “factor” cosmetic
- “verify_jordan_bond” reworded the description of “q_hex” cosmetic
- “verify_qpe_phase” reworded the description of “k” cosmetic
- “math_court” reworded the description of “role” cosmetic
- “critique_frame” reworded the description of “n” cosmetic
- “execute_2local_hamiltonian” reworded the description of “jordanBondExclusions” cosmetic
- “math_court” reworded the description of “year” cosmetic
- “verify_qft_phases” reworded the description of “phases” cosmetic
- “math_court” reworded the description of “hidden” cosmetic
- “math_court” reworded the description of “jordanBondExclusions” cosmetic
- “umc_direct” reworded the description of “session_id” cosmetic
- “math_court” reworded the description of “corrections” cosmetic
- “math_court” reworded the description of “answers” cosmetic
- “math_court” reworded the description of “phases” cosmetic
- “verify_qft_phases” reworded the description of “n” cosmetic
- “verify_hhl” reworded the description of “matrix” cosmetic
- “twin.robotics.evaluate_exact_ik” made “pieces” optional cosmetic
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 5 Nov 2026 · Probed https://affine.earth/language-invariant/mcp
TLS valid
Negotiated TLS 1.3 with TLS_AES_128_GCM_SHA256 .
| Subject | Issuer | Valid from | Valid until | Key | Signature | Serial |
|---|---|---|---|---|---|---|
| CN=affine.earth | CN=YE2,O=Let's Encrypt,C=US | 30 Oct 2026 | 28 Jan 2027 | ECDSA 256 | ECDSA-SHA384 | 6a1c018242d46c826d42c26bd0a49aa6d2e |
| SANs: affine.earth, www.affine.earth | ||||||
| CN=YE2,O=Let's Encrypt,C=US (CA) | CN=Root YE,O=ISRG,C=US | 3 Sept 2025 | 2 Sept 2028 | ECDSA 384 | ECDSA-SHA384 | 4df3b15dd6c0784c507cd37b58e6f115 |
| CN=Root YE,O=ISRG,C=US (CA) | CN=ISRG Root X2,O=Internet Security Research Group,C=US | 13 May 2026 | 2 Sept 2032 | ECDSA 384 | ECDSA-SHA384 | 872165fc34b6e5fba8add5b3705fb53a |
| CN=ISRG Root X2,O=Internet Security Research Group,C=US (CA) | CN=ISRG Root X1,O=Internet Security Research Group,C=US | 13 May 2026 | 2 Sept 2032 | ECDSA 384 | SHA256-RSA | 6c8f1dc727c7117f7baf853ac980f9cd |
Background: What to check on a remote MCP endpoint →
DNSSEC insecure
Validation of affine.earth. — Not signed
| Zone | DS | Keys | Algorithms | Outcome |
|---|---|---|---|---|
| . | trust_anchor | 20326, 38696 | 8, 8 | Verified |
| earth. | present | 26449 | 8 | Verified |
| affine.earth. | absent | Unsigned (proven) parent-signed NSEC/NSEC3 proves an unsigned delegation |
Authentication No authorisation required
The endpoint answered without asking for a token. Anyone who knows the URL can reach it.
| Result | No authorisation required |
|---|---|
| HTTP status | 200 |
| Header | Value |
|---|---|
| strict-transport-security | max-age=63072000; includeSubDomains; preload |
| x-content-type-options | nosniff |
| x-frame-options | SAMEORIGIN |
| referrer-policy | strict-origin-when-cross-origin |
| permissions-policy | geolocation=(), payment=(), usb=(), bluetooth=(), camera=() |
Background: How OAuth 2.1 works in the 2026 MCP spec →
Transports 2 probes
| Transport | URL | Outcome | Status | Location |
|---|---|---|---|---|
| streamable-http | https://affine.earth/language-invariant/mcp | Verified | 200 | |
| http (plaintext) | http://affine.earth/language-invariant/mcp | HTTPS enforced |
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
verify_jordan_bond ~610
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_JZ_SHEAR with the non-zero shear when it does not, and admitted=false with quarantine_mask when the lattice is not matched against the sealed corpus (the quarantine is the surface declining to seal something it has not matched - not an error). Optional q_hex or object instead of lattices runs the Q-only Affine expose (a secp256k1 point, no private face) and returns patoshi_expose, shors_qmt_witness and topological_shear. Exact integers only; a float lane is REFUSED_FLOAT. Use lattice_op to inspect one operation of the same law.
| Name | Type | Req | Description |
|---|---|---|---|
| A | string | – | x0,x1,x2,x3,x4,x5,x6,x7|z decimal lattice (the source). e.g. 1,1,1,1,1,1,1,1|1 |
| B | string | – | x0,x1,x2,x3,x4,x5,x6,x7|z decimal lattice (the target). e.g. 1,1,1,1,1,1,1,1|1 |
| K | string | – | x0,x1,x2,x3,x4,x5,x6,x7|z distance lattice (the kernel the shear runs through). e.g. 3,-2,5,1,7,1,4,2|1 |
| object | string | – | alias of q_hex. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 |
| q_hex | string | – | optional: a secp256k1 point (130-hex 04... or 66-hex compressed) for the Q-only Affine expose instead of lattices. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 |
| source_creator_hash | string | – | legacy table limb, 32 hex; only for callers that do not present lattices. e.g. 0123456789abcdef0123456789abcdef |
| target_creator_hash | string | – | legacy table limb, 32 hex; only for callers that do not present lattices. e.g. 0123456789abcdef0123456789abcdef |
No output schema declared.
No examples provided.
verify_n_representability ~114
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 | Type | Req | Description |
|---|---|---|---|
| n | string | – | particle count as decimal string. e.g. 2 |
| rho2 | string | – | a11,a12|a21,a22 as num/den rationals. e.g. 1/2,0/1|0/1,1/2 |
No output schema declared.
No examples provided.
verify_period ~247
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 REFUSED_NO_INSTANCE naming the missing field. Does not search for r. Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| N | string | yes | modulus, decimal, e.g. 15 |
| a | string | yes | base, coprime with N, decimal, e.g. 2 |
| proper_divisors | string | yes | REQUIRED on the wire: comma-separated proper divisors of r that must NOT be periods (that is the order claim), e.g. 1,2 for r=4. Absent -> REFUSED_NO_INSTANCE 'missing proper_divisors' |
| r | string | yes | the presented period: a^r == 1 (mod N), decimal, e.g. 4 |
No output schema declared.
No examples provided.
verify_phase_kickback ~168
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 computed. No estimation is performed; floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| k | string | yes | eigenphase index, decimal, 0 <= k < 2^m. e.g. 1 |
| m | string | yes | register width, decimal, >= 1. e.g. 1 |
| phase | string | yes | claimed phase as an exact rational num/den, e.g. 1/2 |
No output schema declared.
No examples provided.
verify_presented_pair ~472
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-09-02). The one WIN is Face*G == Q_live (kG==Q): A=1 with Q=G -> WIN 'kG==Q'. Hex A legally contains e; a decimal point is the float. An empty call {} returns REFUSED_NO_INSTANCE with detail 'no complete instance posted: missing A; or instead Q; or instead k; or instead lock_q; or instead object; or instead q_hex' - post at least one face. Does not invent a third scalar. Does not ECDLP.
| Name | Type | Req | Description |
|---|---|---|---|
| A | string | – | private face, 64-hex or decimal scalar, e.g. 1 (its public face is G itself) |
| Q | string | – | public face: uncompressed 04-prefixed secp256k1 point, 130 hex characters, e.g. 0479BE667E...B8 for A=1 |
| k | string | – | same face as A, old label. e.g. 1 |
| lock_q | string | – | a lock face: the public point the pair must be verified against, same shape as Q. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 |
| object | string | – | alias of q_hex. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 |
| q_hex | string | – | same face as Q, old label. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 |
No output schema declared.
No examples provided.
verify_qaoa_energy ~321
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 string, energy_num = the sum of J * s_i * s_j over the posted edges and energy_den = 1, detail energy=E. The verdict is graded against the one ground energy QMACourtLaw holds a seal for: -1, the frustrated triangle 0,1,1;1,2,1;2,0,1 with spins 1,-1,1 (fixtureSpinEnergy). WIN means the presented string reaches that energy; MISS means an evaluated string that does not - a MISS is never a malformed instance; a REFUSED_* verdict names an instance or string the law does not grade. Same law as route_spin_glass_manifold and math_court domain qc_qaoa. Floats refused (REFUSED_FLOAT); a field posted as a JSON value that is not a string is REFUSED_NOT_A_STRING.
| Name | Type | Req | Description |
|---|---|---|---|
| edges | string | yes | couplings i,j,J;... e.g. 0,1,1;1,2,1;2,0,1 (integer J) |
| spins | string | yes | discrete spins +1,-1,... one per site, e.g. 1,-1,1 |
No output schema declared.
No examples provided.
verify_qft_phases ~151
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 | Type | Req | Description |
|---|---|---|---|
| k | string | yes | input index, 0 <= k < n, decimal, e.g. 1 |
| n | string | yes | register size: 2, 4 or 8, e.g. 4 |
| phases | string | yes | the n phases j*k/n as exact rationals, comma-separated in j order, e.g. 0/4,1/4,2/4,3/4 for n=4, k=1 |
No output schema declared.
No examples provided.
verify_qpe_phase ~124
QC-004 QPE. Presented phase must equal k/2^m exactly. m<=8. Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| k | string | yes | eigenphase index, 0 <= k < 2^m, decimal, e.g. 1 |
| m | string | yes | precision bits, 1..8, e.g. 2 |
| phase | string | yes | the presented phase as an exact rational num/den, must equal k/2^m, e.g. 1/4 for m=2, k=1 |
No output schema declared.
No examples provided.
verify_quantum_counting ~139
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 witness is verified; nothing is counted by amplitude. Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| count | string | yes | claimed number of 1s, decimal. e.g. 1 |
| oracle | string | yes | 0/1 string, length 2..8, e.g. 0001 |
No output schema declared.
No examples provided.
verify_quantum_walk ~155
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 naming the vertex the walk reaches. Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| end | string | yes | claimed ending vertex, 0 or 1. e.g. 0 |
| start | string | yes | starting vertex, 0 or 1. e.g. 0 |
| steps | string | yes | number of steps, decimal, >= 0. e.g. 2 |
No output schema declared.
No examples provided.
verify_shor_witness ~384
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 patoshi_expose + shors_qmt_witness + topological_shear. period_r carries an ECDLP scalar or is empty; the Affine period turn's companion images travel as c1_recon_hex/c3_add_hex inside topological_shear, never as period_r. Verdict on a Q expose is the measured jordan_proven tag. Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| N | string | – | the modulus, decimal, e.g. 15 |
| cofactor | string | – | N / factor, decimal, e.g. 5 |
| factor | string | – | gcd(halfPow-1, N), decimal, e.g. 3 |
| halfPow | string | – | the witness a with a^2 == 1 (mod N) and a != 1, N-1, decimal, e.g. 4 for N=15 |
| object | string | – | alias of q_hex. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 |
| q_hex | string | – | optional Affine Q hex; Q-only expose envelope; no k. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 |
No output schema declared.
No examples provided.
verify_simon ~191
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 presented, never recovered. Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| fx | string | yes | presented f(x), decimal or bit string. e.g. 0 |
| fy | string | yes | presented f(y); must equal fx. e.g. 0 |
| mask | string | yes | hidden mask as a bit string, e.g. 11 |
| x | string | yes | first input bit string, same length as mask. e.g. 00 |
| y | string | yes | second input bit string; x XOR y must equal mask. e.g. 11 |
No output schema declared.
No examples provided.
verify_superdense ~72
QC-017 Superdense coding. decoded 2 bits must equal sent 2 bits. Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| bits | string | yes | the two bits sent, e.g. 10 |
| decoded | string | yes | the two bits decoded at the receiver, must equal bits, e.g. 10 |
No output schema declared.
No examples provided.
verify_teleport ~95
QC-016 Teleport reconstruction. bob = alice XOR corrections on 2 bits. Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| alice | string | yes | Alice's two measurement bits, e.g. 10 |
| bob | string | yes | Bob's reconstructed two bits, must equal alice XOR corrections, e.g. 01 |
| corrections | string | yes | the two Pauli-correction bits Bob applies, e.g. 11 |
No output schema declared.
No examples provided.
verify_topological_word ~164
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 when (q, r) equals the law's pair for that word, MISS otherwise; detail is the posted (q,r). Floats refused.
| Name | Type | Req | Description |
|---|---|---|---|
| q | string | yes | claimed Eisenstein q, decimal. e.g. 0 |
| r | string | yes | claimed Eisenstein r, decimal. e.g. 1 |
| word | string | yes | the cited word |
No output schema declared.
No examples provided.
verify_vqe_energy ~236
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 presented config reaches it with no aligned term; MISS means an evaluated config that does not; a REFUSED_* verdict names an instance the law does not grade. Floats refused (REFUSED_FLOAT); a field posted as a JSON value that is not a string is REFUSED_NOT_A_STRING.
| Name | Type | Req | Description |
|---|---|---|---|
| config | string | yes | computational bits s0,s1,... each 0 or 1, one per site, comma-separated, e.g. 0,1 |
| constraints | string | yes | ZZ terms i,j,jnum,jden separated by ;, e.g. 0,1,1,1 (sites 0 and 1, coupling 1/1) - the same law as execute_2local_hamiltonian |
No output schema declared.
No examples provided.
weather.convective_containment ~362
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 and the exact parameter along the segment where it does. Exact integer crossing number over micro-degree vertices, with the optional standoff decided by comparing squared distances — no square root, no floating point, no epsilon. Advisory only; not a dispatch or flight-planning authority.
| Name | Type | Req | Description |
|---|---|---|---|
| cells | array | yes | declared convective cells: id, vertices, and layer as decimal strings. Declaring none returns NOT_MEASURED_NO_CONVECTIVE_CELLS_DECLARED, never CONTAINED. e.g. [{"id":"SQUARE","base_feet":"0","top_fee… |
| margin_micro_deg | string | – | optional standoff as decimal string in the same declared units; strict, so exactly this far away is contained. e.g. 1000 |
| track_micro_deg | array | yes | lat_micro_deg,lon_micro_deg,alt_feet points as decimal strings; two or more, since this names a breaching SEGMENT. e.g. [{"lat_micro_deg":"50000","lon_micro_deg":"50000","alt_feet":"30000"},{"lat_mic… |
No output schema declared.
No examples provided.
How do I install the Affine.Earth Math Court MCP server?
Affine.Earth Math Court is a hosted endpoint at https://affine.earth/language-invariant/mcp, so there is nothing to install locally. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
remote · affine.earth
claude mcp add --transport http earth-affine-math-court 'https://affine.earth/language-invariant/mcp'
What is the Affine.Earth Math Court MCP server?
Affine.Earth Math Court is an MCP server listed in the public MCP registry as earth.affine/math-court. No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused. This page covers its hosted endpoint (https://affine.earth/language-invariant/mcp).
Is the Affine.Earth Math Court MCP server safe to use?
Affine.Earth Math Court scores 72 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the Affine.Earth Math Court MCP server expose?
Affine.Earth Math Court exposes 55 tools: affine_translate_text, atc.assert_4d_deconfliction, bond_presented_key, code_ir_equiv, corpus_bonds, and 50 more. Their descriptions and schemas cost roughly 28,516 tokens of context every time the server is loaded.
Does the Affine.Earth Math Court MCP server require authentication?
No. We connected to Affine.Earth Math Court without credentials and it answered, so anything it exposes is reachable by anyone who knows the address.
Is the Affine.Earth Math Court MCP server still maintained?
Affine.Earth Math Court is still listed as active in the MCP registry. We last reached this channel on 5 November 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.