dhxiaoheiyun

MakeSong 是一款AI歌曲生成器，支持将文本或歌词快速转化为专业级、可商用的 AI 歌曲，适合 AI 工具使用者进行视频背景音乐、社交媒体内容创作与音乐原型制作。

Kimi Playground 是月之暗面（Moonshot AI）推出的开发者工具调用平台，集成可视化操作、MCP 接入和 Kimi K2 大模型，支持一站式工具调用与调试，适合 AI 工具使用者构建复杂自动化流程。

Goedel‑Prover‑V2 是一款开源自动化定理证明模型系列，通过专家迭代、自我修正与模型平均三项创新，实现 8B 和 32B 版本在自动形式化证明任务中的全新 SOTA，适合 AI 工具使用者用于数学推理和 Agent 集成。

Excel MCP Server 是一款基于 Model Context Protocol 的开源工具，支持操作 Excel 工作簿、公式、格式、图表、数据透视表等功能，无需安装 Excel，适合 AI 工具使用者集成电子表格能力至模型系统中。

Voxtral 是由 Mistral 推出的首款开源语音理解模型系列，支持高精度转录、语音问答、多语言识别与函数调用，提供 24B 和 3B 两种参数规模，适合 AI 工具使用者本地部署或云端集成。

VikingDB 是火山引擎（Volcano Engine）提供的高性能向量数据库服务，面向 AI 工具用户，支持大规模嵌入存储、向量检索、聚合分析、多语言 SDK 和 LangChain 集成，可部署于云端与边缘环境。

EXAONE 4.0 是 LG AI Research 发布的混合智能大模型，集通用理解与多步推理于一体，提供 32B 高性能与 1.2B 本地部署版本，支持工具调用与多语言，是 AI 工具使用者进行开发集成的核心资源。

文兜智写是一款专注于招投标领域的 AI 写作平台，10 分钟生成 10 万字投标书，深度解析招标文件、自动提取关键信息、支持全行业模板，适用于 AI 工具使用者与投标内容创作者。

SendShort 是一款面向 AI 工具使用者的短视频自动化生成平台，通过一键剪辑、配字幕、配音、音轨、B-roll 和多语言翻译，助力内容创作者高效制作并发布视频短片。

TRAE SOLO 是 ByteDance 推出的全流程自动化开发助手，通过“上下文工程”实现从需求到部署的端到端软件交付，支持开发者、产品经理与小团队高效协作。

Agnes AI 是一个面向团队的实时协作式 AI 助手，支持共享记忆、多人共编辑和自动流程，帮助 AI 工具使用者高效创建报告、幻灯片及策略文档。

RoboOS 2.0 是北京智源研究院推出的开源多智能体机器人操作系统，支持跨形体协作、集成 RoboBrain 认知大脑、技能库和共享内存，为 AI 工具使用者提供部署机器人智能系统的完整解决方案。