Agent Tooling for Jev — page 4

Interactive TypeScript coding CLI powered by Jev typed decisions and constrained AST generation.

Fully customizable Advisor and Executor flow plugin for the Pi Coding Agent

A Jev-powered resolver for agent harnesses to find deterministic commands and their context in a nested capability tree.

Claude Code Stop hook that blocks an unverified done: reads the transcript for evidence, asks Jev once, fails open on everything else

Jev decision layer for agents: MCP server, embeddable DecisionModel library, and an escalate-only Claude Code plugin (TypeSafe AI's Jev)

Jev-powered conversation memory: find past sessions and revisit decisions with original sources. A macOS workspace for OpenAI Codex. Manage AI conversations and agents, explore code with CodeGraph, and work with Git, Ghostty terminals, and Apple Notes in one app.

TypeSafe Jev for DeepSeek Harness, the Model Context Protocol, and plain Node: typed judgments instead of prose, offline by default.

The agent loop where decisions don't cost a large language model call. Zero deps, runs offline, no API key needed.

Typed, confidence-aware agent skill routing with TypeSafe Jev.

Jev decision layer for Muse: a fast, cheap TypeSafe AI gate before expensive agent work — confidence policy, recipes, reference router, honest measurement.

Jev, TypeSafe's System One classifier, as a tool inside Claude Code, Codex, Pi, and OpenCode: typed classify, check, score, rank, and ask, plus one-command setup.

Jev-powered plugins for coding agents

A claude code plugin for jev

Block, steer, and "fuzzy lint" with Jev to make agents follow your rules and conventions. CLI, github action, pi package, claude extension, and more. Built with Effect + TypeScript.

TypeSafe Jev as the reviewer for Hermes Agent smart command approvals. 8.7x faster, 4.4x fewer prompts, measured on 153 real commands. Approvals only.

Security scanning skill for AI coding agents. CVE vulnerability detection, OWASP Top 10 code analysis, and dependency audits. Follows agentskills.io specification.

Automatic model routing for Pi using TypeSafe's Jev through Vercel AI Gateway

TypeSafe (Jev) skill routing for Hermes Agent: names the one skill worth loading, before the model call. Opt-in, stdlib only, ~$0.001 per routed turn.

5m BTC Up/Down Polymarket trading agent using Typesafe Jev as the decision layer & TUI

Claude Code plugin: Jev for rule checks, verbatim compaction, and prompt routing

Open-source LLM router that uses TypeSafe's Jev to pick a model, on top of LiteLLM

Task-boundary model routing for Pi Coding Agent, powered by TypeSafe Jev. Conservative policies, exact caching, and observable failover.

pre-commit hook: one Jev call judges whether your commit message matches the diff, plus debug leftovers, scope creep, and a secret belt

Pi extension: verbatim context compaction with TypeSafe Jev decisions