Kimi Playground – 月之暗面推出的AI工具调用体验平台
Kimi Playground是什么 Kimi Playground 是为开发者提供的工具调用能力体验平台。平台能让 AI 通过调用各种工具（如天气查询、酒店预订、数据分析等）完成复...
Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型
Goedel-Prover-V2是什么 Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验...
Excel MCP Server – 基于MCP的Excel处理工具
Excel MCP Server是什么 Excel MCP Server 是基于 Model Context Protocol (MCP) 的服务器工具，在无需安装 Microsoft Excel 的情况下，用 AI Agent操作 Exce...
Tizzy.ai – 百度推出的AI智能搜索助手
Tizzy.ai是什么 Tizzy.ai是百度推出的全新AI智能搜索助手应用。基于百度多个大模型能力生成，最大的特点是App内没有广告。Tizzy.ai的主要功能包括深度思考、...
Voxtral – Mistral AI开源的语音模型
Voxtral是什么 Voxtral 是 Mistral AI 推出的先进音频模型，基于卓越的语音转录和深度理解能力，推动语音作为自然的人机交互方式。Voxtral提供 24B 和 3B 两...
VikingDB – 火山引擎推出的大规模云原生向量数据库
VikingDB是什么 VikingDB 是火山引擎推出的高性能向量数据库，专为处理海量高维向量数据设计。VikingDB 支持实时同步、异步写入等多种数据写入方式，具备自研...
EXAONE 4.0 – LG推出的混合推理大模型
EXAONE 4.0是什么 EXAONE 4.0是韩国LG AI Research推出的自研混合推理大模型。模型融合通用自然语言处理和高级推理能力，支持韩语、英语和西班牙语。模型分为...
文兜智写 – AI标书编写平台，解析招标文件自动生成标书
文兜智写是什么 文兜智写是专为招投标行业设计的AI标书制作工具。能快速解析招标文件，精准识别关键信息，自动生成符合要求的标书内容，涵盖技术方案、实施方...
SendShort – AI视频编辑工具，自动拆分长视频
SendShort是什么 SendShort是 AI 视频编辑工具，专注于将长视频快速拆分为多个短视频，通过 AI 技术实现自动编辑、字幕生成、翻译等功能。能帮助创作者在几分...
Agnes AI- AI协作办公平台，支持团队长上下文记忆
Agnes AI是什么 Agnes AI 是基于 AI 的新一代协作办公平台，能彻底改变传统办公模式。Agnes AI用团队记忆、智能协作和一体化内容生成，打造适配团队场景的工...
AI 工具集导航网站 - 国内外1000+ AI 工具集合大全！网站聚合 AI 写作工具、AI 图像生成与背景移除工具、AI 视频制作工具、AI 音频转录工具、AI 辅助编程工具、AI 音乐生成工具、AI 绘画设计工具、AI 对话聊天工具等全品类 AI 应用，同步收录 AI 学习开发领域常用网站、框架及模型资源。一站式 AI 工具导航平台，助您快速捕获前沿智能工具，自动化提效完成多元任务，轻松拥抱人工智能浪潮！
