工具

1. 首页
2. 工具

DeepFiction Ai

一款为用户创造个性化的沉浸式叙事体验的AI故事生成器。无论是冒险、浪漫故事，DeepFiction都能根据用户的提示生成新颖的短篇小说。

AI写作对话 2025年06月05日 82 点赞 0 评论 626 浏览

Goedel

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

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

音控

音控是一款基于AI技术的音乐创作平台，提供AI作词、作曲、伴奏生成、AI歌手模拟等多功能支持，适用于个人创作、专业制作、音乐教育及治疗等领域。其智能化工具能够显著降低音乐创作门槛，同时满足多样化的音乐风格需求，使创作过程更高效且趣味盎然。 ---

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

标小智Logosc:LOGO设计神器

标小智Logosc是一款专业的AI智能设计工具，以LOGO商标设计生成为核心功能。此外，它还提供名片、海报、头像、印章等图像的智能生成和处理服务。产品特点包括提供专业的AI设计辅助...

Ai绘画生成 1970年01月01日 0 点赞 0 评论 625 浏览

创作星

创作星是一款基于AI技术的多功能对话工具，集成了AI聊天、AI绘画、AI视频制作及文本生成等多项功能。它能够适应多种场景需求，如工作咨询、学术讨论、日常闲聊等，并提供便捷的操作体验。无论是创意激发还是实际应用，创作星都展现出强大的实用性和创新性。 ---

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

TestSprite

TestSprite 是一款基于 AI 的自动化测试平台，支持后端 API、前端 UI、数据及 AI 模型的测试，能够自动生成测试计划、执行测试并输出详细报告。其核心优势在于提升测试效率、减少人工干预，并适用于多种测试场景，如软件发布前验证、CI/CD 集成、生产环境监控等，帮助企业提升软件质量与交付速度。

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

Musick Ai

一款AI音乐生成器，Musick Ai可以创作跨流派的高品质、情感丰富的音乐，提供具有不同音乐风格的个性化、专业级作品。

Ai语音工具 2025年06月05日 96 点赞 0 评论 625 浏览

CursorCore

CursorCore 是一款基于大型语言模型的编程辅助工具，通过对话式交互支持代码补全、修改和错误修复。它整合代码历史、上下文信息及用户指令，利用自动化数据生成管道和基准测试优化模型性能，适用于日常编码、代码审查、教学学习及遗留代码维护等多个场景。

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

Fourier N1

Fourier N1是一款由傅利叶推出的开源人形机器人，具备23个自由度，可完成复杂动作如单足站立、坡道通行和楼梯攀爬。搭载自研控制系统和FSA 2.0执行器，支持高速稳定运行。支持多模态交互，适用于教学、康复辅助、物流搬运、家务服务及灾难救援等领域，提供全面的开源资源以支持开发与研究。

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

FlexiAct

FlexiAct是由清华大学与腾讯ARC实验室联合研发的动作迁移模型，可在空间结构差异较大的场景下实现精准动作迁移，并保持目标主体的外观一致性。其核心模块包括轻量级RefAdapter和频率感知动作提取（FAE），有效提升跨主体动作迁移的灵活性与准确性。该模型适用于影视、游戏、广告等多个领域，具有良好的应用前景。

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