Logic IDE for True Math
Streaming Thinking
> Ready.
The Plan
Strategy and assumptions will appear here.
The Proof
Structured markdown + math output will appear here.
The Audit
Critic feedback and verdict will appear here.
Mental Model
Mental model flashcard appears after generation.
Follow-up
Ready for your first proof request.