Entries 241 to 288 of 430, in the hub's default order. The introduction is on page 1.
Showing 241 to 288 of 430
Reproducible comparison of Jev and Claude Haiku 4.5 on 2,000 phishing emails, asking whether an email agent should click the link. Haiku wins on accuracy, 81.3% against 62.6%, while Jev is faster and cheaper, and a logistic regression over Jev's five signal questions reaches 95.1%.
Independent Rust SDK with async and blocking clients, typed Noul/Choice/Score questions, model discovery, configurable retries and cancellation. Published to crates.io as typesafe-ai-rs.
Benchmark that tests whether models can forecast federal motion-to-dismiss rulings from the judge's written record, scored with claim-defendant micro-Brier metrics and clustered intervals. Ships a Jev integration under integrations/jev alongside the frontier-model workflows.
Toy archipelago where Jev makes every in-flight call: divert or continue, declare an emergency, give way, hold, and who lands first when two aircraft want the same runway. Each aircraft knows only itself and nearby traffic, asks four batched questions about every 1.6 s, and gets answers in roughly 150 ms.
Elixir SDK for the TypeSafe AI API, bringing Choice, Score and Noul decisions into OTP processes and GenServers. Published on Hex as typesafe_sdk.
Community Go SDK for the TypeSafe AI Jev / System One API.
A pi agent extension that curates the context sent to the LLM before each call, using a one-question-per-unit Jev judgment to decide which prior messages are still needed.
Runs Laya and Jev on 751 byte-identical questions across nine suites; Jev sweeps triage, guardrails and moderation, Laya wins agnews and mnli, and both miscalibrate on emotion.
A dependency-free Zig CPU runtime that reads Laya's safetensors weights directly and runs the full forward pass, tokenizer included, in one binary; marked work in progress, with a CLI, browser UI and a Snake probe.
Browser automation for coding agents that the author reports as 3 to 5 times faster than browser-use, with Jev deciding each step in about 300ms.
CLI that lints UI code, copy, and agent instructions for AI slop on every commit. Local rules handle the measurable checks; the judgement calls go to Jev as yes/no questions that come back as probabilities, and a set of rules can fail the run.
A FastAPI request router that uses Laya as a System 1 decision layer to pick between small, medium and powerful downstream models, matching GPT-5 nano's routing accuracy at far lower latency in the author's evaluation.
Native Rust inference for Laya using the Candle framework, with fused Metal kernels and tiled attention tuned for M1 Pro, loading Laya's original safetensors with no Python runtime.
Labels GitHub pull requests using Jev's typed decisions, sizing changes by conceptual scope rather than lines changed.
Public HTTP gate running as a Neon Function: Jev inspects the request body, then optionally forwards the same bytes to a caller-chosen HTTPS URL. Endpoints cover prompt injections, unsafe images and unsafe replies, with a companion demo site at safer-with-jev.com.
Scala 3 and ZIO client for the Jev System One API, typed end to end with no raw JSON. Several questions go out in one round trip as a NamedTuple and come back keyed the same way, and illegal states are unrepresentable: criteria cannot be built out of range and every probability is provably within 0 to 1.
Agent runtime in Rust where the context, tools, permissions and requests are explicit state you can read, change and put back, plus an MCP bridge and the kamchatka terminal agent. The linked example uses Jev for content-aware compaction in that agent.
Local proxy between Claude Code and the Anthropic API that picks the model and effort level per message with a Jev decision. The author measured that routing subagents saves money while routing an established main chat loses it: 309 logged requests cost $106.73 against an $87.19 baseline, and $17.12 of the $19.53 loss came from the main chat alone.
A local-first test selector that asks one semantic relevance judgment per test to decide which e2e tests a code change can safely skip, failing open to the full suite on low confidence. Judge is pluggable between classifier.dev, Jev over HTTP, or self-hosted Laya via ONNX Runtime. Ships a bundled GitHub Action.
Proof of concept that turns a high-level Android goal into a bounded observe, stabilize, decide, act loop. Jev receives a compact semantic UI state and a short list of already-valid actions, and never generates coordinates, MCP calls or code. Exercised against Android Settings on a real device.
Go client for TypeSafe's System One API, returning typed judgments and calibrated probabilities instead of generated text. Questions are built in Go and answers are read back as Noul or Score values.
Lets a person or coding agent ask a plain-English question across a repository. Hunch sends each in-scope chunk to Jev and returns scored source locations, without needing to guess which words the code uses.
A Codex plugin that asks Jev which bulky tool results a session still needs, then replaces the rest with a bounded head and a one-line note, so long sessions don't resend stale output on every turn.
Hands Jev a piano and asks it typed questions about mood, having it decide notes continuously since it cannot generate music directly. Started as an X bet with @BaselAshraf81 over whether Jev could be made to play at all.
Checks an OpenAPI spec for breaking changes hidden in its prose, combining deterministic schema checks with Jev's semantic review.
Jev picks every action for a Notte cloud browser session over CDP, choosing from a fresh action space at each step with a replay of every decision.
A client-side inference runtime for Laya-MLX decision models via ONNX Runtime Web, with WebGPU acceleration and automatic Wasm SIMD fallback, runnable in a Web Worker to keep the UI thread responsive.
A private Mac voice diary that transcribes locally, uses Jev to sort each entry, and saves them to a Notion library.
Measures how Laya's decision head stops attending to input past roughly 200 tokens, then fixes it by chunking documents into passages and screening each one. Tested on 400 documents, and against Jev on a public needle benchmark.
A browser pong game whose left paddle is decided by one Laya choice question per frame, 18.7ms p50 on Metal, while the right paddle plays fixed arithmetic for comparison.
An MCP server that hands small coding-agent decisions, such as which file to edit or whether a diff breaks tests, to Jev instead of spending reasoning tokens on them. Works with Cursor, Windsurf and Claude Code.
A Rust CLI for Jev with a built-in linter that checks your questions before you spend a call on them.
Dispatches natural-language requests to MCP tools using only Jev, with no general-purpose LLM in the loop. It reads a server's tool signatures at runtime and uses Jev's Choice and Noul primitives to pick the right tool and pull its arguments out of the sentence.
A single-file input moderation plugin for Mastra agents, running on Jev.
SQLite extension that calls Jev straight from SQL through jev_noul, jev_choice and jev_score, so a whole table can be classified in one query. Written in C, depends only on libcurl, and builds on Linux, macOS and Windows.
A local desktop and CLI coding agent where Jev selects the next tool from the user's request and recorded execution results, while DeepSeek or a local model supplies the arguments.
AI SDK middleware and OpenAI-compatible proxy that judges every LLM response before the user sees it, running seven Jev checks in one call of about 100 ms. Policy is YAML, a high-confidence check blocks while a low-confidence one downgrades to a flag, and the author notes there are no accuracy numbers against real Jev yet.
Unofficial Laravel 12 and 13 integration on top of the community PHP TypeSafe SDK, adding package discovery, scoped lazy dependency injection, config, a facade and a recording fake. Keeps the SDK's typed DTOs, promises and exceptions.
CLI and agent skill for TypeSafe System One exposing typed Choice, Score and Noul judgments from the terminal.
Agent skill that sends closed coding-agent judgments to Jev and acts on the probabilities. Jev answers yes/no, choice and score questions in about 250 ms, so the agent interrupts the user only when a person must decide, and stops before a command that could destroy data or leak secrets.
CLI for the Jev evaluation model: typed questions in, structured JSON answers out.
Pi extension that exposes System One judgments as five tools: a yes/no Noul, a Choice over a fixed set, a Score over ordered levels, a batched evaluate for several questions about one state, and an ask for a question pinned in a local YAML or JSON file. The tools call the API directly with fetch and carry no SDK dependency.
Stop hook that keeps a coding agent from finishing early. You write completion rules in plain language, and every time the agent is about to stop, Jev scores the stop against each rule in 0.7 seconds and sends it back to work if a rule is violated. Works with Claude Code and Codex.
Rust SDK for the TypeSafe AI API. Types the three answer kinds with accessors that fail loudly on the wrong kind, carries usage and request_id, and offers async and blocking clients.
Community Rails integration for TypeSafe's System One API, built on the community typesafe-sdk Ruby gem. Adds Rails configuration, persisted usage and cost telemetry, and an opt-in confidence policy for Choice and Score answers.
Claude Code mod that routes decisions to Jev: it ranks installed skills against each prompt and answers the agent's own this-or-that questions when confidence is high enough, otherwise falling back to asking the user.
An automatic extension for the Pi coding agent that has Jev score older tool outputs and stops resending the ones no longer needed, while keeping the original session messages intact.
An MCP server and agent skill for using Jev from a coding agent at design time: question linting, batch evaluation, threshold calibration and taxonomy exploration.
Nothing matches those filters
Clear a filter to widen the search, or send us the thing you were looking for.
