MathCode er en terminalbasert KI-kodeassistent med en innebygd matematisk formaliseringsmotor som omgjør matematiske problemer til Lean 4-teoremer.

Kilde: https://math-ai-org.github.io/mathcode/