Show HN: I built a static verifier for OpenCode to stop unsafe AI tool calls
By abj908 · 2026-07-27 · 1 points · 0 comments
https://github.com/albertjoseph0/opencode-plugin-guardians
Erik Meijer wrote the paper "Guardians of the Agents" on formal verification for AI workflows, and Nada Amin implemented it in the Guardians repository. I built this plugin to bring static security verification to OpenCode. How It Works: 1. Interception: Uses OpenCode's TypeScri…
Open the full discussion on BetterNews