Agent przeglądarki oparty na browser-use, który używa TypeSafe Jev do weryfikowania odpowiedzi LLM względem dowodów na stronie i blokowania destrukcyjnych działań; w trybie podwójnym Jev działa jako System 1 dla kroków mechanicznych, z wcześniej zarejestrowanymi eksperymentami i wynikami oceny.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedOgraniczenia wykonawcze dla agenta kodującego pi: sprawdza każde wywołanie narzędzia z efektami ubocznymi względem zasad podanych przez użytkownika, oparte na TypeSafe Jev. Zawiera szczegółowy benchmark i dziennik eksperymentów oceniający decyzje System One Jev.
cwjechw98-langcwjechw98-lang/jev-gatesTrzy bramy bezpieczeństwa dla agentów kodowania: zatwierdzenie przed nieodwracalnymi działaniami, kontrola ukończenia oparta na dowodach oraz kontrola regresji rubryk, obsługiwane przez TypeSafe Jev (System One). Zawiera skrypty CLI, testy offline i przepływy CI.
jomatsujomatsu/pi-jev-auto-modeRozszerzenie bramy uprawnień dla agenta kodującego Pi, które używa TypeSafe Jev (System One) do semantycznego zatwierdzania lub blokowania wywołań narzędzi bash, write i edit, domyślnie bezpiecznie zamykając.
