Spark & Anvil Apps →
← All apps

STEM

ProofQuest

Logic puzzle adventure building proof-readiness through deductive reasoning puzzles, informal proofs, and mathematical writing

ProofQuest app icon

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.

ProofQuest mascot demonstrating
demonstrating
ProofQuest mascot praising
praising
ProofQuest mascot thinking
thinking
ProofQuest mascot working
working
ProofQuest mascot encouraging
encouraging
Wave 2 implementing 8 themed avatar accessories Swift 6 · SwiftUI · FoundationModels NGSS CCSS Math ISTE Hero color: #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

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

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

Full parent privacy guide →

Built with ForgeKit

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