jev-dsl
By inanna-malick
Source description: Agent-first Haskell DSL for TypeSafe's Jev judgment model: typed packets, inferred types, answers under the same labels
Repository description
The repository describes its purpose as: Agent-first Haskell DSL for TypeSafe's Jev judgment model: typed packets, inferred types, answers under the same labels
Source evidence
The daily check found an explicit Jev / TypeSafe AI connection in the original README and implementation files at the same commit.
A Haskell DSL for agents that would rather have a question judged than guessed. A packet of labelled questions is written once as an expression; its type is inferred, it renders to the exact request JSON for [TypeSafe's Jev](https://docs.typesafe.ai), and the answers come back under the same labels as records read by f
Automatically source-checked: public repository, pinned README, and implementation files. Not run, benchmarked or security-audited.