Mathematics + AI = happiness

Try As Guest No account required

MathBB is a notebook workspace for writing and doing mathematics: an “IDE for math”.

Main features

Write in Markdown + LaTeX with instant rendering — no compilation.
Draw diagrams directly in the notebook with built-in drawing tools.
Dora, an agentic AI assistant, helps with proofs, writing, and running calculations, and generates 2D figures, live-rotatable 3D models, and interactive widgets embedded directly in your notebook.
A Claude Code plugin lets you control MathBB directly from your Claude Code session, giving Claude Code access to the same tools and capabilities that Dora has.
Code execution and Lean proof formalization: Dora can write and run code on a sandboxed server in Python, C, and C++, and can formalize proofs in Lean and validate them on the server.
GitHub integration for backup and version history.
Telegram integration: chat with Dora over Telegram to get mathematics done while on the go.
Canvas LMS integration for sharing course material with your class.
Collaboration features, LaTeX manuscript production, accessibility support, and more.