Mistral AI released Spaces CLI for human developers and coding agents. Commands such as spaces init and spaces dev handle scaffolding, development environments and deployment, with a corresponding flag for every interactive prompt so agents can work autonomously end to end. Each init generates context.json and AGENTS.md to provide structure and rules.
Mistral AI released Leanstral, the first open-source coding agent for Lean 4, using a sparse architecture with 6B active parameters. Its weights are available under Apache 2.0, and it is integrated into Mistral vibe and the free labs-leanstral-2603 API endpoint.
Mistral released the terminal coding agent Mistral Vibe 2.0, powered by the Devstral 2 model family, adding custom subagents, multiple-choice clarifications, slash-command skills, unified agent modes and automatic updates.
Le Chat Memories combines automatic saving, intelligent recall and visible sources. Users can disable memory, start memory-free incognito chats, edit or delete individual entries, export and import from other platforms. Memory Insights highlights trends and summaries from personal data, with categorisation and instant forgetting planned.
Mistral launched a beta directory of more than 20 secure MCP-based connectors in Le Chat across data, productivity, development, automation and business. It connects tools including Databricks, Snowflake, GitHub, Atlassian, Asana, Outlook, Box, Stripe and Zapier, and supports custom connectors or any remote MCP server.
Mistral AI released Agents API, combining its language models with built-in connectors for code execution, image generation, document libraries and web search, plus MCP tools, persistent memory across conversations and agent orchestration.
Mistral released enterprise AI assistant Le Chat Enterprise, powered by the new Mistral Medium 3. It offers enterprise search, agent building, custom data and tool connectors, document libraries, custom models and hybrid deployment, with all features rolling out over the next two weeks.
Mistral AI introduced TranscriptToPRDTicket, comprising PRDAgent and TicketCreationAgent powered by Mistral Large 2. It turns meeting transcripts into PRDs and development tickets, automatically creating them in tools such as Linear and Jira.