Mindket

开发者 AI 技能与智能体

写代码、审代码用的提示词、编程智能体任务说明和工具包,花更少的 Token。

类别与筛选
筛选
清除筛选

商品

mmBERT-base

jhu-clsp · 工具包

能读取并编码 1,800 多种语言的文本,用于分类、嵌入、检索和完形填空任务。适合要微调多语言编码器的开发者和研究者。

新上架

Qwen3.8-9B-Distill

empero-ai · 工具包

逐步推理数学、代码和一般问题,每个回答都以思考块开头。这是用更大的 Qwen3.8 教师模型的轨迹训练出的 9B Qwen3.5 模型,适合单张 GPU 使用。

新上架

Ornith-1.5-35B-A3B-NVFP4

ornith-ai · 工具包

能写代码、处理终端智能体任务,是每个 token 约用 3B 参数的混合专家模型,这里是 NVFP4 版本。适合想在自己硬件上部署编程模型的开发者。

新上架

Qwen3.5-4B-3D-Coder-GGUF

prithivMLmods · 工具包

用早期预览版 Qwen3.5-4B 微调模型的 GGUF 副本写代码,并生成自包含的 Three.js 交互 3D 场景页面。适合在本地做 3D 场景原型的开发者。

新上架

zeta-2.1

zed-industries · 工具包

根据文件上下文和你最近的编辑,预测光标附近的代码接下来该怎么改写。这是 Zed Industries 的模型,适合构建编辑器功能的人。

新上架

Agent Manager

lvwerra · 工具包

在一个私有的浏览器工作区里运行 Claude Code、Codex 和 Gemini CLI 等编程智能体,让你并排跟进多个任务,还能换一台设备继续。

新上架

Qwen2.5-Coder-7B-Instruct-GGUF

unsloth · 工具包

在你自己的电脑上编写、解释和修复代码,是 Unsloth 提供的 Qwen2.5-Coder 7B 指令模型的 GGUF 副本。适合想要本地编码助手的开发者。

新上架

Sweep Next-Edit 1.5B (GGUF)

sweepai · 工具包

根据当前打开的文件、最近的改动和当前状态预测你的下一处代码修改,以 1.5B 的 Q8_0 GGUF 模型在本地运行。适合想在自己笔记本上获得编辑自动补全的开发者。

新上架

Qwen3.8-27b-Terse-Coder-LoRA

Shockem · 工具包

缩短 Qwen3.8-27B 在编程任务上的推理长度,让答案更快出来,以一个小型 LoRA 适配器的形式提供。适合在自己硬件上运行基础模型的人。

新上架

Sarvam-30B

sarvamai · 工具包

Sarvam AI 的混合专家语言模型,总参数 322 亿,每个词元激活 24 亿,面向英语和多种印度语言的实际使用。模型卡的示例代码需要 NVIDIA 显卡。

新上架

Flint INT4

RecursiveSI · 工具包

Recursive Flint 的 4-bit MLX 版本,约 22.6 GB,用于 Apple Silicon 本地运行,可通过 Rec 配合 pi 或 OpenCode 启动。适合想把 Flint 接入编程工具的 Mac 用户和开发者。

新上架

Qwen2.5-Coder-7B

Qwen · 工具包

作为 7.6B 的基础语言模型来补全和生成代码,开发者可以运行它、微调它,或用于代码中间填充任务。适合制作编程工具的人。

新上架

一个 32B 代码聊天模型的 GGUF 版本,可用 llama.cpp 在本地运行。能根据简单请求编写、解释和修复代码,适合想在自己机器上运行的开发者。

新上架

这是一个仅 494M 参数的对话模型,能写代码、解释代码、修代码,上下文为 32,768 个 token。适合想在笔记本、测试环境或本地小助手里用最小开源 Qwen 编程模型的开发者。

新上架

Qwen2.5-14B-Instruct

Qwen · 工具包

这是一个 14.7B 参数的对话模型,能回答问题、写代码、做数学题并输出结构化 JSON,上下文最长 131,072 个 token。适合想自己运行开源模型的开发者。

新上架

AstrLink Guard

QuantumNous · 工具包

在 ONNX 中本地识别中文、英文和混合文本、代码、日志以及 AI 编程助手请求里的个人信息和凭据。适合在敏感数据离开机器前对它做遮盖的开发者。

新上架

IndiCodec

prakharkhatri · 工具包

