STEM
ProofQuest
Logic puzzle adventure building proof-readiness through deductive reasoning puzzles, informal proofs, and mathematical writing. Themed around mathematical discoveries (Euler's bridges, Ramsey theory, four-color theorem).
Meet your mentor
Every Spark & Anvil app has a friendly mentor character that demonstrates, praises, and patiently scaffolds learning. On-device AI personalizes the mentor's responses to your kid's progress — never connecting to a server, never collecting data.
#29B6F6 ProofQuest is a math reasoning adventure where you learn to think like a mathematician! Build chains of logic, assemble proofs from building blocks, and hunt for counterexamples to disprove false claims. Follow in the footsteps of Euler, who proved you cannot cross all seven bridges of Konigsberg, a
Distributed-narrative cast
Meet the cast
Direct-Proof Dora
Direct proof: assume premises, derive conclusion by straightforward logical steps
Induction Ida
Weak / standard mathematical induction: base case + inductive step
Strong-Induction Sten
Strong induction: base case + assume all prior cases hold
Contradiction Cassius
Proof by contradiction (reductio ad absurdum): assume the negation, derive a contradiction
Contrapositive Cara
Proof by contrapositive: prove "not Q → not P" to establish "P → Q"
Construction Cole
Proof by construction: prove existence by explicit construction of an example
Pigeonhole Perch
Pigeonhole principle: if n+1 items are placed in n bins, at least one bin contains 2+ items
Exhaustion Edda
Proof by exhaustion / cases: enumerate every case and verify each
What's inside
Logic Chains
Drag and connect logical steps to build a chain of reasoning. Start with something you know is true, and connect it step by step to what you want to prove. Each
Proof Builder
Arrange given statements and reasons like puzzle pieces to construct a complete proof. You have all the pieces -- you just need to put them in the right order.
Counterexample Hunter
Someone claims something is always true. Your job is to find one example where it is NOT true. Finding a single counterexample disproves the whole claim! This i
Famous Discoveries
Explore mathematical discoveries like the Konigsberg bridge problem, the four-color theorem, and Ramsey's party problem. These real stories show why mathematici
Mentored by Qed — on-device AI, no data leaves the device.
How ProofQuest handles your kid's data
- ✅ All progress, settings, and AI-generated content stays on the device
- ✅ No analytics, no tracking, no third-party SDKs
- ✅ No ads, no in-app purchases — you pay once
- ✅ COPPA compliant under the 2026 FTC amendments
- ✅ Parental controls + session limits + content filters built in
ProofQuest runs on ForgeKit — the open-source Swift Package Manager framework that powers every Spark & Anvil app. ForgeKit ensures consistent accessibility, COPPA compliance, and design language across the portfolio, so your kid's progress and preferences feel coherent across every app they touch.
Coming to the App Store
ProofQuest is in active development. Email us to hear when it ships — no marketing, no spam, just a one-shot launch announcement.
Email me at launch