工具 - 智狐AI导航

佐糖

佐糖是一款在线处理图片的平台，以智能AI数据处理能力为驱动，提供高效创意编辑服务。它支持抠图、在线消除笔、模糊照片变清晰、裁剪压缩图片等操作，操作简单，只需三步：上传照...

图片处理 1970年01月01日 0 点赞 0 评论 541 浏览

Zapier MCP

Zapier MCP 是一种 AI 工具，允许 AI 助手安全、快速地连接至 7000 多个应用程序，无需复杂 API 集成。它支持自动化任务如发送消息、管理数据、安排事件，并提供细粒度权限控制与安全验证。适用于开发者、AI 用户和企业团队，提升工作效率与协作能力。

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

麦当秀MindShow

MindShow是一款在线AI PPT生成和演示工具，它能够帮助用户快速创建高质量的演示文档。通过结合定制算法和智能设计能力，用户可以将想法和内容高效地转化为专业的PPT演示文稿。MindShow支持从多种格式的文档导入内容，并提供智能文档翻译功能，用户可以轻松生成多语言演示文档。其主要功能包括一键智能生成PPT、自动设计图片、多格式导入支持、智能文档翻译、丰富的模板和主题以及在线协作编辑。

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

unsloth

Unsloth 是一款高效开源的LLM微调工具，通过优化计算流程和GPU内核设计，大幅提升训练速度并降低内存占用。支持多种主流大模型，提供动态量化、长上下文支持等功能，适用于学术研究、企业应用及资源受限环境中的模型优化。

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

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

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