把语音变成两路紧凑的词元,再还原成 24 kHz 音频,码率 1.09 kbps,重点支持英语和十种印度语言。适合语音研究人员和文字转语音的开发者。

新上架

Primal VAE

ostris · 工具包

提供小型图像自编码器,把图片压成一两个潜变量通道,不需要缩放系数,再通过分块拼成 Flux 或 Stable Diffusion 的潜变量形状。适合搭建扩散模型的人。

新上架

以混合精度 GGUF 文件运行 26.9B 参数的 SenseNova-6.8-Code2Video 模型,可在终端聊天或启动本地服务。适合想在自己硬件上使用该模型的人。

新上架

ClipProj-MiniMax-H3

NicoLab28 · 工具包

让小型 Qwen3-VL 在 ComfyUI 里代替 MiniMax H3 的 32B 文本编码器,把显存从 15.7 GB 降到 4.5 GB。这是需要自定义节点的概念验证项目。

新上架

Leanstral 1.5 119B A6B

mistralai · 工具包

Mistral 为 Lean 4 证明助手推出的开源代码智能体模型。它能证明定理、修复 Lean 代码,支持文本和图像,可通过 Mistral API 或你自己的 vLLM 服务器运行。

新上架

Muse Glimmer 30B GGUF

meta-models · 工具包

一个 300 亿参数智能体模型的 GGUF 版本,供 llama.cpp 使用,附带可选的图像编码器和推测解码草稿模型。适合在 24 GB 显卡上本地运行模型的人。

新上架

SPEAR XLarge v2

marcoyang · 工具包

把 16 kHz 的语音和通用音频转成每帧 1280 个数字的特征,是约 6 亿参数的预训练 Zipformer 编码器。适合为语音识别或音频标注做微调的研究者。

新上架

Maincoder-1B

Maincode · 工具包

根据函数签名或文档字符串补全并编写 Python 代码。这是 Maincode 的 1B 代码模型,小到能在消费级硬件上运行,适合想在本地做代码补全的开发者。

新上架

LightVAE

lightx2v · 工具包

通过 ComfyUI 节点或 Python 脚本,为 Wan2.1、Wan2.2 和 MiniMax-H3 换上更轻的视频自编码器部件。适合想要紧凑 VAE 组件的视频 AI 用户。

新上架

ColGrep-Agent-2B

lightonai · 工具包

一个 2.5B 参数的模型,通过搜索和阅读代码仓库,找出与缺陷报告或问题相关的文件和行范围。通过 ColGrep 在本地运行。

新上架

MiniMax-H3-TAE

Kijai · 工具包

一个训练得很快的小型解码器,在 ComfyUI 里生成 MiniMax-H3 视频时提供实时画面预览,比默认的 latent2rgb 预览更清楚。

新上架

Qwen3.8-27B-oQ8e-mtp

Jundot · 工具包

把 Qwen3.8-27B 做成 8 位混合精度的 MLX 检查点,带视觉编码器和 MTP 头,用于苹果硬件上的图文聊天。适合想在本地得到接近完整质量的人。

新上架

GLM-5.3-Flash-oQ4e-mtp

Jundot · 工具包

zai-org 的 GLM-5.3-Flash 多模态混合专家模型的混合精度 MLX 副本,约每个权重 4.6 位,包含视觉编码器和多词元预测头。

新上架

一个仅支持英文的编程模型,GGUF 格式,42.6B 参数的混合专家量化版,约 21.8 GB,用于在 llama.cpp 或 LM Studio 里做代码补全、重构和智能体工具调用。

新上架

Granite-4.0-H-350M

ibm-granite · 工具包

用 IBM 推出的 340M 参数指令模型处理摘要、分类、抽取、问答、RAG、代码任务和工具调用,支持 12 种语言。适合需要紧凑设备端模型的开发者。

新上架

Qwen2.5-Coder-1.5B Q8_0 GGUF

ggml-org · 工具包

通过 llama.cpp 在你自己的机器上运行 Qwen2.5-Coder 1.5B 的 Q8_0 GGUF 文件,可以用命令行,也可以做成本地服务器。适合想用小型代码模型的开发者。

新上架

MoEViE-L16-384

facebook · 工具包

Meta 的混合专家视觉编码器,无需额外训练就能把图片匹配到文字标签,这里是 384px 的 L/16 模型。授权用于非商业研究。

新上架

ARK-ASR-3B

Edge0 · 工具包

