Task completion verification with decision models

Auditable Zig terminal agent pairing Codex for coding with Jev typed preflight and postflight checks under deterministic policy gates.

Open-source Claude Cowork alternative built on OpenCode; per list notes, its eval testkit uses Jev as a verification judge.

MCP server giving coding agents fast typed decisions (ship gates, risk checks, file triage, page checks) as accept, review or escalate.

Standalone adapter turning bounded Agent-Workflow evidence into Jev Choice, Noul and Score receipts while the host keeps policy.

Windows Codex hook that audits a conversation's recorded execution with Jev and answers yes/no questions like 'Did the tests pass?'.

Unofficial Claude Code plugin that checks 'done' claims and small judgment calls with Jev, logs receipts, and can warn on unverified stops.

Claude Code Stop hook that checks an assistant's claims against what it actually read this session using Jev, blocking unsupported ones.

Local desktop pal that verifies what a coding agent really did, with optional Laya or Jev double-checks of unclear test results.

DeepSeek Harness plugin checking whether an agent's 'done' claim is true, using deterministic evidence plus one batched Jev assessment.

DeepSeek Harness plugin with 12 opt-in Jev or Luna Decisions judgments: skill and file selection, supervision, filtering and approval help.

DeepSeek Harness plugin where Jev prunes long tool output, screens fetched pages for injected instructions and gates completion claims.

Self-hosted software factory running coding agents in microVMs with verification gates; offers optional DSPy/Jev task intake advice.

Claude Code plugin with rules and checks that make agents prove their work; an optional Jev judge triages review findings.

Verified computer-use agent: a Jev guard checks claimed completions and gates irreversible actions; Jev also takes simple steps.

Software-factory supervisor where Jev independently judges coding agents' completion, test sufficiency, progress and need for a human.

Nerve: asynchronous System-1 supervisory plugin for Hermes Agent judging relevance, completion and recovery with Jev, Laya or OpenJev.

Hermes skill that turns an intention into a judgeable finish line and a run prompt, with Jev deciding fuzzy requirements at the gate.

Intent compiler skill that turns vague coding requests into a typed IntentSpec, with Jev or LAYA as optional decision backends.

Goal-driven browser agent where each step is one Jev choice over the page's controls, then reviews the run for root causes.

Typed judgment layer for Claude Code, Codex and Hermes Agent: deterministic facts in code, language judgments in Jev, with receipts.

Portable skill pack giving agents a conservative Jev second opinion on intent, completion, routing and bounded browser navigation.

Claude Code Stop hook that blocks an unverified done: one four-question Jev call only when files changed and no check passed.

Codex plugin that consults Jev to choose tools, models and skills, diagnose failed commands and check completion claims.

Claude Code plugin adding typed Jev decisions to hooks: task kind, command risk, failure class, completion; never grants permissions.

Hermes plugin that asks Jev to review risky plans, check claims against sources, and judge whether a task is really finished.

Claude Code plugin with nine Jev-judged gates for rules, scope, intent, completion and claims that escalate but never approve.

Claude Code plugin that moves CLAUDE.md rules into hooks, denying rule-breaking edits and unasked deploys via Jev probabilities.

Claude Code plugin that scores a turn's redacted diff on eight Jev risk axes at Stop and asks Claude to reinvestigate once if high.

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.