Challenge
public · no auth · rate-limitedTry the lab. Pick a demo for a full interactive UI, or use the raw API below. Same backend powers both. Free, no signup, IP-rate-limited.
interactive demos
Math Evaluator
Any expression → exact symbolic evaluator → exact result.
Sub-ms warm. LaTeX + sympy + Python forms.
Open
Sudoku
Paste 81-char puzzle. 100% extreme @ 30.6ms.
vs Kona 96.2% @ 313ms / 36.5M params
Open
Chemistry / SMILES
SMILES → 3D conformer + property predictions.
MW r=0.998 / TPSA r=0.979 zero-shot
Open
Circuit EC
.bench netlist → equivalence verification.
ISCAS'85 100% incl. c6288 32-bit multiplier
Open
Boolean SAT
CNF clauses → assignment + energy trajectory.
100% at N=10 / 90% gradient at N=25
Open
raw api sandbox · for developers
step 1 — pick an op
step 2 — edit the JSON payload
Schema for each op: GET /api/lab/compute
Want higher rate limits + the SDK?
Academic tier is free for verified .edu researchers (citation required). Pro is $79/mo.
Get an API key