mistralai/mistral-vibe v2.5.0

on GitHub

Added

• Dedicated theorem proving agent powered by leanstral, setup with /leanstall
• More advanced AGENTS.md support:
  • AGENTS.md in ~/.vibe/ folder for user-level agent instructions
  • AGENTS.md for subfolders and in parent folders
• Mistral Code API key info displayed in CLI banner
• Voice mode with real-time transcription support
• Parallel tool execution for improved performance
• Structured ACP error classes for better error handling

Changed

• Bash allowlist/denylist now active on Windows
• Auto-completion relevance improved with better filename and path matching
• History navigation no longer filters by prefix
• Updated to Mistral SDK v2 import structure
• Removed find from bash default allowlist to prevent -exec abuse

Fixed

• Improved scrolling performance
• Web search tool now infers server URL from provider config