SDK 与客户端

jev-dsl

@inanna-malick6HaskellMIT更新于 2026-09-18

基于 agent 的 Haskell DSL,用于 TypeSafe 的 Jev 判断模型,支持类型包、类型推断和同标签答案。

英文原文

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

inanna-malick/jev-dsl

它在哪儿调用了 Jev

-X POST https://api.typesafe.ai/v1/systemone \

scripts/example.sh:26

链接指向我们抓取当天的那个 commit,行号是准的。

这个项目没法在这儿跑

它的 question 组合是运行时拼出来的,或者代码里没有直接写出来,所以没法原样搬过来。源码链接在上面,可以自己去看。

同类的其他项目