Dream broadly. Verify narrowly.

Ask about a pattern, system, dataset, observation, equation, or idea. DreamSquid researches it, generates testable theories, challenges them, and reports what survives.

Start exploring Equation Explorer

Observe → Formalize

Typed variables, units, assumptions, and what remains unknown.

Dream → Experiment

Competing hypotheses, including nulls, with preregistered tests.

Challenge → Report

Failed results stay visible. Claims cannot exceed stored evidence.