backend new models check - mistral - 2026-09-16

Files checked: `src/backend/drivers/ai-chat/providers/mistral/models.ts`

**chat (1)**
- `labs-leanstral-1-5-1` | aliases: `labs-leanstral-1-5` | context: 262144 | created: n/a | price: see provider pricing page
Notes: Not in backend under any name. `capabilities.completion_chat=true`, `reasoning=true`, `vision=true`, `fine_tuning=false`, `deprecation=null` — genuine chat-capable model ("A mid & post-trained version of mistral small 4 for Lean (260618 SFT)"), a specialized research/Lean variant, not a fine-tune base itself. All 46 upstream mistral records share an identical `created` epoch (today's sync date), so that field is a fetch timestamp, not a real release date — treated as n/a rather than run through the legacy filter.

Alias suggestions (already-supported models, just missing extra names in backend `aliases[]`, not new):
- `codestral-2508` is also served as `mistral-code-latest` / `mistral-code-fim-latest`
- `mistral-small-2603` is also served as `mistral-vibe-cli-fast` (oddly cross-listed with `magistral-small-latest` upstream — data anomaly, verify)
- `mistral-medium-2604` is also served as `mistral-vibe-cli-latest`, `mistral-vibe-cli-with-tools`, and `magistral-medium-latest`

skipped (unsupported modality): 19 — `mistral-embed-2312`/`mistral-embed`/`codestral-embed`/`codestral-embed-2505` (embeddings), `mistral-moderation-2603` (moderation), `mistral-ocr-2512`/`-3`/`-3-0`/`-4`/`-4-0`/`-4-1`/`-latest` (ocr, completion_chat=false), `voxtral-mini-2602`/`-latest` (audio_transcription), `voxtral-mini-transcribe-realtime-2602`/`voxtral-mini-realtime-2602`/`voxtral-mini-realtime-latest` (realtime transcribe), `voxtral-mini-tts-2603`/`-latest` (tts)
legacy upstream models not in backend (verify intent): none (created field unreliable/uniform, see note above)

Open src/backend/drivers/ai-chat/providers/mistral/models.ts and compare its existing model and alias entries with the issue’s Mistral findings. Verify the suggested aliases, especially the cross-listed Vibe CLI and Magistral names, against the provider data and pricing page. Done means the genuine chat-capable Leanstral model and confirmed aliases are represented, while unsupported modalities remain excluded.

Written by the indexing model from the issue text.