TIGER TIGER是由清华大学研发的轻量级语音分离模型，采用时频交叉建模策略与多尺度注意力机制，有效提升语音分离性能，同时显著降低计算和参数开销。模型通过频带切分优化资源利用，适应复杂声学环境，广泛应用于会议记录、视频剪辑、电影音频处理及智能语音助手等领域。 AI项目与工具 2025年06月12日 98 点赞 0 评论 986 浏览
LalaEval LalaEval是由香港中文大学与货拉拉数据科学团队联合开发的针对特定领域大语言模型的人类评估框架。它提供了一套完整的端到端评估流程，涵盖领域界定、能力指标构建、评测集生成、标准制定及结果分析。通过争议度与评分波动分析，有效减少主观误差，提升评估质量。该工具已在物流领域成功应用，并具备良好的跨领域扩展性，适用于企业内部模型优化与多场景评测。 AI项目与工具 2025年06月12日 29 点赞 0 评论 986 浏览
Trickle Trickle 是一款零代码网页应用开发工具，通过自然语言输入即可快速构建功能完善的网页应用。它支持自动生成前端、后端及数据库，具备一键发布和托管功能。内置图像优化、数据分析和文案生成等 AI 能力，并提供丰富模板库。适用于小商家、创业者、设计师及企业等多种场景，提升开发效率与用户体验。 AI项目与工具 2025年06月12日 40 点赞 0 评论 986 浏览
FreeMind FreeMind是一款基于java的免费的脑图(mind mapping)制作与管理软件。 支持的平台：Windows、Linux和Mac多种操作系统。 思维导图 2025年06月05日 20 点赞 0 评论 986 浏览
Aitubo Aitubo是一款基于先进Flux模型的AI图像和视频生成平台，支持用户通过文本提示生成高质量图像，并具备背景移除、图像放大增强、AI外扩绘画以及人脸交换等功能，广泛应用于游戏开发、动漫制作、艺术创作及广告营销等领域。 AI项目与工具 2025年06月12日 42 点赞 0 评论 985 浏览
UI UI-TARS是由字节跳动开发的图形用户界面代理模型，支持通过自然语言实现桌面、移动端和网页的自动化交互。具备多模态感知、跨平台操作、视觉识别、任务规划与记忆管理等功能，适用于自动化任务执行和复杂交互场景。支持云端与本地部署，提供丰富的开发接口，便于集成与扩展。 AI项目与工具 2025年06月12日 33 点赞 0 评论 985 浏览
居然设计家 居然设计家是一款融合AI、3D、VR和大数据技术的家装设计平台，提供户型识别、智能设计、自由建模、全屋定制、海量模型资源及AI辅助设计等功能。用户可通过自然语言交互快速生成个性化设计方案，并支持多工具协同与实时渲染，适用于DIY、智能装修、导购、电商等多种场景，提升设计效率与用户体验。 AI项目与工具 2025年06月12日 61 点赞 0 评论 985 浏览
MCPHub MCPHub 是一个集成了多种 MCP 服务器的聚合平台，支持将多个服务器整合至流式 HTTP（SSE）端点，提供集中式管理界面和协议兼容性。具备热插拔配置、访问控制、安全认证等功能，支持 Docker 部署，适用于 AI 工具集成、多模型协同及私有化部署等场景，提升 AI 开发与管理效率。 AI项目与工具 2025年06月11日 40 点赞 0 评论 985 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 985 浏览
