pi-heed: TypeSafe Jev 기반 PI 런타임 제약
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
710MIT
TypeSafe Jev를 DeepSeek Harness에 통합하여 도구 호출 위험을 밀리초 단위로 분류하고 안전한 호출을 자동 승인합니다. 섀도/강제 모드, 텔레메트리, 52개 테스트를 제공합니다.
该仓库是为 DeepSeek Harness 编写的 Jev 插件,在每次工具调用前调用 TypeSafe Jev 做 System-1 风险分类与自动审批,包含 shadow/enforce 模式、52 个测试、遥测和使用文档,属于真实集成与开发工具。