GitHub

Agent-first Haskell DSL for TypeSafe's Jev judgment model: typed packets, inferred types, answers under the same labels.

TypeSafe Jev for OTP: reply to Jev from a GenServer and pattern match on its answer.

A small, type-safe client for asking AI questions about your data, powered by TypeSafe Jev.