Mistral AI

Leanstral-2603 v1.0

Leanstral-2603 is an open-source code agent developed by Mistral AI, designed specifically for the Lean 4 proof assistant. It combines multimodal capabilities with an efficient architecture, offering a performant and cost-effective alternative to existing closed-source solutions.

Leanstral 1.5 v1.5

Leanstral 1.5 is an open-source code agent model specifically designed for Lean 4, a proof assistant used for formal verification and mathematical research. It utilizes a Mixture-of-Experts (MoE) architecture to provide high-performance proof engineering and code verification capabilities while remaining cost-effective. It features 119 billion total parameters with 6.5 billion active per token; the model is engineered for efficiency and high performance, allowing it to tackle complex tasks like formalizing mathematical objects and verifying software specifications. It supports multimodal inputs, enabling users to process both text and images to generate rigorous, machine-verifiable proofs.

Mistral Vibe 2.0 v2.0

Mistral Vibe 2.0 is a terminal-native coding agent powered by the Devstral 2 model family, designed to enhance code development efficiency. It offers features like custom subagents, multi-choice clarifications, slash-command skills, unified agent modes, and automatic updates.

Leanstral 119B A6B v119B A6B

Leanstral 119B A6B is an open-source code agent developed by Mistral AI, designed specifically for Lean 4, a proof assistant capable of expressing complex mathematical objects and software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities and an efficient architecture, making it both performant and cost-effective compared to existing closed-source alternatives.

Mistral OCR 4 v4

Mistral OCR 4 is an advanced Optical Character Recognition (OCR) model designed to extract text and structured content from documents with high accuracy. It offers features like bounding boxes, block classification, and inline confidence scores, supporting 170 languages across 10 language groups. The model is available for self-hosted deployments and integrates seamlessly with Mistral's Search Toolkit for enterprise search and retrieval-augmented generation (RAG) pipelines.

Mistral Vibe Code vWeb

Mistral Vibe Code is an AI coding agent designed to enhance software development workflows. It integrates seamlessly into terminals, IDEs, and background processes, providing developers with tools to write, test, and deploy code autonomously with a comprehensive codebase context.

Mistral Vibe CLI v2.16.1

Mistral Vibe is an open-source command-line coding assistant developed by Mistral AI. It offers a conversational interface to your codebase, enabling natural language interactions for exploring, modifying, and managing projects directly from the terminal. Powered by Mistral's models, Vibe provides a suite of tools for file manipulation, code searching, version control, and command execution, all within a seamless CLI experience.

Voxtral Transcribe 2 v2.0

Voxtral Transcribe 2 is a suite of next-generation speech-to-text models developed by Mistral AI, offering state-of-the-art transcription quality, diarization, and ultra-low latency. The suite includes Voxtral Mini Transcribe V2 for batch transcription and Voxtral Realtime for live applications, with the latter available under the Apache 2.0 license.

Mistral Forge

Mistral Forge is a system designed for enterprises to build frontier-grade AI models grounded in their proprietary knowledge. It enables organizations to train models on internal data, ensuring alignment with unique operations and compliance requirements.