工具 - 智狐AI导航

Bith AI

Bith AI 是一款AI驱动的视频创作与编辑工具，支持文本转视频、自动字幕生成、多平台尺寸适配、多媒体融合及一键发布等功能。适用于社交媒体、企业营销、教育培训和个人创作等多种场景，提升视频制作效率与专业度。

AI项目与工具 2025年06月12日 37 点赞 0 评论 614 浏览

StarRocks MCP Server

StarRocks MCP Server 是一款用于 AI 助手与 StarRocks 数据库之间数据交互的工具，支持直接执行 SQL 查询、获取数据库结构、访问系统指标，并能生成数据可视化图表。其具备智能缓存、灵活配置等功能，适用于多维分析、AI 与数据库集成、数据探索等场景，提升数据处理与分析效率。

AI项目与工具 2025年06月11日 85 点赞 0 评论 614 浏览

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

AI项目与工具 2025年06月11日 33 点赞 0 评论 614 浏览

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台，提供个性化课程、智能辅导和多种学习模式，如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库，帮助学生掌握重点知识，提升学习效率。支持语音输入与全天候访问，适用于日常学习、考前复习及课堂教学辅助，助力学生高效学习与成绩提升。

AI项目与工具 2025年06月12日 53 点赞 0 评论 614 浏览

ARTROOM

ARTROOM是一款集成了AI技术的图像生成与编辑平台，支持用户通过图层控制、Loras集成及ControlNets技术生成原创艺术作品或参考图片。平台具备丰富的功能，涵盖个性化定制、灵感获取等，并适用于个人艺术创作、企业营销、教育研究等多个领域，助力用户高效完成高质量视觉内容。

AI项目与工具 2025年06月12日 20 点赞 0 评论 613 浏览

LivePPT

LivePPT是一款依托AI技术的高效PPT制作工具，能够快速生成包含专业排版与配色的演示文稿。支持用户通过输入关键词或粘贴文本的方式创建内容，并提供丰富的自定义选项，如模板风格调整、页数设定及后续美化处理。该工具广泛应用于职场、教育及生活领域，极大提升了文档制作效率。

AI项目与工具 2025年06月12日 40 点赞 0 评论 613 浏览

Learn Prompting

Learn Prompting 是一个开源平台，致力于教授 AI 提示工程相关知识，涵盖从基础到高级的内容。其主要功能包括智能推荐、深度解析、模拟对话、学习进度跟踪等，同时提供体系化课程及实际应用场景案例。该工具适用于教育、语言学习、内容创作、数据分析等多个领域，助力用户提升 AI 技术的应用能力。

AI项目与工具 2025年06月12日 16 点赞 0 评论 613 浏览