Release of Leanstral Code Agent
GA6 months agoUnverifiedAdded Oct 2, 2026
Leanstral (labs-leanstral-2603) is an open-source code agent designed for Lean 4 formal proof engineering.
Topics: Coding agents, AI agents
More Mistral AI Studio and API releases
Every Mistral AI Studio and API release| Date | Release | Type |
|---|---|---|
| Mar 166 months ago | Release of Mistral Small 4 unverified GA | GA |
| Mar 126 months ago | Release of Mistral Moderation 2603 unverified GA | GA |
| Mar 126 months ago | Update | Update |
| Mar 236 months ago | Release of Voxtral TTS unverified GA | GA |
| Feb 48 months ago | GA | GA |
| Feb 48 months ago | Context Biasing in Audio Transcriptions API unverified Update | Update |
| Feb 48 months ago | Diarization in Audio Transcriptions API unverified Update | Update |
| Apr 285 months ago | Release of Mistral Medium 3.5 unverified GA | GA |
Also shipped on Mar 16, 2026
Mistral AI in March 2026| Date | Company | Release | Product | Type |
|---|---|---|---|---|
| Mar 166 months ago | 🤖 New LLM Models Support & Bug Fixes unverified | Deepgram | Preview | |
| Mar 166 months ago | Metrics Open Beta Now Supports Alerting unverified | Sentry | Beta | |
| Mar 166 months ago | Amplitude | GA | ||
| Mar 166 months ago | Targeting based on First Seen Timestamp unverified | Amplitude | GA | |
| Mar 166 months ago | Fixes unverified | Deepgram | Update | |
| Mar 166 months ago | LlamaIndex 0.14.18 unverified | LlamaIndex | Update |