工具 - 智狐AI导航

Kimina

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

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

Midjourney提示词（咒语）生成器

Midjourney提示词（咒语）是一个免费在线生成器，可以快速生成midjourney关键词、咒语的实用工具平台，内置2000+宝典，实时翻译，利用Midjo

创作工具 1970年01月01日 0 点赞 0 评论 727 浏览

appypie

Appypie 是一个面向无代码开发的综合性平台，支持用户通过拖放式界面轻松构建跨平台移动应用。它提供丰富的行业模板和第三方服务集成能力，同时强调数据安全与合规性，适合各类型企业用于推动业务创新和增长。

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

Poe AI是一个集成多个强大AI聊天机器人的平台，用户可以通过统一界面与多个AI聊天机器人互动，获得多样化的信息和解决方案。Poe AI的新功能“Previews”允许用户实时预览AI生成的Web应用，支持交互体验，简化编程和设计流程，提高开发效率。该功能支持多种类型的应用程序，包括游戏、文本编辑器、数据分析工具等。用户可以与多个AI聊天机器人进行对话，并且可以无缝切换，获取不同的解决方案或优化

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

GPT-SoVITS

一个强大的语音合成工具，特别适合需要快速生成特定人声的场景。它通过先进的技术实现了高质量的语音克隆和文本到语音转换，支持多种语言，并提供了易于使用的WebUI工具。

Ai平台模型 1970年01月01日 0 点赞 0 评论 726 浏览

ebook2audiobookXTTS

ebook2audiobookXTTS是一款开源AI工具，可将EPUB、PDF、MOBI等多种电子书格式转换为高质量的有声书（.m4b）。通过集成Calibre和Coqui XTTS技术，支持多语言处理和章节识别，同时保留电子书元数据，适用于个人学习、教育培训、企业培训以及公共图书馆等场景，帮助用户高效获取知识。

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