Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active.
March 16, 2026
v26.03
Speed
Performance
Modalities
Context
256k
Price
$0
Speed
Performance
Modalities
Context
256k
Price
$0