Universal TypeSafe Jev Runtime Plugin & MCP Server for Coding Agents
Jev ecosystem projects — page 198
5191 repositories with documented relationships and source evidence.
0
ocaml sdk for typesafe.ai's jev model
0
Werewolf against seven villagers whose suspicions are calibrated probabilities from TypeSafe Jev
0
Local document search that can refuse.
A runtime assurance layer for tool-using AI agents: it observes an execution agent independently, combines hard safeguards with Agentic Assurance, and makes the final control decision through a deterministic policy.
Extensible action gates and decision routing for AI agents, with paired cost and reliability evaluations.
No project description available.
Autonomous Robinhood trading agent: evidence-gated, shadow-first, with a one-click Windows app. It has to earn the right to trade, and still asks before it spends.
[Flue](https://flueframework.com) Tesrt
0
No project description available.
ASSAY-001: independent, pre-registered verification of TypeSafe Jev's calibration and type-safety claims. Split verdict, published in full.
0
OrthoCode AI is an evidence-first orthopedic medical-coding platform. Its runtime is constrained to a normalized, versioned codebook release and retains page-level evidence for every proposed coding line.
A production-oriented BEAM/OTP autonomy kernel for running an untrusted coding worker inside a disposable Linux execution domain while keeping durable authority, policy, effects, verification, recovery, and audit state in a trusted control plane.
Curated list of jev related stuff
latest top 100 showcases for jev (keep updating) from x / github / latest sources
0
Axorbis is an evidence-first AI research workspace for exploring questions, organizing sources, verifying claims, running experiments, and turning research into reliable outputs.
Routes a thread's first message to the right harness and model with TypeSafe (Jev), then asks you to confirm.
0
No project description available.
0
A Valheim companion bot: a BepInEx plugin that plays a real Valheim character, taking natural-language orders in game chat.
0
No project description available.
A tug-of-war over one shared actuator — you and TypeSafe's Jev push the same CartPole and the forces add. Physics verified against Gymnasium, with fair-baseline benchmarks and token accounting.
Claude Code Router
Let LLMs play Chess against each other
Watch TypeSafe's Jev classifier race across Wikipedia in real time — no LLM in the loop. Built by @dave_xt.