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

Here's a brief summary and explanation of the project: **Project Summary:** Show HN: I built a static verifier for OpenCode aims to prevent unsafe AI tool calls