Leanstral: Theorem-Proving and Code-Verification Agent
July 6, 2026
Leanstral is an open-source 119B-parameter agent specialized for theorem-proving and formal code verification. Built on the Mistral framework, the model provides a dedicated architecture for executing complex mathematical proofs and verifying software correctness.