Goedel

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

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

MeCheck

MeCheck是一款利用AI技术的合同审查工具，支持合同智能审查、要素提取、版本管理、自定义清单及模板管理等功能。它通过自然语言处理和法律知识图谱技术，快速定位合同风险点，提供修改建议与法条支持，适用于企业合同管理和风险控制场景。

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

Macaly

Macaly是一款创新的无代码应用开发工具，通过自然语言处理技术，让用户能够将想法转化为可运行的应用程序。用户可通过文字描述或语音指令参与应用创建和修改，并实时看到视觉效果反馈，提升开发效率和协作体验。Macaly与GitHub深度集成，支持代码管理和协作，适用于个人创业者、小型团队、市场营销人员和企业内部项目，支持多环境部署，增强现有项目或从零开始构建。

AI项目与工具 2025年06月11日 16 点赞 0 评论 469 浏览

Sketch2Sound

Sketch2Sound是一种由Adobe研究院与西北大学联合开发的AI音频生成技术，通过提取响度、亮度和音高概率等控制信号，结合文本提示生成高质量音效。其轻量化设计使得模型易于适配多种文本到音频框架，同时赋予声音设计师更强的表达力与可控性，广泛适用于电影、游戏、音乐制作及教育等多个领域。

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

混元游戏

混元游戏是腾讯混元大模型打造的工业级AIGC游戏内容生产引擎，提供AI美术管线、实时画布、AI 2D美术生成和角色多视图生成等功能。设计师可通过提示词或草图快速生成角色灵感图、三视图及动态视频，大幅缩短设计周期。平台支持多种游戏风格，具备实时调整细节能力，将角色多视图生成时间从12小时压缩至几分钟到30分钟，适用于影视制作、UGC社交创作、电商广告、工业设计与教育娱乐等多个场景。

AI项目与工具 2025年06月11日 65 点赞 0 评论 469 浏览

TrendPublish

TrendPublish 是一款基于 AI 的趋势发现与内容发布工具，支持多源数据采集、智能处理与自动发布功能。通过集成 AI 服务，实现内容总结、标题生成和发布管理，适用于科技媒体、企业推广、学术研究等多种场景，提升内容生产效率与质量。

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

爱扒谱

爱扒谱是一款基于人工智能技术的在线音乐处理平台，提供一键扒谱、音轨分离、AI音乐生成及MP3转MIDI等功能。它适用于音乐创作者、教师、学生及爱好者，能够显著提升音乐创作效率和学习体验。其主要特点包括高效便捷、智能精准、多平台支持及用户友好性。

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

Walles.AI

Walles.AI是一款多功能AI阅读工具，涵盖网页阅读、PDF解析、视频摘要生成及智能聊天对话等功能。它通过GPT-4和GPT-3.5技术支持，可快速提取关键信息并生成摘要，适用于学术研究、职场效率提升、语言学习及教育辅导等多个领域。

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

Ugic

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

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

魔力设

魔力设是一款集设计模板、版权素材和AI工具于一体的在线设计平台，支持海报、PPT、展板等多种设计类型。提供海量正版素材与在线编辑功能，结合AI智能抠图和PPT生成技术，提升设计效率。支持多格式导出，适用于商务、教育、营销及内容创作等多个场景。

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