**Show HN: I built a static verifier for OpenCode to stop unsafe AI tool calls** 这个开源项目是一个静态验证器，用于为 OpenCode 停止不安全的 AI 工具调用。它可以帮助开发者在不从零开始构建模型堆栈的情况下添加 AI 能力。 **