Token导航 LogoToken导航TokenDH.com
语言模型Mistral通用聊天稳定版

Leanstral

调用名:labs-leanstral-2603

Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active.

适合

通用助手 / 企业应用

通用聊天

价格

API endpoint Free

输入

文本

输出

文本

规格

上下文未说明

通用助手企业应用多语言任务

所属厂商:Mistral

详细参数

模型定位

通用聊天

适合场景

通用助手 / 企业应用

输入价格

公开资料未说明

输出价格

公开资料未说明

能力与信息

核心能力

推理

不支持

工具调用

不支持

结构化输出

不支持

训练与版本

微调

不支持

蒸馏

不支持

接入信息

知识截止

公开资料未说明

调用名

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

发布时间

未公开

官方入口