KaktoosLabs/kaktoos

AI编码代理测试可能证实有缺陷的假设；Kaktoos提供独立验证

一位开发者正在探索AI编码代理的一个挑战，即生成的测试可能仅仅证实代理自身的假设，导致可能不正确的代码通过了自身的测试。为了解决这个问题，他们正在试验一个名为Kaktoos的开源项目，该项目在AI代理代码和实际API之间引入了一个独立的验证层。该层旨在验证API契约和结果，而不共享代理的初始假设，从而可能提高AI生成代码的可靠性。