软件

1. 首页
2. 软件

新言意码

新言意码是一家专注于AI编程应用开发的科技公司，提供代码生成、补全、审查、优化、测试及智能搜索等功能，支持多语言开发。其产品适用于软件开发、教育学习、代码维护、团队协作及快速原型构建等多种场景，旨在提升开发效率和代码质量。公司成立于2024年，已获得多轮投资，估值达8000万美元。

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

TestSprite

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

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

AI编程工具L1

AI编程L1-L5分级体系定义了AI编程工具在自动化能力上的不同层次，从代码补全到全流程开发，覆盖从基础到高级的应用场景。L1至L5依次提升自动化程度，降低开发门槛，提高效率。各类工具支持代码生成、任务执行、项目构建及全流程部署，适合不同层级的开发者使用。L5则代表AI开发团队，模拟多代理协作完成复杂任务。

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

Chatbox AI

Chatbox AI是一款开源跨平台AI助手，支持多语言模型集成与本地部署，提供图像生成、代码辅助、文档交互等功能。用户可自由定制并参与社区开发，确保数据安全与隐私保护，适用于办公、学习、开发等多种场景，提升工作效率与创意表达。

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

Project Padawan

Project Padawan 是 GitHub 推出的 AI 驱动的软件工程智能体，支持从代码生成到提交 PR 的全流程自动化。具备环境管理、代码优化、测试验证、智能推断等功能，适用于漏洞修复、新功能开发、代码重构等场景。运行于安全云沙箱中，提升开发效率，助力开发者聚焦创造性工作。

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

Ranger

Ranger是一款基于AI的自动化测试平台，支持用户通过自然语言生成测试用例，并通过HTML代码执行测试，无需依赖屏幕截图。平台提供实时监控、详细测试报告及安全分析功能，适用于企业质量保证、CI/CD流程、生产环境监控及跨平台测试，具备良好的集成性和审计能力，提升软件开发效率与安全性。

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

AnythingLLM

AnythingLLM 是一款开源、多模态的 AI 客户端工具，支持文本、图像和音频输入，可将文档转化为上下文信息供语言模型使用。支持本地和云端部署，具备多用户管理、工作区隔离、丰富的文档格式支持和强大的 API 接口。适用于企业知识管理、学术研究、个人学习、内容创作等多种场景，保障数据隐私安全。

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

Symbolab

Symbolab 是一款基于AI的数学解题工具，支持从基础算术到高等数学的广泛领域，提供分步解题、智能图表生成、多语言输入及个性化学习建议等功能，适用于学生、教师及专业人士，提升数学学习与应用效率。

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

Goedel

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

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

涌墨

涌墨是一款智能文档编写平台，提供全流程文档管理与智能生成服务。平台包含25类符合软件行业国标的文档模板，支持智能解析、内容生成及文档一致性管理。用户可通过项目为中心的工作流进行文档创建、编辑与优化，适用于招投标、规范文档、日常办公及市场调研等多种场景。其可视化功能和高度定制化设计提升了文档管理的效率与准确性。

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