Skip to content

Jev directory

Jev Repos & SDKs

362 curated Jev entries. Client libraries, adapters, and source code you can build on with Jev, from the official Python and TypeScript SDKs to community ports in Go, .NET, and PHP.

By format

362
  • Docs18
  • Repos & sites341
  • Videos1
  • Posts1
  • Articles1

Updated

All 362 Jev Repos & SDKs

Search the full category, or filter by format and tag.

Showing 97–144 of 362 resources

328GitHub stars
A PHP monorepo that adds typed decision APIs on top of structured output, unified inference, retrieval and an agent SDK: the Polyglot Decision API can call the TypeSafe provider and return probabilities for noul questions, alongside OpenAI, Anthropic, Gemini and Ollama drivers.
Jev Repos & SDKs#community#catalog-import#logicrw
164GitHub stars
A TypeScript agent harness toolkit built on Effect and Effect AI: define schemas, instructions and tools, and the runtime runs the model/tool loop, validates output, and retains accepted work across process restarts using SQLite, PostgreSQL or Cloudflare hosts.
Jev Repos & SDKs#community#catalog-import#logicrw
136GitHub stars
A lightweight, self-hosted LLM proxy that gives Hack Club's teen community free chat, embedding, and image models over OpenAI-compatible endpoints, with Hack Club auth, API keys, moderation, spending limits, and analytics.
Jev Repos & SDKs#community#catalog-import#logicrw
73GitHub stars
A MoonBit and TypeScript playground for Jev: an API client for noul, choice, and score questions, a single-question CLI, Jev-vs-Jev gomoku with real-time GIF replay, and experiments like an ESLint plugin whose verdicts come from Jev.
Jev Repos & SDKs#community#catalog-import#logicrw
19GitHub stars
A correctness-validated Laya runtime for Apple Silicon that runs upstream Laya on the MLX GPU and the Apple Neural Engine, using the ANE only after an artifact passes a parity gate on your machine, plus a local Jev-compatible server.
Jev Repos & SDKs#community#catalog-import#madewithjev
17GitHub stars
Laya GGUF inference and an HTTP server written in Goish Rust: one Linux binary runs upstream Laya or OpenThai-SystemOne on your CPU and serves typed choose, score and check decisions over HTTP, the CLI or a JSON-lines process.
Jev Repos & SDKs#community#catalog-import#madewithjev
15GitHub stars
A tuner that trains language models to answer closed-set decisions with a complete probability distribution in one forward pass, using a tokenized multi-class Brier loss so only the correct choice is needed to train.
Jev Repos & SDKs#community#catalog-import#madewithjev
A Java and Python implementation of parallel constrained decoding: fill a whole JSON schema of booleans and enums in two forward passes, with calibrated confidence per field and output that is schema-valid by construction.
Jev Repos & SDKs#community#catalog-import#cobanov
13GitHub stars
Run Laya locally on Bun with native ONNX inference and Hugging Face tokenizers: an HTTP server implementing TypeSafe's decision API plus an English/Persian playground with 16 demos, usable through the official @typesafe-ai/sdk with a custom baseURL.
Jev Repos & SDKs#community#catalog-import#logicrw
10GitHub stars
A native Swift implementation of OpenJev, the Jev-compatible typed-decision server: send a state and typed questions over a Jev-compatible HTTP API and read every answer from model probabilities, on Apple silicon Macs or inside iPhone and Mac apps.
Jev Repos & SDKs#community#catalog-import#cobanov
10GitHub stars
A small, idiomatic Elixir client for Jev: Jev.ask?/2 returns a real boolean, choose/3 picks among supplied options, score/3 rates ordered levels, and analyze/3 sends several typed questions in one provider request.
Jev Repos & SDKs#community#catalog-import#madewithjev
10GitHub stars
A pure-Rust port of Laya that answers typed questions — choice, score or yes/no — about any text in one batched forward pass, loading checkpoints from the Hugging Face Hub via candle and returning calibrated labels, scores and probabilities with no Python.
Jev Repos & SDKs#community#catalog-import#madewithjev
8GitHub stars
A TypeSafe/Jev kernel split out of Lean Refactor Arena: it acts as a gate rather than a proof authority, with choice/score/noul projectors, caches and rankers, and Lean candidates that only a consuming Lean/Lake verifier can admit.
Jev Repos & SDKs#community#catalog-import#logicrw
8GitHub stars
A zero-dependency tool selector that narrows a large pool of agent tools to the relevant few before the LLM call, running offline with TurboQuant or on TypeSafe Jev when a TYPESAFE_API_KEY is set.
Jev Repos & SDKs#community#catalog-import#logicrw
8GitHub stars
An independent reimplementation of the OpenJev mechanism on PrismML's 1.75-bit Bonsai weights: typed decisions read straight off the next-token distribution of a 5.95 GB 27B model in one forward pass.
Jev Repos & SDKs#community#catalog-import#cobanov
7GitHub stars
Turns any Hugging Face causal LM plus a few thousand labelled decisions into a Jev-style model that answers Choice, Score and Noul questions in one forward pass, with calibrated probabilities and zero generated tokens.
Jev Repos & SDKs#community#catalog-import#madewithjev
8GitHub stars
A Windows UI Automation extension of arc-cua: a planner hands off a bounded subtask and a fast JEV-powered decision loop observes the desktop, picks legal actions and drives real Windows apps locally.
Jev Repos & SDKs#community#catalog-import#logicrw
6GitHub stars
A pluggable decision substrate for RAG pipelines: explicit state → Decision → confidence → action gates with Jev as the first swappable backend, plus a calibration-first evaluation harness for five decision primitives.
Jev Repos & SDKs#community#catalog-import#logicrw
6GitHub stars
An independent Apple Silicon runtime for Convai Innovations' Laya, a 421M ModernBERT-large typed-decision model: MLX GPU inference with optional Core ML Neural Engine bodies and a measured ANE/GPU batch router.
Jev Repos & SDKs#community#catalog-import#madewithjev
6GitHub stars
Plugs Jev-style decision models into published rerankers as a fast primitive: one forward pass over k candidates, zero decoded tokens. On T2Ranking it reports up to 22x faster matches than a generative listwise reranker at 2.9x the nDCG@10.
Jev Repos & SDKs#community#catalog-import#yibie
6GitHub stars
A multi-provider Jev transport layer with fail-closed validation, used by jkudish/jev-browser and jkudish/jev-mcp. One ask() call picks a carrier, sends typed questions and validates answers instead of throwing a verdict.
Jev Repos & SDKs#community#catalog-import#logicrw
6GitHub stars
Open reimplementation of the Jev decision-model idea: masked-logit softmax turns any small local LLM or OpenAI-compatible API into a type-safe decision engine with raw probabilities. Also ships a WeChat/QQ/Telegram crush radar with a verdict and next-move advice.
Jev Repos & SDKs#community#catalog-import#logicrw
5GitHub stars
Small Go library for tool-using AI programs: the agentic loop runs until the model finishes or a budget stops it, with Anthropic and OpenRouter providers, tool schemas inferred from Go types, and an optional chat package for threads, SSE and NDJSON.
Jev Repos & SDKs#community#catalog-import#logicrw
5GitHub stars
A small PHP 8.1 library, extracted from LLPhant, giving typed value objects for Jev's Noul, Choice and Score answers, with probabilities and token usage. Unofficial and community-built; you supply a TypeSafe API key, or point it at Laya.
Jev Repos & SDKs#community#catalog-import#logicrw
5GitHub stars
The Go server, agent CLI and MCP for Laya - open horizontal System 1 decision models that score structured features and return ranked pattern probabilities instead of text. It ships a JEV compatibility API and a migration guide.
Jev Repos & SDKs#community#catalog-import#madewithjev
5GitHub stars
Typed semantic decisions for TypeScript: ask Zod 4 or native question batches about your data and get validated answers through async/await or Web Streams, with confidence gates, retries, replay and observability. Jev runs via TypeSafe AI or Vercel evaluation.
Jev Repos & SDKs#community#catalog-import#logicrw
5GitHub stars
A native R client for Jev and TypeSafe System One: send a state plus typed questions and get structured answers back in R. Supports jev_choice, jev_score and jev_noul questions, several questions per evaluation, and jev_map over many states.
Jev Repos & SDKs#community#catalog-import#cobanov
5GitHub stars
Python with a smart if: .jev files add the ~ question operator and jev/case blocks that Jev answers with a number or a label, never text. Files are rewritten to plain Python at import time; every ~ is one paid TypeSafe API call.
Jev Repos & SDKs#community#catalog-import#logicrw
4GitHub stars
A weekend experiment in text-to-SQL where the model never writes SQL: Jev fills typed slots — intent, table, state, county, number — each with a calibrated confidence, and Python code assembles the answers into a parameterized SELECT.
Jev Repos & SDKs#community#catalog-import#logicrw
3GitHub stars
Offline Jev token counting and request accounting for Node.js and Next.js: an MIT TypeScript port of jevtok that matches the reconstructed encoder for jev-1.13-20260917 and ships its vocabulary inside the package — no keys, network calls or dependencies.
Jev Repos & SDKs#community#catalog-import#logicrw
3GitHub stars
A Python and JavaScript package that loads any Hugging Face dataset, auto-adapts evaluation rubrics to the domain, and classifies every row through a single parallel Jev call with calibrated probabilities, plus a CLI and an interactive studio for uploads and export.
Jev Repos & SDKs#community#catalog-import#logicrw
3GitHub stars
A Rust project described as a high-frequency trader that uses Jev as its decision maker. The repository has no README, license or usage documentation, so the entry is grounded on the GitHub description and list metadata alone.
Jev Repos & SDKs#community#catalog-import#logicrw
3GitHub stars
A fork and bridge that runs jkudish/jev-browser fully locally: a local Jev-style engine built on parallel-decisions replaces the hosted API, with Qwen2.5-1.5B-Instruct picking each browser step and a 0.5B model typing search queries, measured on an RTX 2060 SUPER.
Jev Repos & SDKs#community#catalog-import#logicrw
2GitHub stars
A Go client for the TypeSafe System One API with zero dependencies outside the standard library: typed Noul, Choice and Score questions whose answers are read back through the handles that asked them.
Jev Repos & SDKs#community#catalog-import#logicrw
An audio-native decision model shaped like Jev: audio is encoded once, several typed questions branch over that single encoding, and answers come back as calibrated probability distributions — no transcript, no ASR, the Whisper decoder never runs.
Jev Repos & SDKs#community#catalog-import#cobanov
2GitHub stars
A 100% offline, zero-cost Rust drop-in for the TypeSafe Jev System One API: one native binary serves Choice, Score, Noul and Route decisions on CPU in under 18 ms with no API keys, cloud egress or rate limits.
Jev Repos & SDKs#community#catalog-import#madewithjev
2GitHub stars
Contract-aware MSW handlers for the official @typesafe-ai/sdk: mock Jev choices, Nouls and scores in tests without API calls, credentials, latency or credits, while the real SDK parsing and retry logic still runs.
Jev Repos & SDKs#community#catalog-import#logicrw
2GitHub stars
Pure Dart client for the TypeSafe System One API, usable from a CLI, a server or a Flutter app. The request path avoids extra copies and reuses HTTP/2 connections, and no comparative benchmarks are published.
Jev Repos & SDKs#community#catalog-import#logicrw
1GitHub stars
Probabilistic control flow for TypeScript: Hunch asks a System One model such as Jev yes/no questions, thresholded booleans, picks and ratings, and returns typed answers you can branch on in ordinary code.
Jev Repos & SDKs#community#catalog-import#cobanov
The production code behind fake-real.live, published so its Jev integration can be read and run: Firecrawl fetches a page, Gemini extracts up to five atomic claims, Tavily searches, and Jev decides which sources to read and whether each claim is supported, contradicted or unknown.
Jev Repos & SDKs#community#catalog-import#logicrw
1GitHub stars
A CLI, Rust library and Python package that asks Jev typed Noul, Choice and Score questions through OpenRouter, then turns the probabilities into decisions with fuzzy rules — AND, OR, NOT and hedges into a support score per decision, or a crisp amount — and can draw the rule base as SVG.
Jev Repos & SDKs#community#catalog-import#logicrw
1GitHub stars
A zero-dependency Ruby client for Jev: ask typed Noul, Choice and Score questions about your application state and get frozen, typed answers with probabilities, confidence and token usage. Pure Net::HTTP and JSON, so it fits plain Ruby and Rails alike.
Jev Repos & SDKs#community#catalog-import#logicrw
2GitHub stars
Zero-dependency JavaScript library for semantic pattern matching and zero-shot judgment: the in-tree engine behaves like Jev in local CPU cache under 0.05 ms and speculatively escalates ambiguous inputs to cloud Jev when cascade is enabled.
Jev Repos & SDKs#community#catalog-import#logicrw
1GitHub stars
Zero-dependency reverse-proxy traffic classifier and bot mitigator shipped as Node.js and Python packages. The in-tree engine decides in tens of microseconds, and setting TYPESAFE_API_KEY elevates the gate to jev-latest for five parallel typed questions.
Jev Repos & SDKs#community#catalog-import#logicrw
Async, typed intent and tool routing library for Python agents: register your own callables with @router.intent and @router.tool, let Jev decide which capability handles an input, and let a confidence gate stop weak or invented decisions.
Jev Repos & SDKs#community#catalog-import#logicrw
1GitHub stars
Deliberately absurd npm utility that uses TypeSafe's Jev model through the Vercel AI SDK to decide probabilistically whether a number is not odd (or not even). It needs a Vercel AI Gateway key in AI_GATEWAY_API_KEY.
Jev Repos & SDKs#community#catalog-import#logicrw
1GitHub stars
A Swift-native SDK for the TypeSafe System One API, ported from the JS and Python SDKs: Swift Package Manager, Swift 6 concurrency and URLSession, with Choice, Noul and Score questions and strict response validation.
Jev Repos & SDKs#community#catalog-import#logicrw
1GitHub stars
Classify tabular data with Jev, Laya or OpenJev without putting your whole labeled dataset into context: a learned tree of small views asks for more rows and columns only when they help, then stops.
Jev Repos & SDKs#community#catalog-import#logicrw

