**Show HN: I built a static verifier for OpenCode to stop unsafe AI tool calls**

> Contribute to albertjoseph0/opencode-plugin-guardians development by creating an account on GitHub. opencode-plugin-guardians Static formal verification plugin for OpenCode powered by Guardians . An implementation of the ideas in Erik Meijer's CACM paper "Guardians of the Agents" , bringing code/data separation, Z3 path containment, secret taint analysis, and security automata state machines to OpenCode tool executio...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-07-27 10:45（北京时间）
- **原文**：[打开原文](https://github.com/albertjoseph0/opencode-plugin-guardians)