Zona Zona是一款基于AI技术的音乐生成工具，用户可通过输入创意或选择模板即时生成专业级别的音乐作品。该工具支持移动便携，具备个性化定制、创意激发及多功能编辑能力，广泛适用于个人娱乐、音乐教育、创意激发及社交媒体内容制作等多个领域。 AI项目与工具 2025年06月12日 79 点赞 0 评论 568 浏览
码上飞 码上飞是一款基于自然语言的AI应用开发平台，支持从需求描述到应用部署的全流程自动化。用户无需编程基础，即可通过文字指令生成信息管理、聊天机器人、小游戏等多种类型的应用。平台内置智能代理工具，可生成文档与测试用例，同时提供定制化服务与数据安全支持，提升开发效率与用户体验。 AI项目与工具 2025年06月12日 59 点赞 0 评论 568 浏览
Kodezi Kodezi 是一款面向开发者的 AI 工具平台，基于命令行界面（CLI）提供代码自动调试、优化、语言转换、文档生成及自然语言驱动的代码生成等功能。它支持 30 种编程语言，可生成 OpenAPI 规范并托管 Swagger UI 站点，旨在提升代码质量和开发效率，同时优化团队协作与 API 开发体验。 AI项目与工具 2025年06月12日 17 点赞 0 评论 568 浏览
MusicFX DJ MusicFX DJ是一款由Google DeepMind开发的人工智能音乐生成工具，利用实时文本提示生成多样化音乐作品。它支持多提示词混合、风格精细调控、乐器编排以及高质量音频输出等功能，适用于个人创作、现场表演、音乐教育及社交媒体内容制作等多个场景，为音乐爱好者和专业人士提供便捷高效的创意工具。 AI项目与工具 2025年06月12日 30 点赞 0 评论 569 浏览
Wisecut Wisecut 是一款利用人工智能技术的在线视频编辑工具，其核心功能包括 AI 高光检测、自动字幕生成与多语言翻译、基于语音的故事板编辑、智能背景音乐匹配以及静音段落自动移除等。它特别适合用于社交媒体内容创作、视频博客、在线教育、产品营销和企业培训等领域，帮助用户快速制作高质量的短视频或音频内容。 AI项目与工具 2025年06月12日 26 点赞 0 评论 569 浏览
SigLIP 2 SigLIP 2 是 Google DeepMind 开发的多语言视觉-语言模型，具有强大的图像与文本对齐能力。它支持多种语言输入，具备零样本分类、图像-文本检索等功能，并通过 Sigmoid 损失函数和自监督学习技术提升训练效率与模型性能。其支持多种分辨率的变体，适用于文档理解、视觉问答及开放词汇任务。该模型基于 Vision Transformer 架构，具备良好的兼容性。 AI项目与工具 2025年06月12日 94 点赞 0 评论 569 浏览
StoryBee StoryBee是一款基于AI技术的儿童故事生成平台，能够根据用户提供的主题或关键词自动生成个性化故事，并支持互动式选择以提升参与感。平台提供多样化的故事情节，涵盖多种类型，并针对不同年龄段的孩子调整故事复杂度。StoryBee融合教育元素，同时具备家长控制功能，确保内容的安全与健康。此外，平台还提供多媒体支持及故事创作工具，助力家庭和学校教育。 AI项目与工具 2025年06月12日 89 点赞 0 评论 569 浏览
AgentCPM AgentCPM-GUI是由清华大学与面壁智能团队联合开发的开源端侧GUI代理系统，专为中文应用场景优化。基于MiniCPM-V模型，支持通过截图输入并自主执行用户指令，具备高精度GUI元素识别与OCR能力。采用强化微调和紧凑动作空间设计，提升任务执行效率与移动端适配性。适用于智能助手、自动化测试、老年人辅助及企业应用等领域。 AI项目与工具 2025年06月11日 18 点赞 0 评论 569 浏览
PDF2Audio PDF2Audio 是一款开源工具，支持将 PDF 文档转换为音频内容，适用于播客制作、教育、业务演示等多个场景。其核心功能包括 PDF 转文本、生成播客脚本、文本转语音转换、多语言支持及高级编辑功能。用户可通过自定义选项调整文本生成模型、语音风格等，支持批量处理和多种模板适配，方便用户根据需求生成高质量音频。 AI项目与工具 2025年06月12日 35 点赞 0 评论 569 浏览
Kimina Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。 AI项目与工具 2025年06月11日 33 点赞 0 评论 569 浏览
