En webbläsaragent baserad på browser-use som använder TypeSafe Jev för att kontrollera LLM-slutföranden mot sidevidence och blockera destruktiva åtgärder; i dubbelt läge agerar Jev som System 1 för mekaniska steg, med förregistrerade experiment och utvärderingsresultat.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedKörtidsbegränsningar för pi-kodningsagenten: kontrollerar varje verktygsanrop med bieffekter mot användarens angivna regler, drivs av TypeSafe Jev. Innehåller en detaljerad benchmark och experimentlogg som utvärderar Jevs System One-beslut.
cwjechw98-langcwjechw98-lang/jev-gatesTre säkerhetsgrindar för kodningsagenter: godkännande före oåterkalleliga åtgärder, evidensbaserad slutförandekontroll och rubrikregressionskontroll, drivna av TypeSafe Jev (System One). Innehåller CLI-skript, offlinetester och CI-arbetsflöden.
jomatsujomatsu/pi-jev-auto-modeEn behörighetsgate-extension för Pi-kodningsagenten som använder TypeSafe Jev (System One) för att semantiskt godkänna eller blockera bash-, write- och edit-verktygsanrop, med säker stängning som standard.
