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

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 leaves the device.