Jev
Projects and libraries using Jev for routing, verification and typed decisions.
Repository owner imagePi TypeSafe
Expose batched typed judgments to Pi agents, terminal users and extension authors.
CategorySDKs & integrations | UsePi typed evaluations | SourceGitHub |
Ownerdevmortimer | Original projecthttps://github.com/devmortimer/pi-typesafe | |
Research evidence
src/extension.ts registers the opt-in typesafe_evaluate tool and a separately confirmed playground. src/client.ts fixes the provider endpoint, calls TypeSafeClient.systemOne and checks the returned answer IDs, primitive types, probability ranges and usage fields. batch.ts chunks questions and combines settled requests.
An independent Pi integration and the shared client used by Pi Warden. Its tool, playground and library are one resource, not three separate applications.
The client returns model judgments, not permission to act. Daily token/spend caps use completed usage without reserving in-flight cost; usage.ts caches counters per instance, does not coordinate concurrent processes, and resets on unreadable ledgers. Do not describe these as hard billing guarantees. No Pi command, login, key store or inference was run.
documentation source 1 (retrieved 2026-09-18)code source 2 (retrieved 2026-09-18)code source 3 (retrieved 2026-09-18)code source 4 (retrieved 2026-09-18)code source 5 (retrieved 2026-09-18)