AI产品库
Codestral Logo

品牌档案

Codestral

面向补全的代码模型与接口

Codestral 是 Mistral 的代码模型线,专攻低延迟、高频次的场景:行内补齐(FIM)与代码生成。当前版本支持 128K 上下文,同时提供代码向量化模型与配套的编程 Agent 产品。

深度介绍

Codestral详细介绍

🧭

定位:专做补全,不追求全能

官方对 Codestral 的定义很清楚:它是为代码补全打造的模型,专攻低延迟、高频次的任务,也就是行内补齐与代码生成。这个定位决定了它的取舍——不是把通用大模型的能力全搬过来,而是把响应速度和单次调用成本压到适合编辑器里每敲几个字就请求一次的程度。官方在 2024 年 5 月首次发布它时就强调,这是该公司第一个代码模型,用同一个接口同时承担指令与补全两类请求。

🔤

语言覆盖与训练取向

首发时官方给出的口径是训练数据覆盖 80 多种编程语言,既包括最常用的几种通用语言,也明确提到对小众语言同样表现良好——官方举例点到了 Swift 与 Fortran。对多语言混用的代码库,这一点比单纯的排行榜分数更实用:补全工具最怕的是在冷门文件类型里给出语法错误的建议。官方当时列出的用途包括补全函数、写测试、以及填充重复性的代码片段。

📐

当前版本规格:128K 上下文

官方模型文档里 Codestral 的当前版本标记为 25.08,状态是正式可用,发布日期为 2025 年 7 月 30 日。上下文长度 128K token,相比首发版本的 32K 提升明显,这让它可以一次性看到更大的文件或跨文件的上下文。官方对它的描述仍是「低延迟、高频次」,并明确点出行内补齐(FIM)与代码生成这两类任务;模型标识以 codestral-2508 为主,另有一个变体可用。

🔌

接口怎么用:两个端点分工

文档给出的接入点是两类端点:常规的对话补全端点用于指令式交互,另有专门的 FIM 端点用于行内补齐——后者接收前缀与后缀、生成中间缺失的代码,这正是编辑器插件的标准用法。此外还支持批量接口,适合把大量生成任务排队跑。功能清单里包括结构化输出、函数调用、预测输出、文档问答与前缀续写;这些能力让它在补全之外,也能承担把代码当文档来问答的场景。

🔢

同系的代码向量化模型

官方另有一个 Codestral Embed,定位是把代码片段转成语义向量,用于检索与相似度匹配。它的上下文为 8K token,价格是每百万 token 0.15 美元、缓存输入 0.015 美元,且不按输出计费——因为它只做嵌入,不生成文本。对要做代码仓库检索、相似代码去重或大仓搜索的团队,这一项和补全模型是两条独立的成本线,选型时不要混在一起算。

🧪

免费的 Lean 4 证明 Agent

同属代码方向还有一个实验性模型 Leanstral,文档把它描述为面向 Lean 4 形式化证明工程与自动定理证明的代码 Agent,当前版本为 1.5,许可为宽松开源,并且接口定价一栏写的是免费。这个方向比较垂直,但对做形式化验证、数学证明工程或需要严格正确性保证的团队来说,它是一个可以直接试的选择,成本上基本只有时间。

🖥

配套的编程 Agent 产品

官方还把代码能力包装成了一个可落地的编程 Agent 产品,形态覆盖命令行、编辑器插件与网页端,安装方式给了一行脚本与包管理命令两种。它的卖点被归纳成四条:把样板代码、测试与文档交给 Agent 从而缩短合并请求时间;对代码库有深入理解以支撑补全、重构与评审;能迁移遗留代码到现代技术栈并保留功能与领域知识;以及模型可定制。对只想用接口的团队,这部分可以完全不用。

💳

计费与档位选择

官方价格页把 Codestral 单列在「代码模型」一栏:输入每百万 token 0.3 美元、缓存输入 0.03 美元、输出 0.9 美元。缓存输入只有输入价的十分之一,这就是它适合编辑器场景的关键——同一个文件反复请求时,大部分输入可以走缓存价。如果任务更复杂、需要更强的通用推理,官方同页列出的通用模型档位从每百万输入 0.15 美元到 1.5 美元不等,输出从 0.6 到 7.5 美元不等;换句话说,补全用 Codestral,重活交给通用模型,是官方价格表本身就支持的组合方式。

产品特点

核心功能与独有价值

01

缓存输入价格只有十分之一

Codestral 的缓存输入是每百万 token 0.03 美元,而非缓存输入是 0.3 美元。编辑器补全的特点是同一份文件被反复请求,命中缓存的比例天然很高,因此实际成本往往远低于按输入价乘出来的估算值。

02

行内补齐有专用端点

除了常规对话端点,官方为补齐单独提供了接口:接收前缀与后缀、生成中间缺失的代码。对做编辑器插件的人来说,这比把补全任务硬塞进对话接口要自然得多,也更贴近补全场景的请求形状。

03

补全、检索、证明三条线分开定价

生成型补全、代码向量化与形式化证明 Agent 是三个独立的模型与三条独立的成本线:前两者按不同单价计费,第三个目前免费。团队可以只买需要的那条线,而不是为一整套平台能力付费。

04

只做补全意味着单价可以很低

