Mistral-7B-Instruct-v0.1
mistralai · 工具包
Mistral 推出的 7B 指令微调聊天模型,基于 Mistral-7B-v0.1,用公开的对话数据集微调。适合想要一个能遵循提示词的小型开放模型的开发者。
mistralai · 工具包
Mistral 推出的 7B 指令微调聊天模型,基于 Mistral-7B-v0.1,用公开的对话数据集微调。适合想要一个能遵循提示词的小型开放模型的开发者。
mistralai · 工具包
Mistral 为 Lean 4 证明助手推出的开源代码智能体模型。它能证明定理、修复 Lean 代码,支持文本和图像,可通过 Mistral API 或你自己的 vLLM 服务器运行。
miromind-ai · 工具包
一个开放的研究智能体模型,能在长上下文中推理,并在每个任务里多次调用工具查找信息。基于 Qwen3-8B 的 8B 版本,适合在自己硬件上运行研究智能体的开发者。
MinimaLabs · 工具包
一个 99M 参数的基础语言模型,从零开始在 100B token 上训练,采用混合注意力设计。适合想运行、研究或微调一个极小开放模型的研究人员和爱好者。
microsoft · 工具包
用微软的大型图像条件 TRELLIS 模型,从一张图片生成 3D 资产。适合想从图片获得 3D 内容的开发者、游戏美术和研究人员。
microsoft · 工具包
紧凑的 56 亿参数模型,接收文字、图像和音频并用文字回复,上下文 128K token。适合想用一个小模型同时处理语音、视觉和文字的开发者。
microsoft · 工具包
Microsoft Research 推出的 14B 开放语言模型,针对计算资源有限时的英语推理和对话做了调整。适合给应用添加文本功能,或研究中等规模模型的开发者。
microsoft · 工具包
把多种语言的文本转成嵌入向量,用于搜索、聚类、相似度、分类和重排序。适合做语义搜索或检索、并且能部署 27B 模型的开发者。
microsoft · 工具包
把图片和一条简短的任务提示词配对,就能给图片写说明、找出物体、读出图中文字。适合用 transformers 在 Python 里跑视觉任务的开发者和研究人员。
Mia-AiLab · 工具包
为 TensorFold 准备的 GLM-5.3-Flash 4 位 EXL3 量化版,在大小相同的情况下 KL 散度低于流行的 TR3-4bpw 量化版。适合在 DGX Spark 机器上部署大模型的人。
meta-models · 工具包
一个 300 亿参数智能体模型的 GGUF 版本,供 llama.cpp 使用,附带可选的图像编码器和推测解码草稿模型。适合在 24 GB 显卡上本地运行模型的人。
meituan-longcat · 工具包
用直接在波形潜空间里工作的扩散模型,把中文或英文文本变成语音,还能用你有权使用的参考样本克隆声音。
maya-research · 工具包
一个开放权重的文字转语音模型,你用日常的话描述声音,并加入内嵌的情绪提示。适合需要有表现力、可设计声音的开发者和创作者。
marcoyang · 工具包
把 16 kHz 的语音和通用音频转成每帧 1280 个数字的特征,是约 6 亿参数的预训练 Zipformer 编码器。适合为语音识别或音频标注做微调的研究者。
manuelgscom · 工具包
把西班牙语或英语请求变成一条 Linux bash 命令,以小型 JSON 对象返回。适合想要在 CPU 或 GPU 上运行本地命令助手的终端用户和开发者。
manuelgscom · 工具包
根据西班牙语或英语的日常提问,写出只读的 MongoDB 聚合管道。这是 Qwen3.5-9B 微调版的 GGUF 副本,可用 llama.cpp 在本地运行,适合想用日常语言查询数据的开发者。
Maincode · 工具包
根据函数签名或文档字符串补全并编写 Python 代码。这是 Maincode 的 1B 代码模型,小到能在消费级硬件上运行,适合想在本地做代码补全的开发者。
lordx64 · 工具包
回答前会在明确的思考块里推理,用约 8k 条 Claude Opus 4.7 的推理轨迹调优。这是 35B 混合专家的 Qwen3.6 变体,适合困难的数学、科学、代码和规划。
local-inference-lab · 工具包
为四卡 GPU 服务准备的 DeepSeek V4.1 Flash 1017 签名 Flare 运行时包,支持文本和图片,提供兼容 OpenAI 的 API。适合在自有 NVIDIA 硬件上运行大模型的人。
lmstudio-community · 工具包
在 Apple Silicon Mac 上运行 8 位 MLX 版本的 27B 图文模型,适合想在本地回答图片问题的人。