pi-heed: TypeSafe Jev 기반 PI 런타임 제약
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
OPEN SOURCE · CURATED REPOSITORIES
Curated Jev SDKs, tools, demos, integrations, benchmarks, and research projects. Repository metrics come from GitHub; titles, summaries, and categories are editorial.
GitHub Stars 기준
최근 Star 증가와 업데이트 활동 기준
pi 코딩 에이전트용 런타임 제약: 부작용이 있는 도구 호출을 사용자가 명시한 규칙과 대조하고 TypeSafe Jev를 사용합니다. Jev System One 결정을 평가한 상세 벤치마크와 실험 기록이 포함됩니다.
코딩 에이전트용 세 가지 가드레일 게이트(되돌릴 수 없는 작업 전 승인, 증거 기반 완료 확인, 루브릭 회귀 검사)를 TypeSafe Jev(System One)로 구동합니다. CLI 스크립트, 오프라인 테스트, CI 워크플로우를 포함합니다.
Pi 코딩 에이전트용 권한 게이트 확장 프로그램으로, TypeSafe Jev(System One)를 사용하여 bash, write, edit 도구 호출을 의미적으로 승인하거나 차단하며, 기본적으로 안전하게 실패합니다.
AI 코딩 에이전트의 셸 명령을 위한 효과 기반 안전 게이트로, 기본 판정에 TypeSafe의 Jev를 사용합니다. 이 프로젝트 평가에서 Jev만이 위험 명령 허용 0건으로 인증되었습니다.
TypeSafe의 Jev 모델을 기반으로 하는 AI 에이전트 도구 호출 보안 게이트. LangChain 지원, 제로 구성 로컬 폴백.
OpenCode 2 플러그인으로 로컬 및 FarHand 원격 셸 명령을 TypeSafe Jev가 평가하게 하고 위험한 작업 전에 확인합니다. 사용자 정의 위험 범주와 벤치마크가 포함됩니다.
TypeSafe Jev를 DeepSeek Harness에 통합하여 도구 호출 위험을 밀리초 단위로 분류하고 안전한 호출을 자동 승인합니다. 섀도/강제 모드, 텔레메트리, 52개 테스트를 제공합니다.
Pi 코딩 에이전트용 Jev(TypeSafe System One) 권한 게이트입니다. 실행 전에 각 bash/write/edit 호출을 Jev 의사 결정 모델로 판단합니다.
TypeSafe Jev(System One 결정 모델)와 결정론적 정책으로 LLM 도구 호출을 게이팅하는 시맨틱 방화벽으로, 평가 및 안정성 테스트를 포함합니다.
DeepSeek Harness 플러그인: TypeSafe Jev 기반의 도구 호출별 자동 권한 검토, 설정 페이지에 계정 사용량 및 API 키 관리 포함.
이메일을 전달하면 보정된 피싱 판정을 얻을 수 있습니다. TypeSafe Jev / System One을 사용하여 분류하며, Copilot Studio용 MCP 서버와 Power Automate용 REST를 제공합니다.
코딩 에이전트를 위한 보안 훅으로, Jev를 사용하여 도구 호출의 위험을 평가하고 프롬프트 인젝션을 탐지하며 스킬/플러그인을 확인합니다. Claude Code, Codex, Copilot, Gemini, Cursor, pi, OpenCode, ACP를 지원합니다.