NyarlathotepppppNyarlathoteppppp/pi-heedpi-heed: TypeSafe Jev 기반 PI 런타임 제약
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
710MIT
Footwork: TypeSafe Jev 가드가 포함된 검증된 브라우저 에이전트
browser-use 기반 브라우저 에이전트로, TypeSafe Jev를 사용해 페이지 증거와 LLM 완료 결과를 대조하고 파괴적 동작을 차단합니다. 듀얼 모드에서는 Jev가 System 1으로서 기계적 단계를 수행하며, 사전 등록된 실험과 평가 결과가 포함됩니다.
仓库真实集成并深入研究 TypeSafe Jev：在 browser-use 前加入 Jev 校验与破坏性操作门禁，并在 dual 模式中让 Jev 执行机械步骤；附有预注册实验、评测结果和可运行代码。
· 1 starsOpen on GitHub
More like this
NyarlathotepppppNyarlathoteppppp/pi-heed
cwjechw98-langcwjechw98-lang/jev-gatesJev Gates
코딩 에이전트용 세 가지 가드레일 게이트(되돌릴 수 없는 작업 전 승인, 증거 기반 완료 확인, 루브릭 회귀 검사)를 TypeSafe Jev(System One)로 구동합니다. CLI 스크립트, 오프라인 테스트, CI 워크플로우를 포함합니다.
000MIT
jomatsujomatsu/pi-jev-auto-modePi 코딩 에이전트용 Jev 기반 자동 모드
Pi 코딩 에이전트용 권한 게이트 확장 프로그램으로, TypeSafe Jev(System One)를 사용하여 bash, write, edit 도구 호출을 의미적으로 승인하거나 차단하며, 기본적으로 안전하게 실패합니다.
2321MIT