Show HN: I built a static verifier for OpenCode to stop unsafe AI tool calls
opencode-plugin-guardians Static formal verification plugin for OpenCode powered by Guardians. OpenCode executes tool Violations fed back to LLM. π Installation & Quickstart 1. Register Plugin in opencode.json Add opencode-plugin-guardians to your global (~/.config/opencode/opencode.json) or project-level opencode.json: { "$schema": "https://opencode.ai/config.json", "plugin": [ "opencode-plugin-guardians" ] } 2.
- βͺopencode-plugin-guardians Static formal verification plugin for OpenCode powered by Guardians.
- βͺOpenCode executes tool Violations fed back to LLM. π Installation & Quickstart 1.
- βͺRegister Plugin in opencode.json Add opencode-plugin-guardians to your global (~/.config/opencode/opencode.json) or project-level opencode.json: { "$schema": "https://opencode.ai/config.json", "plugin": [ "opencode-plugin-guardians" ] } 2.
Hacker News (Show HN) files mainly under programming. We currently carry 68 of its stories.
Story provenance
Source Β· retrieval Β· rights Β· ranking β open for full record
inspect β
Attribution is not the same as permission. This drawer separates discovery metadata, excerpts, WeSearch-generated summaries, reuse status, and whether the publisher receives the visit. Nothing here claims a legal grant the publisher has not made.
Record
| Original publisher | GitHub |
| Canonical URL | https://github.com/albertjoseph0/opencode-plugin-guardians |
| Publication time | Mon, 27 Jul 2026 02:45:22 +0000 |
| Retrieval time | 2026-07-27T02:58:44.058Z |
| Last seen | 2026-07-27T02:58:44.058Z |
| Headline source | Publisher (no WeSearch rewrite) |
| Excerpt source | publisher body |
| Excerpt method | First ~120 words (~800 chars) of extracted publisher body, fair-use limited. |
| Summary | WeSearch Β· cerebras-chat (WeSearch summarizer) |
| Summary source text | contentText |
| Citation coverage | Summary is a WeSearch-generated derivative; primary citation is the original publisher URL. |
| Cluster | 9zrgnm4M40Ok Β· 1 stories |
| Cluster logic | Grouped by semantic title/content similarity across sources within a rolling window. Same-publisher template collisions are excluded from coverage comparison. |
| Ranking reason | Story pages are not engagement-ranked. Hub feeds use recency, with optional source-diversified chronological ordering (cap consecutive stories per source). No personalized ranking. |
| Publisher visit | Yes β open original |
| Substitutes article? | No β link-out required for full text |
Rights status (four layers)
WeSearch handling by dimension
| Indexing | May the item be indexed (stored, ranked, made findable)? | Allowed |
| Snippet | May a short excerpt of the publisher's text be shown? | Allowed |
| AI summary | May WeSearch generate its own short summary of the article? | Limited |
| Retrieval / RAG | May the content be exposed for third-party retrieval-augmented generation? | Not asserted |
| Model training | May the content be used to train AI models? | Not asserted |
| Commercial reuse | May the content be reused commercially? | Not permitted |
Basis: Derived from the published RSS/Atom feed. Contact: [email protected]. Reviewed: 2026-07-24.
Opening excerpt (first ~120 words) tap to expand
opencode-plugin-guardians Static formal verification plugin for OpenCode powered by Guardians. An implementation of the ideas in Erik Meijer's CACM paper "Guardians of the Agents", bringing code/data separation, Z3 path containment, secret taint analysis, and security automata state machines to OpenCode tool executions (bash, read, edit, write). ποΈ Architecture βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β OpenCode Agent Loop β β OpenCode AI proposes a tool call (e.g.
β¦
Excerpt limited to ~120 words for fair-use compliance. The full article is at GitHub.