March 16, 2026
v26.03
Leanstral
Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active.
Modalities
Context
256k
Retirement date6/30/2026
ReplacementLeanstral 1.5
Other Models
