Will It Run AI

MistralMistral

Leanstral 119B A6B

Atual
99Downloads157CurtidasMar 2026Publicado256K tokensContextoApache 2.0Licença84 ForteQualidade

Leanstral 119B A6B (119B parameters) requires approximately 84.4 GB of VRAM with Q4_K_M quantization. As a Mixture of Experts model with 6.5B active parameters, it uses less memory than its total parameter count suggests. For the best balance of quality and speed, we recommend hardware with at least 98 GB of VRAM.

Comece agora

— copie e cole para rodar localmente

Copy-paste commands to run Leanstral 119B A6B on your machine.

Run

docker run --rm -it ghcr.io/ggerganov/llama.cpp:full \ --hf-repo "mistralai/Leanstral-2603" \ --hf-file "Leanstral-2603-Q4_K_M.gguf" \ -c 4096 -ngl 99

Quick specs

Parameters119B (6.5B active)
Architecturemoe (MoE)
Context256K tokens
Modalitytext+vision
Min RAM46.4 GB
Rec. RAM72.6 GB (Q4_K_M)
LicenseApache 2.0
FamilyMistral Small
Vision Code Reasoning

About this model

Leanstral is Mistral's open-weight proof and code agent for Lean 4 workflows, built on the Mistral Small 4 family with multimodal input, tool use, and long-context support.

  • 119B total params with 6.5B active per token
  • Specialized for proof engineering and code-agent workflows
  • 256K context with multimodal text and image input

Modelos relacionados

Seu hardware

Detectando...

Escolhas rápidas

Melhor hardware

Melhores opções para Leanstral 119B A6B

Rodar este modelo

Opções de quantização

Estimativas de VRAM por nível de quantização

No hardware detected — fit column shows raw VRAM estimates

QuantBitsVRAMQualityFit
Q2_K
2
46.4 GB
Low
Q3_K_S
3
58.3 GB
Low
NVFP4
4
66.6 GB
Medium
Q4_K_M
4
72.6 GB
Medium
Q5_K_M
5
85.7 GB
High
Q6_K
6
97.6 GB
High
Q8_0
8
127.3 GB
Very High
F16
16
244.0 GB
Maximum

Compatibilidade de hardware

Estimativas de compatibilidade para todo o hardware

Abrir calculadora

Computing compatibility...

Detalhamento de memória

Reference: RTX 2060 6GB

Weights72.6 GB
KV Cache8.8 GB
Runtime2.4 GB
Headroom0.6 GB

Perguntas frequentes

FAQ — Leanstral 119B A6B

Veja também