Index of all 362 entries

Start here with the Jev AI model

Featured entries in repos & sdks.

5.6kGitHub stars
A filesystem-first framework for durable AI agents whose auto model router defaults to Jev through Vercel AI Gateway and whose evaluate helper asks typed Choice, Score, and Boolean questions inside tools.
Jev Repos & SDKs#community#typescript#agents
33.3kGitHub stars
Open multilingual System 1 decision models with published checkpoints for choice, score and noul questions, plus a router that dispatches each request to the right checkpoint in one forward pass.
Jev Repos & SDKs#community#python#open-models
406GitHub stars
A monorepo of roughly 20 latency-focused demos: moderation firehoses, rerankers, inbox triage, macOS launchers, and closed-loop control simulators, each with p50/p95 telemetry.
Jev Repos & SDKs#community#demos#typescript

Jev AI model articles

Original guides that go deeper on Jev repos & sdks.

Closed weights have not stopped the ecosystem from rebuilding the shape in the open. API-compatible servers, retrained heads on small models, and inference-time tricks that skip generation entirely.
Jev Repos & SDKs#open-models#research#local
Read article

From the Jev community

Watch walkthroughs, read the threads, and see what builders are posting.

YouTube: Greg Isenberg and Ryan Vogel on the businesses Jev unlocks, and a path in through the Vercel AI Gateway.

YouTube: CJ from Syntax demos browser use, classification, code review, a model router, and a chat bot with no LLM.

YouTube: Ryan Vogel runs Jev on 100 and then 1,000 emails: category, priority, spam, and reply predictions.

Hacker News: Show HN: Ad Spend Guard gates budget before the auction, not the creative after.

Show HN: Gating ad budget with a decision modelRead the thread on Hacker News

Reddit: Reranking rebooking options with a decision model, ranked with reasons.

Hacker News: Pick Verify: a single decision at the warehouse pick station catches confusable picks.

Show HN: Verifying robot picks with a decision modelRead the thread on Hacker News