Mon, Jul 27 03:54 AM

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

Hacker News•Mon, Jul 27, 2026, 02:45 AM•2 min read

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.

Source: [Hacker News](https://github.com/albertjoseph0/opencode-plugin-guardians)

📰 Read Full Story

This is an aggregated headline summary. For the complete report, visit the original publisher.

Continue Reading at Hacker News ↗

#tech #tool #opencode #guardians #verification #built #static #calls #plugin

More Headlines

TechnologyHacker News• 5m ago

Show HN: Injectable time and timers with custom Date types for TypeScript

I find TypeScript js/node environment is missing a Time-Provider (just like *. *NET TimeProvider for instance ships with its framework). So for this purpose I built a small library (@time-provider) tailored for js/node environment.

TechnologyHacker News• 5m ago

Multimodal foundation model for image and video understanding from Microsoft

1 points, 0 comments on Hacker News

TechnologyHacker News• 5m ago

Bullwhip Effect

1 points, 0 comments on Hacker News

TechnologyHacker News• 8m ago

It is empowering to hand off execution

1 points, 0 comments on Hacker News

TechnologyHacker News• 10m ago

Palette Vault – Color Palettes and Hex Codes

1 points, 0 comments on Hacker News

TechnologyDev.to• 10m ago

Building a Financial Document OCR with Claude Vision API: Lessons from Production

After processing thousands of bank statements, invoices, and receipts through Claude Vision API, I've learned that financial document OCR is harder than it looks. Here's what actually works in production. The Problem: Why Traditional OCR Fails on Financial Documents Traditional OCR tools like T...