Spark & Anvil Privacy
A calm bright study with an arched window onto soft hills, wooden geometric solids and an abacus on the desk, a teenager sketching a clever diagram

InsightForge

See it. Say it. Then find what the picture hid. A wordless proof is only a proof when it accounts for every lot — and a pretty picture can quietly drop one.

▧ Enter the Proof Studio

New: 🔺 Byrne’s Euclid — three of Euclid’s proofs in Oliver Byrne’s colours; put the steps in order.

Brain Break
Proof Studio Reconstruct the argument a wordless picture hides — name every lot, then audit whether the claim uses all of them. Build-a-PWW Assemble the proof yourself — choose how many of each lot the picture holds, and catch the twins before the engine does. Ogle's Gallery A wall of wordless pictures — some honest proofs, some quietly drop a lot. Judge each, then let the engine reveal the truth. The Case: does the picture lie? Sit with Ogle, who trusts every pretty diagram — and decide when a picture is a proof and when it is a trap.

The cast — as diagram motifs

  • Miro & Moro — the twin lots a·b — together they are the 2ab you must never forget
  • Tila — the whole square — the area that must equal the sum of every lot
  • Slyde — the area-preserving shear behind a product of two sums
  • Ogle — trusts every pretty picture — the diagram-skepticism foil you learn to out-argue

Every lot and every verdict is computed by a deterministic engine — the picture is a proof, not a decoration, and the studio can tell you exactly which lot a claim forgot. On-device · no accounts · nothing that names you leaves the device.

What next? Pick a door

Chosen from what this app is about. What you open is remembered on this device only.