Codestral 2508 上下文提到 128K，Mistral 继续做低延迟补全
Mistral 在 2025 年 7 月 30 日把 Codestral 2508 标为正式可用。官方模型文档写明的上下文长度是 128K token。这条代码模型线 2024 年 5 月首发时只有 32K，一年多时间翻了四倍。模型标识以 codestral-2508 为主，另有一个变体可用。
官方对 Codestral 2508 的定位没有变，仍是低延迟、高频次，专攻编辑器里的行内补齐与代码生成。2024 年 5 月首次发布时，Mistral 强调这是该公司第一个代码模型，用同一个接口同时承担指令与补全两类请求。训练数据覆盖 80 多种编程语言，官方点名过 Swift 和 Fortran 这类小众语言。对多语言混用的代码库，这比排行榜分数更实用，因为补全工具最怕在冷门文件类型里给出语法错误的建议。官方列出的用途是补全函数、写测试、填充重复性代码片段。
两个端点分工
接入分两类端点。常规对话补全端点用于指令式交互，另有专门的 FIM 端点接收前缀与后缀、生成中间缺失的代码，这是编辑器插件的标准用法。此外支持批量接口，适合把大量生成任务排队跑。功能清单包括结构化输出、函数调用、预测输出、文档问答与前缀续写，这些能力让 Codestral 2508 在补全之外也能承担把代码当文档来问答的场景。价格上，输入每百万 token 0.3 美元，缓存输入另有更低档位。这个定价对应的是编辑器里每敲几个字就请求一次的调用节奏，官方没有把它做成全能模型，取舍就在响应速度和单次成本上。
同系还有 Embed 和 Leanstral
Codestral Embed 负责把代码片段转成语义向量，上下文 8K token，每百万 token 0.15 美元、缓存输入 0.015 美元，不按输出计费，因为它只做嵌入不生成文本。做代码仓库检索、相似代码去重或大仓搜索的团队，这条成本和补全模型是两条独立的账，选型时不宜混在一起算。
同属代码方向的还有 Leanstral，文档描述为面向 Lean 4 形式化证明工程与自动定理证明的代码 Agent，当前版本 1.5，许可为宽松开源，接口定价一栏写的是免费。这个方向垂直，但对做形式化验证和数学证明工程的团队来说，成本基本只有时间。
Mistral 还把代码能力包装成了可落地的编程 Agent 产品，文档未展开具体形态。眼下补全、嵌入、证明三条线各自有明确的价格和上下文规格，团队按任务拆开选，比对着单一榜单挑模型更接近实际。
来源