Agente browser basato su browser-use che usa TypeSafe Jev per verificare i completamenti del LLM rispetto alle evidenze della pagina e bloccare le azioni distruttive; in modalità duale, Jev agisce come System 1 per i passi meccanici, con esperimenti preregistrati e risultati di valutazione.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedVincoli di runtime per l'agente di codifica pi: controlla ogni chiamata a strumenti con effetti collaterali rispetto alle regole dichiarate dall'utente, alimentato da TypeSafe Jev. Include un benchmark dettagliato e un registro di esperimenti che valutano le decisioni System One di Jev.
cwjechw98-langcwjechw98-lang/jev-gatesTre cancelli di sicurezza per agenti di codifica: approvazione prima di azioni irreversibili, verifica di completamento basata su prove e controlli di regressione delle rubriche, alimentati da TypeSafe Jev (System One). Include script CLI, test offline e workflow CI.
jomatsujomatsu/pi-jev-auto-modeUn'estensione del gate dei permessi per l'agente di codifica Pi che utilizza TypeSafe Jev (System One) per approvare o bloccare semanticamente le chiamate agli strumenti bash, write ed edit, con chiusura sicura predefinita.
