Ein auf browser-use basierender Browser-Agent, der TypeSafe Jev nutzt, um LLM-Ausgaben anhand von Seitenbelegen zu prüfen und destruktive Aktionen zu unterbinden. Im Dual-Modus übernimmt Jev als System 1 mechanische Schritte; enthalten sind vorab registrierte Experimente und Auswertungsergebnisse.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
NyarlathotepppppNyarlathoteppppp/pi-heedLaufzeitbeschränkungen für den PI-Coding-Agent: prüft jeden nebenwirkungsbehafteten Tool-Aufruf gegen die vom Benutzer festgelegten Regeln, unterstützt von TypeSafe Jev. Enthält einen detaillierten Benchmark und ein Experimentierprotokoll zur Bewertung von Jevs System-One-Entscheidungen.
cwjechw98-langcwjechw98-lang/jev-gatesDrei Schutzgates für Codierungsagenten: Genehmigung vor irreversiblen Aktionen, evidenzbasierte Abschlussprüfung und Rubriken-Regressionsprüfung, unterstützt von TypeSafe Jev (System One). Enthält CLI-Skripte, Offline-Tests und CI-Workflows.
jomatsujomatsu/pi-jev-auto-modeEine Berechtigungs-Gate-Erweiterung für den Pi-Codierungsagenten, die TypeSafe Jev (System One) verwendet, um Bash-, Write- und Edit-Toolaufrufe semantisch zu genehmigen oder zu blockieren und standardmäßig sicher zu schließen.
