02:45
2026-07-27
github.com
ai-safety
Show HN: I built a static verifier for OpenCode to stop unsafe AI tool calls
A developer built a static security verification plugin for OpenCode that intercepts AI tool calls and runs formal verification via a Python daemon using the Guardians repository, blocking unsafe oper…