Imandra Inc.

利用神经符号 AI 证明互动系统的可靠性。它在声明的范围内提供全面的验证，提供监管机构可接受的证据。这项技术显著加快了软件验证过程，确保全面覆盖和可重复性。Filuta AI 利用神经符号 AI 证明互动系统的可靠性。它在声明的范围内提供全面的验证，提供监管机构可接受的证据。这项技术显著加快了软件验证过程，确保全面覆盖和可重复性。

aiCode.fail

AI 应用

#153

AI 代码检查器，旨在识别您生成的代码中的幻觉、安全漏洞和错误。它提供了一个全新的视角，在原始聊天上下文之外分析代码。此工具可帮助开发人员加速调试并自信地更快地交付代码，支持任何编程语言。aiCode.fail 是一款 AI 代码检查器，旨在识别您生成的代码中的幻觉、安全漏洞和错误。它提供了一个全新的视角，在原始聊天上下文之外分析代码。此工具可帮助开发人员加速调试并自信地更快地交付代码，支持任何编程语言。

DeepSource

AI 应用

#28

AI 代码审查平台，自动化代码审查，帮助团队更快地交付干净和安全的代码。通过 14 天的免费试用，它有效提升代码质量并识别漏洞。DeepSource 是一个 AI 代码审查平台，自动化代码审查，帮助团队更快地交付干净和安全的代码。通过 14 天的免费试用，它有效提升代码质量并识别漏洞。

Leapwork持续验证平台

AI 应用

#57

持续验证平台，集成了AI测试自动化、Playwright和性能测试。它为企业提供治理和可追溯性，确保可靠的软件交付。Leapwork是一个持续验证平台，集成了AI测试自动化、Playwright和性能测试。它为企业提供治理和可追溯性，确保可靠的软件交付。

Recurse ML

AI 应用

#118

由人工智能驱动的代码库维护工具，能够自动分析代码、检测错误，并在生产前进行审查。它与流行的人工智能代理集成，并提供 GitHub PR 审查机器人，以简化代码审查流程。Recurse ML 是一款由人工智能驱动的代码库维护工具，能够自动分析代码、检测错误，并在生产前进行审查。它与流行的人工智能代理集成，并提供 GitHub PR 审查机器人，以简化代码审查流程。

mabl

AI 应用

#30

自动化软件测试平台，帮助团队加速发布并确保软件质量。它利用机器学习和自愈测试提供可靠的应用验证，提升网页、移动和 API 的用户体验。mabl 是一个自动化软件测试平台，帮助团队加速发布并确保软件质量。它利用机器学习和自愈测试提供可靠的应用验证，提升网页、移动和 API 的用户体验。

Zorro

AI 应用

#133

Zorro（前称Narrative）是一个由Y Combinator支持的AI测试平台，能够在Web、iOS和Android应用上进行AI漏洞测试和AI回归测试。漏洞测试代理像手动QA测试员一样探索应用，而回归测试则用简单英语编写，并在UI变化时自动修复。专为工程和QA团队打造。

Autify AI 平台用于软件测试

AI 应用

#38

由 AI 驱动的质量工程平台，旨在简化软件测试。它帮助产品和 QA 专业人员加速测试生命周期，提高开发生产力，并减少手动脚本编写。通过其自主 AI 代理和 GenAI 功能，轻松创建、执行和管理测试。Autify 是一个由 AI 驱动的质量工程平台，旨在简化软件测试。它帮助产品和 QA 专业人员加速测试生命周期，提高开发生产力，并减少手动脚本编写。通过其自主 AI 代理和 GenAI 功能，轻松创建、执行和管理测试。