Narzędzie open-source MCP/HTTPS, które skanuje prompty, umiejętności i opisy narzędzi pod kątem ataków typu injection, wykorzystując TypeSafe AI Jev, deterministyczne kontrole i konfigurowalne rozumowanie.
仓库 README 和文档明确展示了使用 TypeSafe AI Jev 的实现、测试和评估，包括专门的 how-we-use-jev 文档、回放测试以及 TypeSafe 配置说明，属于真实集成。
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.
InverxInverx/JevREJevRE to CLI w Pythonie integrujące model Jev System One firmy TypeSafe AI w celu rekomendowania następnego kroku dochodzenia w inżynierii wstecznej Androida. Zawiera rzeczywistego klienta API Jev oraz tryb offline (mock).
