Skip to content
DefDex

Mistral AI: Systems

The complete recorded list. Search or page through the records below.

← Back to Mistral AI

Showing 1–16 of 16

  • ForgeA platform for building enterprise‑specific AI models from proprietary data.
  • Leanstral 1.5Historical AI model for proof engineering and verification in Lean 4; its hosted API was retired in September 2026.
  • Ministral 3Cascade‑distilled models (base, instruct and reasoning) with image understanding for constrained compute.
  • Mistral Large 3Open-weight general-purpose multimodal AI model.
  • Mistral Large 4An open‑weight hybrid instruct‑and‑reasoning MoE model with multimodal input.
  • Mistral Medium 3.5A merged dense model that unifies instruction, reasoning, and coding with multimodal input.
  • Mistral Small 4A hybrid instruct‑and‑reasoning MoE model that combines Instruct, Magistral, and Devstral with multimodal input.
  • OCR 4.1A document extraction and understanding model.
  • Robostral NavigateAI model for vision-based robotic navigation.
  • ShieldstralA multimodal safety‑classification model that evaluates text and images against a supplied policy.
  • StudioAn AI production platform for building, deploying and governing agentic AI systems.
  • VibeAn AI agent for long-running tasks using knowledge and tools.
  • Voxtral Mini Transcribe 2Audio-input model optimized for transcription.
  • Voxtral Mini Transcribe RealtimeA streaming transcription model with configurable latency.
  • Voxtral SmallAn audio‑and‑text understanding model that transcribes, translates and answers questions from speech.
  • Voxtral TTSA speech‑generation model that can be adapted to reference voices.