Robuta

Sponsor of the Day: Jerkmate
https://docs.mistral.ai/models/voxtral-mini-transcribe-realtime-26-02 Voxtral Mini Transcribe Realtime - Mistral AI | Mistral Docs An efficient audio input model, fine-tuned and optimized for live transcription purposes only. mistral ai docsvoxtralminitranscriberealtime https://docs.mistral.ai/models/model-cards/leanstral-26-03 Leanstral - Mistral AI | Mistral Docs Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active. mistral ai docs https://docs.mistral.ai/models/magistral-medium-1-2-25-09 Magistral Medium 1.2 - Mistral AI | Mistral Docs Our frontier-class multimodal reasoning model update of September 2025. mistral ai docsmedium 1magistral2 https://docs.mistral.ai/models/model-cards/ocr-3-25-12 OCR 3 - Mistral AI | Mistral Docs Our OCR service powering our Document AI stack that enables our users to extract interleaved text and images mistral ai docsocr3 https://docs.mistral.ai/models/ocr-3-25-12 OCR 3 - Mistral AI | Mistral Docs Our OCR service powering our Document AI stack that enables our users to extract interleaved text and images mistral ai docsocr3 https://docs.mistral.ai/models/ministral-3-14b-25-12 Ministral 3 14B - Mistral AI | Mistral Docs Ministral 3 14B is the largest model in the Ministral 3 family, offering state-of-the-art capabilities and performance comparable to its larger Mistral Small... ministral 3 14bmistral ai docs https://docs.mistral.ai/models/model-cards/ocr-2-25-05 OCR 2 - Mistral AI | Mistral Docs Our OCR service powering our Document AI stack that enables our users to extract interleaved text and images mistral ai docsocr 2 https://docs.mistral.ai/models/mistral-medium-3-1-25-08 Mistral Medium 3.1 - Mistral AI | Mistral Docs Our frontier-class multimodal model released August 2025. Improving tone and performance. 3 1 aimistralmediumdocs