CchopratejasApplications

invalidate

The invalidation layer for AI memory. Every fact gets a lease; new evidence ends it. Built on TypeSafe Jev.

Explore repository

How it uses Jev

invalidate uses Jev, a model that answers a yes/no question with a probability in about 150 ms. One check costs $0.00006. Checking 500 memories against one event takes under a second and costs half a cent. At that price, checking everything is the default.

Source: community catalog. Details and metrics reflect the published community snapshot and are not a performance endorsement. Documentation details extracted from GitHub · the README.

Keep exploring

Similar to invalidate

Browse all
Jev-Trades project preview

Jev-Trades

Applications
Trading bot with the all new TypeSafe AI's first system one model named as Jev
ZMade byzadescoxp30
jev-lm (uhhfeef) project preview

jev-lm (uhhfeef)

Applications
A character-level language model built on Jev, a System One classifier
UMade byuhhfeef3
jselect project preview

jselect

Applications
Selects source-linked evidence within a token budget using Jev Noul relevance judgments and local diversity-aware selection.
KMade bykeltokhy3
jev_project_context project preview

jev_project_context

Benchmarks & research
Evidence-first long-term experiment memory skill for AI coding agents, with optional Jev decision-model layers
PMade bypoiuyjie9
jevmory project preview

jevmory

Benchmarks & research
Coding-agent memory where every fact is a verbatim quote graded by TypeSafe Jev's calibrated confidence. Local-first, SQLite receipts, zero dependencies.
RMade byromiluz139
jev-compaction project preview

jev-compaction

Demos & playgrounds
A context compactor that can only score, never write — so an agent's memory can't hold a fact the transcript never contained. Working demo, runs offline.
WMade byWaxmell1145144
Jev-Mem project preview

Jev-Mem

Agent tooling
Jev-Mem: System-One Controlled Agentic Memory
LMade bylibingzheren67
typesafe-jev-workflow project preview

typesafe-jev-workflow

Integrations
Async LangGraph workflow that gets a typed Jev Choice (invoice or general) and routes each inbound email to the matching handler.
GMade byGiesN9
jev-frontend-qa project preview

jev-frontend-qa

Browser & computer use
Evidence-driven frontend QA built on Jev Ultrafast and Browser Harness, with a synthetic todo demo.
NMade byNainish-Rai3