为 macOS 上的编码代理创建了确定性散文声明验证器

大家好！我想要一个工具，能实时监控并告诉我代理说的话与实际发生的情况不符。于是，我构建了 Snitch。 它监控代理的转录文件（包括 Cursor、Claude Code、Codex、Pi、OpenCode），使用确定性正则表达式从文本中提取声明，并与证据进行交叉比对——这些证据包括工具调用、Shell 输出、文件系统、Git 以及三轮会话历史。当某个声明不成立时，它会标记出来并附上发现的问题。 它会在底层统一不同代理的工具名称（例如 Claude 的 Bash → Shell，Codex 的 apply\_patch → StrReplace），从而无论你使用哪个代理，验证流程都能保持一致。 所有操作均在本地运行——无需 LLM，无需 API 调用，没有任何数据离开你的机器。这是一款 macOS 菜单栏应用。安装命令为：brew tap fristovic/snitch && brew install snitch && snitch start v0.4.2，代码约 10,000 行 Go，采用 Apache 2.0 许可证。 请将此视为 alpha 版本——几乎算是更大项目的概念验证。我提前分享它，是想看看这种方法是否能引起共鸣，然后再深入开发。提前警告：可能会出现误报。我仍在调整匹配模式。 如果你尝试并发现 Snitch 标记了实际上是正确的内容，我很希望你能提交一个 issue（或更好的办法是提交一个 PR），并附上你遇到的具体情况。模式注册表的设计使其易于扩展——仓库中有相关指南，CI 会强制要求新模式附带示例。 未来路线图包括：社区标注功能，让用户可以将判定结果标记为正确/错误（为本地分类器提供训练数据以减少噪声），以及面向运行多个代理的组织的团队仪表板。 我希望我们能集思广益，共同构建出真正有用的东西。欢迎提出任何问题。请告诉我哪里出了问题。