d=2303582338 · 20×50 · 1000 beacon-anchored tools
Positivity is a theorem, not an assumption.
ω²=48/13=3.6923 >0 on X₀(143) — Lean4 verified
X-API-Key header./success?session_id=…
where your key is shown automatically.
Already have a key? Verify it at GET /key/check.
beacon=1d2c7a5b · genesis=82843 · d=2303582338