Show HN: I built a static verifier for OpenCode to stop unsafe AI tool callsgithub.com·2 pts·abj908·1