Leanstral-1.5-119B-A6B 项目介绍：GitCode 开源模型信息整理
HuggingFace镜像/mistralai/Leanstral-1.5-119B-A6B 是 GitCode 当前频道中展示的开源模型。可用于 Lean 4 证明助手的代码任务，如证明定理、修复代码。作为开源代码代理模型，具备 MoE 架构、119B 参数、256k 上下文长度及多模态输入能力，高效且经济。
项目概览
从 GitCode 页面公开信息看，项目类型：大模型；更新时间：2026-07-04T02:26:08.000+00:00；下载或热度数据：2。这些字段可以帮助读者先判断项目方向、技术栈和活跃程度。
核心特点
Leanstral-1.5-119B-A6B 的核心看点首先在模型定位和能力边界。页面描述显示，可用于 Lean 4 证明助手的代码任务，如证明定理、修复代码。作为开源代码代理模型，具备 MoE 架构、119B 参数、256k 上下文长度及多模态输入能力，高效且经济。对于准备测试开源模型的读者来说，建议先看清楚模型面向的输入输出、上下文能力、部署条件和许可说明，再决定是否进入实际评测。
适用场景
适用场景可以从两个层面理解：一是研发侧的模型验证、长文本处理、代码生成、多模态能力测试或推理服务接入；二是业务侧的原型验证、内部知识处理、辅助创作和自动化流程探索。不同项目的能力边界不同，最终仍应以仓库说明、模型卡和实际测试结果为准。
使用前关注
使用前建议重点关注参数规模、显存或算力需求、许可证、模型文件大小、依赖框架和更新频率。如果页面给出了量化版本、推理格式或硬件适配信息，也应与自己的部署环境逐项核对，避免只看模型名称就直接投入生产。
阅读建议
如果只是想快速了解项目，可以先看项目简介、标签和最近更新时间；如果准备实际使用，建议继续打开 GitCode 源页面，查看 README、示例、许可证和维护记录。对于模型类项目，还应补充做小样本测试；对于 Skill、MCP 和 Agent 类项目，则应重点验证权限、安全边界和输出稳定性。
来源：https://gitcode.com/hf_mirrors/mistralai/Leanstral-1.5-119B-A6B
-
08.01
异次元漫画app下载-异次元漫画正版下载地址
-
08.01
Google的Genie3世界模型一分钟后开始崩溃-人工智能游戏未来展望
-
08.01
三国志异闻录剧情怎么样 三国志异闻录玩法详情介绍
-
08.01
红果免费短剧赚钱方法
-
08.01
新新漫画官方入口下载-新新漫画官方下载入口
-
08.01
漫蛙如何下载-漫蛙漫画详细下载安装教程
-
- 《命运群星》狼介绍
- 08.01
-
- 《红色沙漠》设备配置需求已公布！
- 08.01
-
- 蚂蚁庄园今日3月12日答案更新
- 08.01
-
-
-
- 元气骑士手刀受什么加成
- 08.01
-
-
下载
- |
-
-
下载
- 《行尸走肉第一章》免安装中文汉化硬盘版下载
- 单机|436 MB
- 一款以动作冒险为主题的游戏
-
-
下载
- 《街头霸王X铁拳》免安装中文汉化硬盘版下载
- 单机|111MB
- 一款非常好玩的格斗游戏
-
-
下载
- |
-
-
下载
- 《暗黑破坏神3》免安装繁体中文正式版下载
- 单机|7630 MB
- 一款以角色扮演为主题的游戏
-
-
下载
- 《马克思佩恩3》免安装硬盘版下载
- 单机|27033 MB
- 一款以第三人称射击为主题的游戏