AI - 智狐AI导航

BforeAI

BforeAI是一款基于AI的预测性网络安全平台，利用先进技术主动识别并防范网络钓鱼、假冒域名及社交媒体冒名等威胁。它能够自动检测并移除恶意内容，帮助企业减少数据泄露和声誉损害风险，同时支持实时数据更新和API集成，适用于多种行业场景，包括银行、零售、社交媒体平台和政府机构等。

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

MinMo

MinMo是阿里巴巴通义实验室推出的多模态语音交互大模型，具备高精度语音识别与生成能力。支持情感表达、方言转换、音色模仿及全双工交互，适用于智能客服、教育、医疗等多个领域，提升人机对话的自然度与效率。

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

Ugic

Ugic是一款由即时设计开发的Figma AI设计插件，能够基于用户上传的组件库和设计系统，智能化地生成多语言UI草图。它支持文本到结构的转换，允许用户通过输入产品需求文档或描述文本快速生成页面布局，并具备个性化组件库选择和迭代设计功能，显著提高了设计效率。Ugic适用于设计师、跨国团队和产品经理，支持多种语言，是优化设计工作流的有力工具。

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

Goedel

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

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

Zapier MCP

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

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

DeepSeek百宝箱

DeepSeek百宝箱是DeepSeek官方维护的GitHub项目，集成了多种支持DeepSeek API的工具和应用，涵盖聊天、知识管理、开发等多个领域。提供开箱即用、详实文档、本地化支持及多平台兼容性，助力开发者高效使用语言模型，提升工作效率。支持模型训练、部署、监控全流程，具备低代码配置、智能上下文感知、毫秒级响应等特性，适用于办公、编程、内容创作等多种场景。

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