Ugic Ugic是一款由即时设计开发的Figma AI设计插件，能够基于用户上传的组件库和设计系统，智能化地生成多语言UI草图。它支持文本到结构的转换，允许用户通过输入产品需求文档或描述文本快速生成页面布局，并具备个性化组件库选择和迭代设计功能，显著提高了设计效率。Ugic适用于设计师、跨国团队和产品经理，支持多种语言，是优化设计工作流的有力工具。 AI项目与工具 2025年06月12日 36 点赞 0 评论 978 浏览
OpusClip Thumbnail OpusClip Thumbnail 是 OpusClip 团队推出的免费 AI 缩略图生成工具，专为 YouTube 创作者设计。用户只需粘贴视频链接，AI 会自动分析内容并生成多个高表现力的缩略图选项，无需手动输入提示词。该工具基于顶级创作者的成功模式训练，能理解视频上下文并生成相关缩略图，提供多种变体用于测试，提升点击率和视频表现。 AI项目与工具 2025年06月11日 80 点赞 0 评论 979 浏览
UI UI-TARS是由字节跳动开发的图形用户界面代理模型，支持通过自然语言实现桌面、移动端和网页的自动化交互。具备多模态感知、跨平台操作、视觉识别、任务规划与记忆管理等功能，适用于自动化任务执行和复杂交互场景。支持云端与本地部署，提供丰富的开发接口，便于集成与扩展。 AI项目与工具 2025年06月12日 33 点赞 0 评论 979 浏览
DeepGEMM DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。 AI项目与工具 2025年06月12日 61 点赞 0 评论 980 浏览
COVE COVE是一款以AI驱动的协作工具，提供共享工作空间和实时编辑功能，支持用户与AI共同思考和工作。它能从用户的文本、表格、图像等内容中学习，提供个性化建议和多样化思路，同时无缝集成于常用工具，适用于项目管理、研究分析、内容创作、教育学习及会议记录等多个场景。 AI项目与工具 2025年06月12日 98 点赞 0 评论 980 浏览
MusicFX Google MusicFX是一款基于人工智能技术的音乐生成工具，支持用户通过文本描述来生成音乐，涵盖多种风格。它具备文本到音乐创作、自定义音乐参数、数字水印技术和版权安全过滤等功能，旨在降低音乐创作门槛，提升创作效率和质量。自发布以来，已有大量用户通过该工具创作出原创音乐作品。 AI项目与工具 2024年01月01日 25 点赞 0 评论 980 浏览
TIGER TIGER是由清华大学研发的轻量级语音分离模型，采用时频交叉建模策略与多尺度注意力机制，有效提升语音分离性能，同时显著降低计算和参数开销。模型通过频带切分优化资源利用，适应复杂声学环境，广泛应用于会议记录、视频剪辑、电影音频处理及智能语音助手等领域。 AI项目与工具 2025年06月12日 98 点赞 0 评论 980 浏览
Trickle Trickle 是一款零代码网页应用开发工具，通过自然语言输入即可快速构建功能完善的网页应用。它支持自动生成前端、后端及数据库，具备一键发布和托管功能。内置图像优化、数据分析和文案生成等 AI 能力，并提供丰富模板库。适用于小商家、创业者、设计师及企业等多种场景，提升开发效率与用户体验。 AI项目与工具 2025年06月12日 40 点赞 0 评论 980 浏览
Pollo AI Pollo AI是一款由HIX.AI推出的AI视频创作平台，支持文本、图像及视频风格转换等多种功能，能将文字或图片快速生成高质量视频。平台具备角色一致性保障、多风格转换、高清输出等特性，适用于短视频制作、品牌推广、教学视频等领域，为用户提供高效的AI视频生成体验。 AI项目与工具 2025年06月11日 71 点赞 0 评论 980 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 980 浏览
