monogate.dev — eml math language workbench

Math you can verify.
Hardware that confirms it.

EML is a single-operator math language — every expression reduces to one primitive, eml(x, y) = exp(x) − ln(y). Every kernel ships with a Lean proof. The same kernel runs in your browser, on an ESP32, and as a synthesizable FPGA block.

browserESP32FPGALean-verifiedevidence-bundled
Try the Explorer →Open Electronics LabLearn EML
EML kernels
108
Lean-verified in MachLib
Hardware ports
browser · ESP32 · FPGA
running today
Status feed
monogate.net
CI-emitted dashboard
Start here
start here · what is eml
EML Language Explorer
The single-operator language at the heart of Monogate. Browse syntax, expressions, and worked examples. Start here if you're new.
differentiator · esp32 / fpga
Electronics Lab
EML kernels running on real hardware: ESP32 trainer boards, FPGA bitstreams, and physical-evidence-ready packets. The thing other AI projects don't have.
tutorials · quick start
Learn EML
Step-by-step paths into EML, Forge, and the certificate system. Start with the language, then follow the lanes that interest you.
compare · why eml
EML Advantage Lab
Side-by-side fixtures: where EML helps, where standard math wins, where claims stay blocked. The honest comparison view.
Try something
interactive · playground
Math Lab
Hands-on experiments and experiences built on the EML grammar.
open problems · credited
Challenge Board
Construct sin, cos, π, i from eml(x,y) = exp(x) − ln(y). Submit a construction, get credited permanently.
research frontier · compare
EML Template Search
Compare fixed EML, standard, control, and baseline templates on the prime residual fixture.
How it works

Use the dev site as a workbench, not a claim engine.

The useful move is always the same: try a tool, inspect the evidence, export a packet, and keep unsupported claims blocked.

01
Open a live tool
Start with the EML Explorer, Electronics Lab, Learn pages, or a research-stack workbench.
02
Inspect the artifact
Read the expression, trace, replay frames, guard decisions, supporting evidence, and non-claims.
03
Export or follow the packet
Use generated JSON and reports as reviewable handoff material, not automatic approval.
04
Check the boundary
Every surface marks what is simulated, candidate-only, blocked, checked, or public-ready.
05
Go deeper on monogate.org
The public research story, Atlas, and essays live on the .org site.
Surface split: monogate.dev is the workbench, monogate.org is the research record, monogate.net is the CI-emitted verification dashboard, and 1op.io is games and visualization.
Research stack

Under the hood — the evidence machinery.

Once you know what EML is, these are the workbenches that make Monogate's claims auditable. Each surface is bounded — what is simulated, candidate-only, or public-ready is marked inline.

Evidence Browser
Inspect artifacts by validation, replay, semantic strength, and claim flags.
Bundle Builder
Draft Evidence Bundle JSON from AI answers, proofs, traces, and hardware artifacts.
Rescue Suite
Optimization-failure rescue packets, replay status, MachLib obligation routing.
Proof Digestion
Turn artifacts into core ideas, examples, reuse paths, and open questions.
EML IR Bridge
One EML expression as shared DAG, replay packet, and non-claim boundary.
Bundle Gallery
Candidate EML expression bundles from the private builder flow.
Atlas Annex
Atlas-style identities, claim boundaries, and MachLib witness targets.