docxology/daf-jev

docxology/daf-jev on GitHub

Stars: 6
Forks: 1
Language: Python
License: MIT
Last push: 23 Sep 2026

Read from GitHub on 24 Sep 2026. Counts change daily.

How it uses Jev

if TYPE_CHECKING:
    from daf_jev.providers import ProviderSpec

DEFAULT_BASE_URL = "https://api.typesafe.ai"
DEFAULT_MODEL = "jev-latest"

API_KEY_VARS = ("JEV_API_KEY", "TYPESAFE_API_KEY")
BASE_URL_VARS = ("JEV_BASE_URL", "TYPESAFE_BASE_URL")
MODEL_VARS = ("JEV_MODEL", "TYPESAFE_DEFAULT_MODEL")
RETRY_MAX_ATTEMPTS_VAR = "JEV_MAX_ATTEMPTS"
RETRY_BACKOFF_BASE_VAR = "JEV_BACKOFF_BASE"
RETRY_BACKOFF_MAX_VAR = "JEV_BACKOFF_MAX"
RETRY_JITTER_VAR = "JEV_JITTER"
TIMEOUT_VAR = "JEV_TIMEOUT"

View in src/daf_jev/config.py

Open on GitHub

PrimitivesChoice Score Noul

Use casesConfidence-gated actions Composite scoring Agent routing and skill selection Self-consistency checks

Jev Ultrafast (Browser Use)

Browser Use's fast browser agent where Jev picks the operation and the DOM element in a single request; a small LLM is only invoked to write text when typing is required. Demoed on a Google Flights search.

browser-useOpen

19k starsFlight search 7.1 s

ProjectTyped tool dispatch+2

jev-trader

Makes one AI trade decision every Monad block on the Kuru MON-USDC market using Jev. The public deployment runs in dry-run mode with a mock model.

jarrodwattsOpen

2.2k starsLoop, mock model p50 100 msDecision window ~300 ms/block

ProjectConfidence-gated actions+1

typesafe-ai/skills (official TypeSafe agent skill)

Official agent skill for Claude Code, Codex and other agent environments; installs via claude plugin marketplace add typesafe-ai/skills or npx skills add typesafe-ai/skills. MIT licensed.

TypeSafe AI2k starsOpen

ToolAgent routing and skill selection+1

jkudish/jev-mcp

MCP server that gives Claude Code, Codex, Amp, OpenCode and other agents ten Jev judgment tools, each returning typed probabilities they can branch on. The author calls it early software.

jkudishOpen

320 starsPer call 150-500 ms

ToolAgent routing and skill selection+2

Introducing System One Models and Jev (Hacker News launch thread)

The 1,978-point, 513-comment launch thread. The top comment calls the speed comparison misleading, since Jev only returns structured output, and disputes the cannot-hallucinate claim because a valid type can still hold a wrong value. Others note ordinary LLMs can already be forced into structured output.

albelfioOpen

DiscussionIntent and model routing+3

DSPy: programming, not prompting, language models

Declares typed input/output Signatures for LLM modules and optimizes the underlying prompts and weights against a metric. Its Signature abstraction is the closest widely-used open equivalent of Jev's typed-question interface. Star count is GitHub's rounded display figure.

stanfordnlp38k starsOpen

AlternativeStructured extraction+3

Menu