-
1
Codestral Mamba
Mistral AI
Unleash coding potential with innovative, efficient language generation!
In tribute to Cleopatra, whose dramatic story ended with the fateful encounter with a snake, we proudly present Codestral Mamba, a Mamba2 language model tailored for code generation and made available under an Apache 2.0 license. Codestral Mamba marks a pivotal step forward in our commitment to pioneering and refining innovative architectures. This model is available for free use, modification, and distribution, and we hope it will pave the way for new discoveries in architectural research. The Mamba models stand out due to their linear time inference capabilities, coupled with a theoretical ability to manage sequences of infinite length. This unique characteristic allows users to engage with the model seamlessly, delivering quick responses irrespective of the input size. Such remarkable efficiency is especially beneficial for boosting coding productivity; hence, we have integrated advanced coding and reasoning abilities into this model, ensuring it can compete with top-tier transformer-based models. As we push the boundaries of innovation, we are confident that Codestral Mamba will not only advance coding practices but also inspire new generations of developers. This exciting release underscores our dedication to fostering creativity and productivity within the tech community.
-
2
Mistral NeMo
Mistral AI
Unleashing advanced reasoning and multilingual capabilities for innovation.
We are excited to unveil Mistral NeMo, our latest and most sophisticated small model, boasting an impressive 12 billion parameters and a vast context length of 128,000 tokens, all available under the Apache 2.0 license. In collaboration with NVIDIA, Mistral NeMo stands out in its category for its exceptional reasoning capabilities, extensive world knowledge, and coding skills. Its architecture adheres to established industry standards, ensuring it is user-friendly and serves as a smooth transition for those currently using Mistral 7B. To encourage adoption by researchers and businesses alike, we are providing both pre-trained base models and instruction-tuned checkpoints, all under the Apache license. A remarkable feature of Mistral NeMo is its quantization awareness, which enables FP8 inference while maintaining high performance levels. Additionally, the model is well-suited for a range of global applications, showcasing its ability in function calling and offering a significant context window. When benchmarked against Mistral 7B, Mistral NeMo demonstrates a marked improvement in comprehending and executing intricate instructions, highlighting its advanced reasoning abilities and capacity to handle complex multi-turn dialogues. Furthermore, its design not only enhances its performance but also positions it as a formidable option for multi-lingual tasks, ensuring it meets the diverse needs of various use cases while paving the way for future innovations.
-
3
Mistral Large 3
Mistral AI
Unleashing next-gen AI with exceptional performance and accessibility.
Mistral Large 3 is a frontier-scale open AI model built on a sophisticated Mixture-of-Experts framework that unlocks 41B active parameters per step while maintaining a massive 675B total parameter capacity. This architecture lets the model deliver exceptional reasoning, multilingual mastery, and multimodal understanding at a fraction of the compute cost typically associated with models of this scale. Trained entirely from scratch on 3,000 NVIDIA H200 GPUs, it reaches competitive alignment performance with leading closed models, while achieving best-in-class results among permissively licensed alternatives. Mistral Large 3 includes base and instruction editions, supports images natively, and will soon introduce a reasoning-optimized version capable of even deeper thought chains. Its inference stack has been carefully co-designed with NVIDIA, enabling efficient low-precision execution, optimized MoE kernels, speculative decoding, and smooth long-context handling on Blackwell NVL72 systems and enterprise-grade clusters. Through collaborations with vLLM and Red Hat, developers gain an easy path to run Large 3 on single-node 8×A100 or 8×H100 environments with strong throughput and stability. The model is available across Mistral AI Studio, Amazon Bedrock, Azure Foundry, Hugging Face, Fireworks, OpenRouter, Modal, and more, ensuring turnkey access for development teams. Enterprises can go further with Mistral’s custom-training program, tailoring the model to proprietary data, regulatory workflows, or industry-specific tasks. From agentic applications to multilingual customer automation, creative workflows, edge deployment, and advanced tool-use systems, Mistral Large 3 adapts to a wide range of production scenarios. With this release, Mistral positions the 3-series as a complete family—spanning lightweight edge models to frontier-scale MoE intelligence—while remaining fully open, customizable, and performance-optimized across the stack.
-
4
Codestral
Mistral AI
Revolutionizing code generation for seamless software development success.
We are thrilled to introduce Codestral, our first code generation model. This generative AI system, featuring open weights, is designed explicitly for code generation tasks, allowing developers to effortlessly write and interact with code through a single instruction and completion API endpoint. As it gains expertise in both programming languages and English, Codestral is set to enhance the development of advanced AI applications specifically for software engineers.
The model is built on a robust foundation that includes a diverse selection of over 80 programming languages, spanning popular choices like Python, Java, C, C++, JavaScript, and Bash, as well as less common languages such as Swift and Fortran. This broad language support guarantees that developers have the tools they need to address a variety of coding challenges and projects. Furthermore, Codestral’s rich language capabilities enable developers to work with confidence across different coding environments, solidifying its role as an essential resource in the programming community. Ultimately, Codestral stands to revolutionize the way developers approach code generation and project execution.
-
5
Mistral Large
Mistral AI
Unlock advanced multilingual AI with unmatched contextual understanding.
Mistral Large is the flagship language model developed by Mistral AI, designed for advanced text generation and complex multilingual reasoning tasks including text understanding, transformation, and software code creation. It supports various languages such as English, French, Spanish, German, and Italian, enabling it to effectively navigate grammatical complexities and cultural subtleties. With a remarkable context window of 32,000 tokens, Mistral Large can accurately retain and reference information from extensive documents. Its proficiency in following precise instructions and invoking built-in functions significantly aids in application development and the modernization of technology infrastructures. Accessible through Mistral's platform, Azure AI Studio, and Azure Machine Learning, it also provides an option for self-deployment, making it suitable for sensitive applications. Benchmark results indicate that Mistral Large excels in performance, ranking as the second-best model worldwide available through an API, closely following GPT-4, which underscores its strong position within the AI sector. This blend of features and capabilities positions Mistral Large as an essential resource for developers aiming to harness cutting-edge AI technologies effectively. Moreover, its adaptable nature allows it to meet diverse industry needs, further enhancing its appeal as a versatile AI solution.
-
6
Mistral Large 2
Mistral AI
Unleash innovation with advanced AI for limitless potential.
Mistral AI has unveiled the Mistral Large 2, an advanced AI model engineered to perform exceptionally well across various fields, including code generation, multilingual comprehension, and complex reasoning tasks. Boasting a remarkable 128k context window, this model supports a vast selection of languages such as English, French, Spanish, and Arabic, as well as more than 80 programming languages. Tailored for high-throughput single-node inference, Mistral Large 2 is ideal for applications that demand substantial context management. Its outstanding performance on benchmarks like MMLU, alongside enhanced abilities in code generation and reasoning, ensures both precision and effectiveness in outcomes. Moreover, the model is equipped with improved function calling and retrieval functionalities, which are especially advantageous for intricate business applications. This versatility positions Mistral Large 2 as a formidable asset for developers and enterprises eager to harness cutting-edge AI technologies for innovative solutions, ultimately driving efficiency and productivity in their operations.
-
7
Mistral Medium 3
Mistral AI
Revolutionary AI: Unmatched performance, unbeatable affordability, seamless deployment.
Mistral Medium 3 is a breakthrough in AI technology, offering the perfect balance of cutting-edge performance and significantly reduced costs. This model introduces a new era of enterprise AI, with a focus on simplifying deployments while still providing exceptional performance. Its ability to deliver high-level results at just a fraction of the cost of its competitors makes it a game-changer in industries that rely on complex AI tasks. Mistral Medium 3 is particularly strong in professional use cases like coding, where it competes closely with larger models that are typically more expensive and slower. The model supports hybrid and on-premises deployments, offering enterprise users full control over customization and integration into their systems. Businesses can leverage Mistral Medium 3 for both large-scale deployments and fine-tuned, domain-specific training, allowing for enhanced efficiency in industries such as healthcare, financial services, and energy. The addition of continuous learning and the ability to integrate with enterprise knowledge bases makes it a flexible, future-proof solution. Customers in beta are already using Mistral Medium 3 to enrich customer service, personalize business processes, and analyze complex datasets, demonstrating its real-world value. Available through various cloud platforms like Amazon Sagemaker, IBM WatsonX, and Google Cloud Vertex, Mistral Medium 3 is now ready to be deployed for custom use cases across a range of industries.
-
8
Devstral
Mistral AI
Unleash coding potential with the ultimate open-source LLM!
Devstral represents a joint initiative by Mistral AI and All Hands AI, creating an open-source large language model designed explicitly for the field of software engineering. This innovative model exhibits exceptional skill in navigating complex codebases, efficiently managing edits across multiple files, and tackling real-world issues, achieving an impressive 46.8% score on the SWE-Bench Verified benchmark, which positions it ahead of all other open-source models. Built upon the foundation of Mistral-Small-3.1, Devstral features a vast context window that accommodates up to 128,000 tokens. It is optimized for peak performance on advanced hardware configurations, such as Macs with 32GB of RAM or Nvidia RTX 4090 GPUs, and is compatible with several inference frameworks, including vLLM, Transformers, and Ollama. Released under the Apache 2.0 license, Devstral is readily available on various platforms, including Hugging Face, Ollama, Kaggle, Unsloth, and LM Studio, enabling developers to effortlessly incorporate its features into their applications. This model not only boosts efficiency for software engineers but also acts as a crucial tool for anyone engaged in coding tasks, thereby broadening its utility and appeal across the tech community. Furthermore, its open-source nature encourages continuous improvement and collaboration among developers worldwide.
-
9
Devstral 2
Mistral AI
Revolutionizing software engineering with intelligent, context-aware code solutions.
Devstral 2 is an innovative, open-source AI model tailored for software engineering, transcending simple code suggestions to fully understand and manipulate entire codebases; this advanced functionality enables it to execute tasks such as multi-file edits, bug fixes, refactoring, managing dependencies, and generating code that is aware of its context. The suite includes a powerful 123-billion-parameter model alongside a streamlined 24-billion-parameter variant called “Devstral Small 2,” offering flexibility for teams; the larger model excels in handling intricate coding tasks that necessitate a deep contextual understanding, whereas the smaller model is optimized for use on less robust hardware. With a remarkable context window capable of processing up to 256 K tokens, Devstral 2 is adept at analyzing extensive repositories, tracking project histories, and maintaining a comprehensive understanding of large files, which is especially advantageous for addressing the challenges of real-world software projects. Additionally, the command-line interface (CLI) further enhances the model’s functionality by monitoring project metadata, Git statuses, and directory structures, thereby enriching the AI’s context and making “vibe-coding” even more impactful. This powerful blend of features solidifies Devstral 2's role as a revolutionary tool within the software development ecosystem, offering unprecedented support for engineers. As the landscape of software engineering continues to evolve, tools like Devstral 2 promise to redefine the way developers approach coding tasks.
-
10
Devstral Small 2
Mistral AI
Empower coding efficiency with a compact, powerful AI.
Devstral Small 2 is a condensed, 24 billion-parameter variant of Mistral AI's groundbreaking coding-focused models, made available under the adaptable Apache 2.0 license to support both local use and API access. Alongside its more extensive sibling, Devstral 2, it offers "agentic coding" capabilities tailored for low-computational environments, featuring a substantial 256K-token context window that enables it to understand and alter entire codebases with ease. With a performance score nearing 68.0% on the widely recognized SWE-Bench Verified code-generation benchmark, Devstral Small 2 distinguishes itself within the realm of open-weight models that are much larger. Its compact structure and efficient design allow it to function effectively on a single GPU or even in CPU-only setups, making it an excellent option for developers, small teams, or hobbyists who may lack access to extensive data-center facilities. Moreover, despite being smaller, Devstral Small 2 retains critical functionalities found in its larger counterparts, such as the capability to reason through multiple files and adeptly manage dependencies, ensuring that users enjoy substantial coding support. This combination of efficiency and high performance positions it as an indispensable asset for the coding community. Additionally, its user-friendly approach ensures that both novice and experienced programmers can leverage its capabilities without significant barriers.
-
11
Leanstral
Mistral AI
Revolutionizing code generation with formal verification excellence.
Leanstral is an open-source AI coding agent introduced by Mistral AI to support the development of formally verified software and mathematical proofs using Lean 4. The model is specifically designed for proof engineering, allowing it to generate code and automatically verify its correctness against formal specifications. Lean 4 is a powerful proof assistant used in advanced mathematics and software verification, and Leanstral is the first AI agent built specifically to operate within this environment. Instead of relying on general-purpose coding models, Leanstral is trained to work directly with formal repositories and structured proof systems. The model uses a sparse architecture with efficient active parameters, enabling it to deliver strong reasoning performance while maintaining computational efficiency. Leanstral can leverage Lean’s verification capabilities to test and validate generated solutions through parallel inference processes. This approach helps ensure that AI-generated code adheres strictly to defined logical and mathematical requirements. The model supports integration with development tools and model communication protocols, enabling it to function within broader AI-assisted coding environments. Benchmarks demonstrate that Leanstral can outperform many large open-source models in proof engineering tasks while operating at a lower cost. Its design allows developers to automatically generate proofs, verify algorithms, and build mathematically sound software implementations. Released under the Apache 2.0 license, Leanstral can be downloaded, fine-tuned, and deployed in private infrastructure. By combining automated coding with formal verification, Leanstral represents a significant step toward building trustworthy AI systems for critical software and research applications.