Will It Run AI

MistralMistral

Leanstral 119B A6B

当前
99下载量157点赞Mar 2026发布日期256K tokens上下文Apache 2.0许可证84 优秀质量

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.

快速开始

— 复制粘贴即可本地运行

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

相关模型

你的硬件

检测中...

快速推荐

最佳硬件

Leanstral 119B A6B 的最佳选择

运行此模型

量化选项

各量化级别的 VRAM 估算

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

硬件兼容性

全部硬件的适配估算

打开计算器

Computing compatibility...

内存详细分析

Reference: RTX 2060 6GB

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

常见问题

FAQ — Leanstral 119B A6B

另请参阅