Skip to content

Task completion verification with decision models

Checking whether an agent's "done" claim is backed by evidence such as passing tests or changed files. It catches premature stops in coding agents.

69 public projects · page 2 of 3

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

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

    PluginbetaTypeScript
  • Flutter integration-test package where Jev picks the next registered UI action and judges whether the test goal is reached.

    LibrarybetaDart
  • Plain-English end-to-end tests for Android and iOS apps where Jev works out the taps and a lockfile replays every decision exactly.

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

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

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

    ProjectbetaPython
  • Jev-powered adversarial or advisory reviewer for the omp coding agent, plus a typesafe_ask tool, plan/stop gates and context compaction.

    ProjectbetaTypeScript
  • Pi extension that sends agents back to work when they stop early, using six Jev questions to decide if continuation is warranted.

    ProjectbetaTypeScript
  • Single-agent Jev coprocessor for Pi: semantic pre-edit gates, evidence checks, diff review and append-only telemetry.

    ProjectbetaTypeScript
  • Lean Pi supervisor: zero-token regex guardrails, done-check verification, per-turn routing and a Jev/Clef semantic slop gate on diffs.

    ProjectbetaTypeScript
  • Pi extension that audits whether the rpiv-todo board matches visible work and nudges the agent when it drifts off-task.

    PluginbetaTypeScript
  • Rule-engine layer for Pi where Jev answers closed questions (destructive? leaked key? done verified?) with packs and fail-open actions.

    ProjectbetaTypeScript
  • Pi guardrails on pi-typesafe that steer the agent: Jev checks rule breaks, irreversible actions, stuck loops and unverified done claims.

    HookbetaTypeScript
  • Pi-based coding agent where Jev gates every tool call, picks the model tier, checks 'done' claims and trims tool output.

    ProjectbetaTypeScript
  • Runtime verification framework that drives your real app to check a coding agent's 'done', returning pass, fail or cannot tell.

    ServicebetaTypeScript
  • Codebase maintenance framework that turns issues into reviewed, tested changes via flows, listed with a Jev session checker.

    ProjectbetaTypeScript
  • Claude Code Stop hook that uses Jev to catch turns ending half-done: no action, broken promises, unwatched work or wrong language.

    HookbetaPython
  • Desktop app running coding agents in parallel git worktrees, with optional Jev judgments of each changed file against the task.

    Appbeta
  • GitHub Action where an AI agent turns an issue into a PR behind guards, checks, a reviewer and a Jev gate that escalates when unsure.

    ProjectprototypeTypeScript
  • Experimental Foreman derivative where Jev supervises a Codex worker via Vercel AI Gateway, with programmer-chosen acceptance commands.

    ProjectprototypePython
  • Coding agent where Jev handles context selection, tool routing, plan gating and verification, and the big model sees only key context.

    LibraryprototypePython
  • Calibrated alignment verifier that checks LLM responses and agent plans for sycophancy, deception, overreach and dark patterns with Jev.

    ProjectprototypeTypeScript
  • Multi-agent Codex factory: Jev decides task shape, decomposition and routing, and failures are classified, not blindly retried.

    ProjectprototypePython
  • Browser agent with no LLM: code enumerates options from the page and goal, and Jev only picks actions, values and when to stop.

    ProjectprototypePython
  • TypeScript library and CLI for exploratory browser testing where Jev chooses actions and judges results and Playwright executes them.

    ProjectprototypeTypeScript
  • Hermes Agent skill that turns an intention into a checkable finish line, with shell checks and Jev judging the fuzzy requirements.

    Agent skillprototypePython
  • Jev-first CLI coding agent that routes a request to a deterministic workflow which asks Jev fixed-choice questions about bounded evidence.

    ProjectprototypeTypeScript
  • Linear-backed work ledger for coding agents where a Jev-compatible model verifies done reports, blockers and plan changes against the task.

    ProjectprototypeJavaScript
  • Typed judgment harness for coding agents with gates from PRD to release; runs on JSON-forced LLMs today and Jev by swapping the backend.

    ProjectprototypeTypeScript