Een op browser-use gebaseerde browseragent die TypeSafe Jev gebruikt om LLM-voltooiingen te controleren aan de hand van paginabewijs en destructieve acties te blokkeren; in dubbele modus fungeert Jev als System 1 voor mechanische stappen, met vooraf geregistreerde experimenten en evaluatieresultaten.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedRuntimebeperkingen voor de pi-codeeragent: controleert elke toolaanroep met bijwerkingen tegen de door de gebruiker opgegeven regels, mogelijk gemaakt door TypeSafe Jev. Bevat een gedetailleerde benchmark en een experimentenlogboek waarin de System One-beslissingen van Jev worden geëvalueerd.
cwjechw98-langcwjechw98-lang/jev-gatesDrie beschermpoorten voor codeeragents: goedkeuring vóór onomkeerbare acties, op bewijs gebaseerde voltooiingscontrole en rubric-regressiecontrole, mogelijk gemaakt door TypeSafe Jev (System One). Bevat CLI-scripts, offlinetests en CI-workflows.
jomatsujomatsu/pi-jev-auto-modeEen permission gate-extensie voor de Pi-codeeragent die TypeSafe Jev (System One) gebruikt om bash-, write- en edit-toolaanroepen semantisch goed te keuren of te blokkeren, standaard fail-closed.
