Mistral AI

Open-source release of FLTEval for proof engineering evaluation.

Open-source AI model for formal verification and proof engineering.

Ensures uninterrupted AI tasks with workflow-integrated connectors.

Integrates connectors into Vibe Code for developer interfaces.

Provides root cause analysis for MCP connector issues.

Allows multiple account authentication for AI connectors.

Prevents impersonation in AI workloads with scoped API keys.

Enhances connector access control for secure AI integration.

OCR 4 integrated with Mistral's open-source search framework.

Advanced OCR model with multilingual support and bounding boxes.

Enhanced session controls and workflow automation in CLI.

Agent for long-running, multi-step work and coding tasks.

Agent for long-running, multi-step work and coding tasks.

Integrated AI stack for transforming industrial operations.

Framework for scaling neural operators across spatio-temporal problems.

End-to-end deep learning surrogate for multi-physics processes.

Handles raw geometry without remeshing on a single GPU.

Composable framework for building AI search pipelines.

Enhanced CLI with session controls and custom modes.

VS Code extension for AI-driven coding assistance.

New coding surface for managing projects and sessions.

AI agent for complex, multi-stage tasks and workflows.

Agentic mode for complex, multi-step tasks in Le Chat.

Dense 128B model for coding and productivity tasks.

Orchestration layer for enterprise AI with durable execution.