pi-heed: TypeSafe Jev 기반 PI 런타임 제약
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
710MIT
Pi 코딩 에이전트 확장으로 TypeSafe Jev를 사용하여 도구 호출을 게이팅하고 출력을 판단합니다. 섀도우/강제 도구 호출 게이트, 출력 누출/실패 감지, 입력된 답변을 위한 jev_ask 도구를 포함합니다. 보정 결과가 문서화되어 있습니다.
该仓库是 Pi 编码代理的扩展,深度集成 TypeSafe Jev:实现了工具调用门控、输出泄露/失败检测、jev_ask 工具,并提供了详细的配置、命令和校准实验数据,是真实的使用与测试。