Mistral

Latest AI news, models and releases from Mistral. ['AB-UPT', 'Connectors', 'Devstral', 'Devstral 2', 'Devstral 2 Small', 'Devstral Small 2', 'Document AI', 'Emmi AI', 'Forge', 'GyroSwin', 'Leanstral', 'Leanstral 1.5', 'Leanstral (предыдущая версия)', 'Le Chat', 'Le Chat (Vibe)', 'Magistral', 'MiMo-V2-Flash', 'Ministral 3', 'Ministral-3-3B-Instruct-2512', 'Ministral-3-8B-Instruct-2512', 'Ministral 3B', 'Mistral', 'Mistral 3', 'Mistral 7B', 'Mistral-7B', 'Mistral AI', 'Mistral Large', 'Mistral Large 2', 'Mistral Large 3', 'Mistral Medium 3.1', 'Mistral Medium 3.5', 'Mistral Nemo', 'Mistral OCR 3', 'Mistral OCR 4', 'Mistral OCR4', 'Mistral Search Toolkit', 'Mistral Small', 'mistral-small-2603', 'Mistral Small 3', 'Mistral Small 3.1']

Official site ↗

Agents 🇺🇸

Testing Rails on Autopilot: An AI Agent That Writes Tests Instead of Developers

Mistral AI built an autonomous agent on top of its open-source coding assistant Vibe that reads Rails source files, generates or improves RSpec tests, and runs in a CI/CD pipeline without human intervention. The agent achieved 100% test pass rate and code coverage on a real codebase of 275 files, with an LLM-as-a-judge quality score of 0.74, up from 0.49 on files that already had tests.

Mistral

Mistral AI27.07 · 16:04

Agents 🇺🇸

Leanstral: open-source foundation for trusted programming

Mistral AI has released Leanstral, the first open-source code agent for Lean 4, a proof assistant. Leanstral is efficient with 6B active parameters and outperforms larger open-source models and some Claude models at a fraction of the cost, aiming to verify code generation.

Mistral

Anthropic

Alibaba/Qwen

Moonshot AI

Mistral AI27.07 · 16:04

Show more ↓