mistral-leanstral-open-source-2026

fields

statementREQ	Mistral AI will release Leanstral weights under an Apache 2.0 license as the first open-source code agent for Lean 4, along with a free API endpoint and a tech report and FLTEval evaluation suite.	mistral.ai	2026-04-30
actorREQ	Mistral AI	mistral.ai	2026-04-30
topic	open-source / formal verification tooling	mistral.ai	2026-04-30
promised_at	2026-03-16	mistral.ai	2026-04-30
target_date	2026-03-16	mistral.ai	2026-04-30
shipped	true	mistral.ai	2026-04-30
shipped_at	2026-03-16	mistral.ai	2026-04-30
evidence_url	https://mistral.ai/news/leanstral	mistral.ai	2026-04-30

history · 8 fields · 8 revisions

statement1 revision

Mistral AI will release Leanstral weights under an Apache 2.0 license as the first open-source code agent for Lean 4, along with a free API endpoint and a tech report and FLTEval evaluation suite. current mistral.ai · 2026-04-30

We release Leanstral, the first open-source code agent designed for Lean 4... We release Leanstral weights under an Apache 2.0 license, in an agent mode within Mistral vibe, and through a free API endpoint.

actor1 revision

Mistral AI current mistral.ai · 2026-04-30

We release Leanstral, the first open-source code agent designed for Lean 4... We release Leanstral weights under an Apache 2.0 license, in an agent mode within Mistral vibe, and through a free API endpoint.

topic1 revision

open-source / formal verification tooling current mistral.ai · 2026-04-30

We release Leanstral, the first open-source code agent designed for Lean 4... We release Leanstral weights under an Apache 2.0 license, in an agent mode within Mistral vibe, and through a free API endpoint.

promised_at1 revision

2026-03-16 current mistral.ai · 2026-04-30

We release Leanstral, the first open-source code agent designed for Lean 4... We release Leanstral weights under an Apache 2.0 license, in an agent mode within Mistral vibe, and through a free API endpoint.

target_date1 revision

2026-03-16 current mistral.ai · 2026-04-30

We release Leanstral, the first open-source code agent designed for Lean 4... We release Leanstral weights under an Apache 2.0 license, in an agent mode within Mistral vibe, and through a free API endpoint.

shipped1 revision

true current mistral.ai · 2026-04-30

We release Leanstral, the first open-source code agent designed for Lean 4... We release Leanstral weights under an Apache 2.0 license, in an agent mode within Mistral vibe, and through a free API endpoint.

shipped_at1 revision

2026-03-16 current mistral.ai · 2026-04-30

We release Leanstral, the first open-source code agent designed for Lean 4... We release Leanstral weights under an Apache 2.0 license, in an agent mode within Mistral vibe, and through a free API endpoint.

evidence_url1 revision

https://mistral.ai/news/leanstral current mistral.ai · 2026-04-30

We release Leanstral, the first open-source code agent designed for Lean 4... We release Leanstral weights under an Apache 2.0 license, in an agent mode within Mistral vibe, and through a free API endpoint.