因为不追求通用能力,这个模型可以把体积与延迟压下来,官方给出的补全价格落在每百万输入 0.3 美元这一档。对高频调用场景,单价差一倍就意味着账单差一倍,这是专用模型相对通用模型最实际的优势。

最近动态

重要更新

九月核验:官方价格与模型清单状态

核验时官方文档的模型总览把 Codestral 列在「代码模型」分类下,版本 25.08、状态为正式可用,描述仍是「面向代码补全的前沿模型,专攻低延迟高频次的行内补齐与代码生成」。同一页的代码向量化模型为 25.05 版。价格页把它与代码嵌入单列成「代码模型」一栏,与通用模型、专用模型、第三方托管模型分开呈现,便于直接对比。

模型生命周期:旧版本被替代

官方文档的弃用表列出了若干被替代的通用模型及其退役日期与替代型号,说明这条产品线的版本更迭在持续进行。对使用方来说,需要留意的是模型标识会随版本变化,官方给出的替代关系表是升级时的第一手依据;Codestral 在核验时的状态仍是当前版本,未被列入弃用表。

25.08 版本发布:上下文扩到 128K

官方标注 Codestral 25.08 于 2025 年 7 月 30 日发布并进入正式可用状态,同时配有官方博客。相对首发版本,这一代的上下文从 32K 提升到 128K,并延续了行内补齐与代码生成的低延迟定位。这也是当前文档中 Codestral 的版本基线,后续的价格与能力核验都以此为准。

产品总结

Codestral 是 Mistral 的代码模型线,官方定义很聚焦:为代码补全打造,专攻低延迟、高频次的行内补齐(FIM)与代码生成。它在该公司 2024 年 5 月首次发布时被介绍为第一个代码模型,用同一个接口同时承担指令与补全两类请求,训练数据覆盖 80 多种编程语言,官方特别提到对 Swift、Fortran 这类相对小众的语言同样表现良好。 当前版本的规格为:版本号 25.08、状态正式可用、发布日期 2025 年 7 月 30 日、上下文长度 128K token,相比首发版本的 32K 提升明显;模型标识以 codestral-2508 为主,另有一个变体可用。接口分两类端点:常规对话补全端点用于指令式交互,专门的 FIM 端点用于行内补齐——接收前缀与后缀并生成中间缺失的代码,这正是编辑器插件的标准形状;此外支持批量接口。功能清单包括结构化输出、函数调用、预测输出、文档问答与前缀续写。 同系还有两项:一是代码向量化模型,把代码片段转成语义向量用于检索与相似度匹配,上下文 8K token、每百万 token 0.15 美元、缓存输入 0.015 美元,只做嵌入不按输出计费;二是实验性的 Lean 4 证明工程 Agent,当前版本 1.5、宽松开源许可、接口定价免费。此外官方把代码能力包装成了一个编程 Agent 产品,形态覆盖命令行、编辑器插件与网页端,安装给了一行脚本与包管理命令两种方式,卖点是缩短合并请求时间、对代码库有深入理解、迁移遗留代码以及模型可定制。 计费上,官方价格页把 Codestral 单列在「代码模型」一栏:输入每百万 token 0.3 美元、缓存输入 0.03 美元、输出 0.9 美元。缓存输入只有输入价的十分之一,而编辑器补全恰好是同一文件被反复请求的场景,命中比例天然高,因此实际成本往往低于按输入价估算的结果。作为对照,同页的通用模型档位输入从每百万 0.15 到 1.5 美元、输出从 0.6 到 7.5 美元不等,把补全交给专用模型、把复杂任务交给通用模型,是官方价格表本身就支持的分工。

产品类型
代码补全模型与开发者接口
支持平台
云端接口(对话与对话式两类端点) / 行内补齐专用端点(FIM) / 批量接口(Batch) / 开发者控制台与在线实验场 / 配套编程 Agent(终端、编辑器、网页)
资费模式
Codestral 输入每百万 token 0.3 美元、缓存输入 0.03 美元、输出 0.9 美元;代码嵌入 0.15 美元。

核验信息

参考文章与数据来源

本页事实来自官方渠道:官网首页与产品页(编程 Agent 的四条卖点、覆盖命令行与编辑器插件与网页端的形态、两种安装方式)、Codestral 模型文档(版本号与状态与发布日期、128K 上下文、低延迟高频次定位、行内补齐与代码生成、模型标识,以及结构化输出与函数调用与预测输出与文档问答与前缀续写与批量与两类端点)、代码向量化模型文档(8K 上下文、单价与只做嵌入不按输出计费)、接口价格页(代码模型一栏的三项单价、通用模型档位的价格区间)、全部模型页(代码模型与实验性证明 Agent 的分类、版本与许可与免费定价)、首发公告(第一个代码模型、同接口承担指令与补全、80 多种编程语言与举例语言、三类用途)以及模型生命周期页的弃用与替代关系。页内未列出文档中出现的第三方模型名称。价格与状态核验于 2026 年 9 月 22 日。

  1. 官网Mistral AI 官网
  2. 官方文档Codestral 模型文档
  3. 官方文档代码向量化模型文档
  4. 官方文档接口价格与计费
  5. 官方文档全部模型与许可
  6. 其他Codestral 首发公告
  7. 其他官方编程 Agent 产品页
  8. 其他开发者控制台

用户体验调查

Codestral介绍页面对您是否有帮助?