Lobe Chat Lobe Chat 是一个免费开源的高性能 AI 聊天机器人框架，具备多种功能，如 GPT-4 视觉识别、文字语音转换、灵活的插件系统及个性化主题模式。用户能够轻松部署和扩展功能，适用于各种场景。该框架已在 GitHub 上获得近 14K 星标，展示了其受欢迎程度和实用性。 AI项目与工具 2025年06月12日 82 点赞 0 评论 1014 浏览
新言意码 新言意码是一家专注于AI编程应用开发的科技公司，提供代码生成、补全、审查、优化、测试及智能搜索等功能，支持多语言开发。其产品适用于软件开发、教育学习、代码维护、团队协作及快速原型构建等多种场景，旨在提升开发效率和代码质量。公司成立于2024年，已获得多轮投资，估值达8000万美元。 AI项目与工具 2025年06月12日 47 点赞 0 评论 1010 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 976 浏览
居然设计家 居然设计家是一款融合AI、3D、VR和大数据技术的家装设计平台，提供户型识别、智能设计、自由建模、全屋定制、海量模型资源及AI辅助设计等功能。用户可通过自然语言交互快速生成个性化设计方案，并支持多工具协同与实时渲染，适用于DIY、智能装修、导购、电商等多种场景，提升设计效率与用户体验。 AI项目与工具 2025年06月12日 61 点赞 0 评论 972 浏览
FreeMind FreeMind是一款基于java的免费的脑图(mind mapping)制作与管理软件。 支持的平台：Windows、Linux和Mac多种操作系统。 思维导图 2025年06月05日 20 点赞 0 评论 971 浏览
MAS MAS-Zero是Salesforce推出的多智能体系统（MAS）设计框架，能够在无需人类监督的情况下自动设计和优化MAS。它通过元迭代过程动态生成、评估和改进MAS配置，基于自验证机制选择最优解。该工具在数学推理、问答和代码基准测试中表现优异，具备自进化能力，无需外部监督，适用于复杂问题求解、自然语言处理、软件工程等多个领域。 AI项目与工具 2025年06月11日 62 点赞 0 评论 966 浏览
Topaz Video AI 4 一家为专业人士提供基于人工智能的照片和视频增强软件的公司。他们的软件利用深度学习来提高图像质量，包括降噪、锐化、提升分辨率等功能。 Ai视频生成 2025年06月05日 49 点赞 0 评论 964 浏览
Cofounder Cofounder是一款基于生成式AI技术的开源全栈开发工具，可依据单一提示生成完整的Web应用程序，涵盖后端、前端、数据库及API。其特色包括AI辅助原型设计、模块化设计系统和生成式UI，旨在简化开发流程并提升效率。适用于快速原型开发、敏捷开发、教育领域及企业数字化转型等多种场景。 AI项目与工具 2025年06月12日 59 点赞 0 评论 959 浏览
