Verification & Guardrails

Semantic MCP firewall that screens tool calls, results and descriptions with Jev, plus allowlists and session taint tracking.

CLI and CI gate that asks Jev one yes/no question per Markdown requirement and fails the build when code drifts from the spec.

Four Java tools on one kernel that ask Jev whether something was delivered as required, with deterministic gates keeping the final say.

Codex and Claude Code Stop hook that asks Jev how many asks and points a long agent message has, pacing multi-ask messages.

Unofficial Python adapter that brings Jev verification, classification and scoring into the Mellea framework as Requirements.

Compiler that turns agent rules in CLAUDE.md and similar files into testable Jev programs: typed questions plus a coded verdict.

Node quality gate that scores each diff, commit message and doc set with three Jev Score lenses and a security Noul.

Hosted guardrails API checking LLM inputs, outputs and retrieved documents for injection, jailbreaks and leaks in one Jev call.

Risk gate for AI coding agents: Jev decides at five layers and Claude Code hooks enforce deny or ask deterministically.

Cheap Jev checks beside a Claude coding session: per-function code rules, doc contradiction checks and context retrieval.

Claude Code plugin where Claude plans phased work with checks and, at each stop, Jev judges whether the work is really done.

Zero-dependency Python MCP server where Jev gates shell commands, audits patches and resolves decisions, with SQLite caching.

Self-hosted Jev server plus CLIs, agent skills and a Pi tool for typed code questions and per-file diff review triage.

TypeScript/Python policy engine where Jev only answers declared questions and code decides routes, gates and actions.

Linter for Jev queries that flags question and state wording the model is documented to handle badly, before you pay.

Semantic lint rules as yes/no questions to Jev, for review issues like logged secrets or unbounded retries that ESLint cannot express.

Semantic linter that checks each source file against plain-English conventions and reports Jev's probability of a violation.

Go linter that extracts code units with Tree-sitter and asks a decision model whether each passes a plain-language rule.

Zero-dependency Python toolkit of nine agent skills whose typed decisions pass a code gate and are sealed in a hash-chained ledger.

Python pre-check layer that uses Jev Choice/Noul/Score to route agent requests to roles and gate side-effecting tool calls.

Coding-agent plugin that has Jev auto-approve shell permission requests it judges harmless and abstains on anything uncertain.

Passive Chrome extension that inventories a site's browser-visible attack surface and uses local Laya or Jev to prioritise findings.

Stop hook for coding agents where Jev checks each attempted stop against plain-language rules and sends the agent back if one is violated.

Turns freeform Markdown engineering rules into PR checks, judging changed lines with Jev or other Decisions-API providers.

Single-binary linter whose rules are plain-language questions in YAML, asked of each file as a Jev yes/no judgment.

GitHub Action that asks Jev yes/no questions about each diff chunk for secrets, vulnerabilities, complexity and prompt injection.

Claude Code skills that wait for AI pull-request reviewers and judge whether their reports actually permit a merge, never inferring a pass.

Rust code and security reviewer that asks Jev staged questions about diffs and posts findings with severity and owner routing.

Asynchronous System-1 supervisory plugin for Hermes Agent with typed Jev decisions, ranking, verification and an opt-in tool gate.

OMP plugin that sends unreviewed bash commands to Jev and turns UNSAFE or UNSURE verdicts into Run-or-Deny prompts.