详细参数
模型定位
通用聊天
适合场景
通用助手 / 企业应用
输入价格
公开资料未说明
输出价格
公开资料未说明
语言模型
Leanstral
Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active.
调用名 labs-leanstral-2603厂商Mistral
通用助手企业应用多语言任务通用聊天稳定版
快速入口
- 适合
- 通用助手 / 企业应用
- 价格
- API endpoint Free
- 输入/输出
- 文本
能力与信息
核心能力
推理
不支持
工具调用
不支持
结构化输出
不支持
训练与版本
微调
不支持
蒸馏
不支持
接入信息
知识截止
公开资料未说明
调用名
labs-leanstral-2603
API 基础地址
https://api.mistral.ai/v1
调用协议
https/json
主接口
/chat/completions
接口说明
Mistral API 默认使用 https://api.mistral.ai/v1；主力文本 / 推理 / 多模态模型走 /chat/completions。
发布时间
公开资料未说明
价格与计费
计费摘要
计费价格
API endpoint Free
计费单位
1 request
单位类型
按次
输入形式
文本
输出形式
文本
币种
USD
价格说明
原始价格文案
API endpoint Free
补充说明
Leanstral：官方价格页当前按非 Tokens 计费单位公开列价，已保留原始计费口径。 API endpoint Free
发布时间
未公开
官方入口
模型页
docs.mistral.ai
/models/model-cards/leanstral-26-03
查看厂商官方模型介绍和版本说明
价格页
mistral.ai
/pricing
核对最新价格和计费单位
官方文档
docs.mistral.ai
/models/model-cards/leanstral-26-03
查看接入方式、能力说明和限制
API 后台
console.mistral.ai
/
进入厂商官方 API 平台或控制台
在线体验
console.mistral.ai
/build/playground
进入官方体验或 Playground
厂商页
tokendh.com
/providers/mistral
查看本站整理的厂商入口、开通方式和可用范围
成本估算
API endpoint Free
Leanstral：官方价格页当前按非 Tokens 计费单位公开列价，已保留原始计费口径。 API endpoint Free
同类模型对比
| 模型 | 输入价格 | 输出价格 | 上下文 | 发布 |
|---|---|---|---|---|
| Leanstral Mistral · 本页 | 公开资料未说明 | 公开资料未说明 | - | - |
| Grok 4.20 Multi Agent xAI / Grok | $1.25 / 1M Tokens | $2.50 / 1M Tokens | 2M | 2026-03-31 |
| Grok 4.20 xAI / Grok | $1.25 / 1M Tokens | $2.50 / 1M Tokens | 2M | 2026-03-31 |
| DeepSeek V4.1 Flash 1017 DeepSeek | ¥2.00 / 1M Tokens | ¥8.00 / 1M Tokens | 1M | 2026-10-17 |
| DeepSeek V4.1 Flash DeepSeek | $0.03 / 1M Tokens | $0.12 / 1M Tokens | 1M | 2026-09-10 |
按同类目里价格最接近的模型挑选，价格单位与口径以各自详情页为准。
调用示例
调用名 labs-leanstral-2603，接口地址 https://api.mistral.ai/v1。示例里的 KEY 换成自己的密钥即可。
curl
curl https://api.mistral.ai/v1/v1/chat/completions \
-H "Authorization: Bearer $API_KEY" \
-H "Content-Type: application/json" \
-d '{
"model": "labs-leanstral-2603",
"messages": [{"role": "user", "content": "你好，介绍一下你自己"}]
}'Python
from openai import OpenAI
client = OpenAI(api_key="YOUR_API_KEY", base_url="https://api.mistral.ai/v1/v1")
response = client.chat.completions.create(
model="labs-leanstral-2603",
messages=[{"role": "user", "content": "你好，介绍一下你自己"}],
)
print(response.choices[0].message.content)常见问题
Leanstral 多少钱？
官方暂未公开 Leanstral 的按量价格，可能按订阅、资源包或商业授权计费，接入前建议先向 Mistral 询价。
Leanstral 的上下文够用吗？
Leanstral 的上下文长度官方资料暂未明确标注，接入前建议以官方文档为准。
怎么接入 Leanstral？
调用名是 labs-leanstral-2603，接口地址是 https://api.mistral.ai/v1，协议是 https/json，按官方文档填密钥即可调用。
Leanstral 能私有化部署吗？
Leanstral 是闭源模型，一般只能通过 Mistral 的 API 或云厂商服务调用，需要私有化部署建议直接联系厂商谈商业方案。