工具

1. 首页
2. 工具

Goedel

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

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

Agent Laboratory

Agent Laboratory是由AMD与约翰·霍普金斯大学合作开发的基于大型语言模型的研究辅助工具，支持从文献综述到报告撰写的全流程科研任务。它具备实验设计、代码生成、结果分析等功能，并通过多代理协作和用户反馈机制提升研究质量。实验表明其可显著降低研究成本，适用于机器学习、生物医学等多个领域。

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

Zapier MCP

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

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

360查字体

360公司推出的一款在线字体版权查询工具，帮助用户检测和识别电脑上已安装的字体是否具有商用版权，避免因字体侵权而产生的法律风险和经济损失。

字体字库 2025年06月05日 19 点赞 0 评论 711 浏览

抖商眼

【视频带货】领先的视频数据开放平台，为内容创作者在创作运营方面提供数据支持。

流量变现 2025年06月05日 61 点赞 0 评论 711 浏览

Wonderland

Wonderland是一项由多伦多大学、Snap和UCLA联合开发的技术，能够基于单张图像生成高质量的3D场景，并支持精确的摄像轨迹控制。它结合了视频扩散模型和大规模3D重建模型，解决了传统3D重建技术中的视角失真问题，实现了高效的三维场景生成。Wonderland在多个基准数据集上的3D场景重建质量均优于现有方法，广泛应用于建筑设计、虚拟现实、影视特效、游戏开发等领域。

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

字狐AI

字狐AI是一款集成多种AI功能的浏览器插件，主要功能包括智能问答、网页信息提取、写作辅助、PDF转换及OCR文字识别。用户可通过语音或文字与之互动，快速获取所需信息并提升工作效率。支持多语言识别与编辑，适用于办公文档处理、写作创作、资料阅读及PPT制作等场景。

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

DeepFiction Ai

一款为用户创造个性化的沉浸式叙事体验的AI故事生成器。无论是冒险、浪漫故事，DeepFiction都能根据用户的提示生成新颖的短篇小说。

AI写作对话 2025年06月05日 82 点赞 0 评论 712 浏览

天谱乐

天谱乐是一款由趣丸科技推出的支持多模态输入的音乐生成工具，涵盖文本、图片及视频生成音乐功能。它能够准确理解音乐复杂特性并生成高契合度配乐，同时提供专家模式和音乐编辑功能，适用于音乐创作、短视频配乐、影视配乐及个人娱乐等多个领域。

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

AITDK

AITDK是一款集成了多种AI驱动功能的工具平台，涵盖标题生成器、描述生成器、关键词生成器、特性生成器、常见问题解答生成器及用户评价生成器等模块，致力于帮助企业高效创建高质量、搜索引擎友好的内容，同时促进用户交互与品牌信任建设，广泛适用于网站优化、内容创作、产品推广及客户服务等多个领域。

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