Composio Composio 是一款专为简化 AI 智能体开发和部署设计的辅助工具，支持超过100种集成工具，通过简单的代码调用多种工具和框架。它提供丰富的 API 和插件系统，支持多种身份验证协议，适用于自动化软件开发、内容管理、数据管理等多种场景，帮助开发者构建和管理高效的 AI 智能体。 AI项目与工具 2025年06月12日 89 点赞 0 评论 904 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 880 浏览
新言意码 新言意码是一家专注于AI编程应用开发的科技公司，提供代码生成、补全、审查、优化、测试及智能搜索等功能，支持多语言开发。其产品适用于软件开发、教育学习、代码维护、团队协作及快速原型构建等多种场景，旨在提升开发效率和代码质量。公司成立于2024年，已获得多轮投资，估值达8000万美元。 AI项目与工具 2025年06月12日 47 点赞 0 评论 872 浏览
FaceSwap FaceSwap是一款开源AI换脸软件，利用深度学习技术实现人脸检测、提取及替换。它支持跨平台操作，包括Windows、macOS和Linux，并可借助GPU加速提升处理效率。FaceSwap还允许用户自定义模型训练以优化换脸效果，广泛应用于影视制作、教育、游戏开发以及虚拟现实等领域。 AI项目与工具 2025年06月12日 45 点赞 0 评论 869 浏览
居然设计家 居然设计家是一款融合AI、3D、VR和大数据技术的家装设计平台，提供户型识别、智能设计、自由建模、全屋定制、海量模型资源及AI辅助设计等功能。用户可通过自然语言交互快速生成个性化设计方案，并支持多工具协同与实时渲染，适用于DIY、智能装修、导购、电商等多种场景，提升设计效率与用户体验。 AI项目与工具 2025年06月12日 61 点赞 0 评论 869 浏览
AgileGen AgileGen是一个基于人机协作的生成式软件开发框架，通过Gherkin语言定义用户需求并生成代码，支持快速原型设计和迭代优化。其主要功能包括需求收集与澄清、场景设计、代码生成及反馈迭代，同时具备记忆池机制以提升决策效率。适用于初创公司、教育领域及企业内部工具开发等场景。 AI项目与工具 2025年06月12日 94 点赞 0 评论 868 浏览
Topaz Video AI 4 一家为专业人士提供基于人工智能的照片和视频增强软件的公司。他们的软件利用深度学习来提高图像质量，包括降噪、锐化、提升分辨率等功能。 Ai视频生成 2025年06月05日 49 点赞 0 评论 868 浏览
书生·浦语 书生·浦语是上海人工智能实验室开发的一款开源AI大模型，具备卓越的推理能力和超长文本处理功能。该模型能够处理高达一百万词元的文本输入，支持联网搜索并整合信息，显著提升了处理复杂问题的能力。书生·浦语秉持开源理念，免费提供商用授权，旨在通过高质量开源资源赋能创新，推动AI技术的发展和应用。它支持多种功能，包括超长文本处理、增强推理能力、自主信息搜索与整合等，并提供了多样化的参数版本，以满足不同的应用 AI项目与工具 2025年06月12日 62 点赞 0 评论 859 浏览
