TestSprite TestSprite 是一款基于 AI 的自动化测试平台，支持后端 API、前端 UI、数据及 AI 模型的测试，能够自动生成测试计划、执行测试并输出详细报告。其核心优势在于提升测试效率、减少人工干预，并适用于多种测试场景，如软件发布前验证、CI/CD 集成、生产环境监控等，帮助企业提升软件质量与交付速度。 AI项目与工具 2025年06月12日 39 点赞 0 评论 616 浏览
AgileGen AgileGen是一个基于人机协作的生成式软件开发框架，通过Gherkin语言定义用户需求并生成代码，支持快速原型设计和迭代优化。其主要功能包括需求收集与澄清、场景设计、代码生成及反馈迭代，同时具备记忆池机制以提升决策效率。适用于初创公司、教育领域及企业内部工具开发等场景。 AI项目与工具 2025年06月12日 94 点赞 0 评论 615 浏览
Goedel Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。 AI项目与工具 2025年06月12日 50 点赞 0 评论 614 浏览
MarsX 一个专注于通过 AI 和微应用商店简化软件开发流程的软件开发平台，结合了AI、无代码和传统编码功能，让软件开发流程变得更简单。 Ai编程建站 2025年06月05日 64 点赞 0 评论 605 浏览
Video Enhance AI Video Enhance AI是一款专门针对视频的增强工具，采用深度学习算法，支持用户轻松的将所有低分辨率视频转换成8K分辨率的高质量视频。 Ai视频生成 2025年06月05日 12 点赞 0 评论 605 浏览
NotesGPT NotesGPT是一款开源的AI语音笔记工具，具备语音转录、自动总结及任务生成等功能，采用先进技术保障转录准确性与任务生成效率，支持多语言并适配多种使用场景，如会议记录、学术研究及个人备忘等。 AI项目与工具 2025年06月12日 80 点赞 0 评论 591 浏览