用 Whisper 风格的音频编码器加 Qwen 解码器,把多种语言的语音转成文字。适合需要多语言转写的开发者和研究者,卡里给出了英文和中文的结果。

新上架

theOG-50M

DrunkkToys · 工具包

根据一段英文说明写出 Python 函数。这是在一台笔记本上从零训练的 50M 参数代码模型,小到可以在 Ollama、LM Studio 或 llama.cpp 里离线运行。

新上架

Kiyo-65M

DedeProGames · 工具包

用一个只有 65M 参数的仅解码器小模型续写英文文本,它在 80B 个词元上训练。适合想研究、比较小型 transformers 模型或拿它测试代码的学习者和研究者。

新上架

Instinct

continuedev · 工具包

预测你在代码里接下来可能做的修改。这是 Continue 推出的 7.6B 模型,基于 Qwen2.5-Coder-7B 微调,适合想在自己电脑或服务器上运行它的开发者。

新上架

North Mini Code

CohereLabs · 工具包

Cohere 的开放权重研究模型,用于写代码、智能体软件工程和终端任务。30B 模型,3B 激活,256K 上下文。适合自己运行编程模型的开发者。

新上架

t5-v1_1-xxl-encoder-gguf

city96 · 工具包

Google T5 v1.1 XXL 文本编码器的 GGUF 转换版,用于在 llama.cpp 里生成文本嵌入,或通过 ComfyUI-GGUF 为图像生成模型提供输入。适合开发者和图像生成用户。

新上架

North-Mini-Code-1.0 GGUF

byteshape · 工具包

North-Mini-Code-1.0 编程模型的 GGUF 副本,用 ByteShape 的 ShapeLearn 压缩,面向 llama.cpp 中的 GPU 使用。四种大小,从 12.1 GB 到 21.5 GB,适合单 GPU 的开发者。

新上架

MOSS-Image-SFT GGUF

axiomofmind · 工具包

MOSS-Image-SFT 扩散 Transformer 的非官方 GGUF 文件,有 Q8_0 和 Q4_K_S 两种,用 stable-diffusion.cpp 在本地做文字生成图像。需要另外准备 Qwen3.5-9B 编码器、分词器和 VAE。

新上架

ModernBERT-large

answerdotai · 工具包

预测英文文本或代码中被隐藏的词,微调之后可作为更大的长上下文编码器,用于搜索、分类和检索。适合想要更大号 ModernBERT 的开发者和研究者。

新上架

ModernBERT-base

answerdotai · 工具包

预测英文文本或代码中被隐藏的词,微调之后可作为长上下文编码器,用于搜索、分类和检索。适合需要快速 BERT 风格编码器的开发者和研究者。

新上架

OLMoE-1B-7B-0924

allenai · 工具包

用运行成本较小的混合专家模型续写英文文本,激活参数 1B,总参数 7B。代码、数据和检查点全部开放,适合使用 transformers 的研究人员和开发者。

新上架

Olmo-3.1-32B-Think

allenai · 工具包

回答前先用英语一步步推理,对数学和代码问题有帮助。这是 allenai 的 32B 开放模型,公开了代码、检查点和训练细节,通过 transformers 运行。

新上架

Qwen3.5-35B-A3B-GGUF

unsloth · 工具包

在你自己的机器上读取文字和图片、编写代码并调用工具,使用 Unsloth 刷新后的 Qwen3.5 35B-A3B 视觉语言模型 GGUF 文件。适合运行本地智能体的开发者。

新上架

GigaChat3.5-432B-A28B

ai-sage · 工具包

用于俄语和英语的对话、代码、推理和工具调用文本生成。这是一个 432B 的混合专家模型,激活参数 28B,适合能自行部署大模型的团队。

新上架

VieGem-ASR

5CD-AI · 工具包

转写越南语以及越南语和英语混合的语音,可离线处理,也可按 0.48 秒的块流式处理,使用基于 Google EmbeddingGemma 2 音频编码器的 359M 参数模型。仅限非商业使用。

新上架

ActionCodec2

ZibinDong · 工具包

把机械臂的动作转成紧凑的词元,也能转回去,提供 34 个现成的分词器变体。适合训练读写机器人动作的模型的机器人研究人员。

新上架

Unity Coder 7B

vishnuOI · 工具包

解答 Unity 游戏开发问题,编写 C# 脚本、XR 代码和编辑器工具,是 Qwen2.5-Coder-7B-Instruct 的微调版本。适合想要本地编码助手的 Unity 开发者。

新上架