工具

1. 首页
2. 工具

Goedel

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

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

FacePoke

FacePoke是一款基于AI的开源实时面部编辑工具，支持通过简单拖拽操作调整人物头部姿态和面部表情，使静态图像更加生动。其采用深度学习技术，具备高分辨率输出和精确控制能力，适用于数字艺术、内容创作及影视制作等领域。工具基于LivePortrait技术开发，支持本地和Docker部署，便于用户灵活使用。

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

九章大模型(MathGPT)

学而思九章大模型是好未来自主研发的，面向全球数学爱好者和科研机构，以解题和讲题算法为核心的大模型。

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

智标领航

智标领航是一款面向招投标领域的AI工具，基于DeepSeek多模态大模型，提供标书智能生成、标讯实时更新、文件检查及私有化部署等服务。它可有效提升招投标效率，降低人工成本，适用于各类招投标相关人员和机构，助力提高中标率与工作质量。

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

QuickCEP快牛智营

快牛智营QuickCEP是一款为跨境独立站卖家和中国DTC品牌卖家提供智能导购机器人、在线客服、EDM营销工具、消费者数据库分析与管理的第三方SaaS工具。

电商运营 2025年06月05日 76 点赞 0 评论 481 浏览

ARTROOM

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

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

TestSprite

TestSprite 是一款基于 AI 的自动化测试平台，支持后端 API、前端 UI、数据及 AI 模型的测试，能够自动生成测试计划、执行测试并输出详细报告。其核心优势在于提升测试效率、减少人工干预，并适用于多种测试场景，如软件发布前验证、CI/CD 集成、生产环境监控等，帮助企业提升软件质量与交付速度。

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

vika维格表

vika维格表,一键训练AI的多维表格，将表格数据训练成AI客服、AI线索收集器、数据分析师和更懂你的GPT。

Ai办公效率 2025年06月05日 54 点赞 0 评论 481 浏览

ComfyFlow

ComfyFlow 是一个强大的应用程序创建和分享平台，它通过提供全托管服务和用户友好的界面，简化了从设计到分享的整个流程。

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

GTA

GTA是一项由上海交通大学与上海AI实验室合作研发的基准测试，专注于评估大型语言模型在真实世界环境中的工具调用能力。它包含229个精心设计的问题，涉及多个领域，并通过多模态输入输出和细粒度评估指标，全面衡量模型的工具使用效率与准确性。GTA可应用于智能助理开发、多模态交互、自动化客户服务、教育及科研等多个领域，助力提升人工智能系统的综合性能。

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