TypeSafeAITypeSafeAI/jev-harnessOfficialJEV Harness: Jev 기반 제안 검토 도구
TypeSafeAI 커뮤니티 리포지토리로, Jev 기반 제안 검토 워크플로를 구현합니다. LLM이 제안하고 Jev가 네 가지 좁은 질문에 답하며 코드가 결정하고 영수증을 남깁니다. 오프라인 테스트, 라우팅 실험, Next.js 데모를 포함합니다.
630MIT
지뢰찾기 × Jev
TypeSafe Jev를 통합한 지뢰찾기 게임입니다. 증명 가능한 수는 결정적 솔버와 정확한 확률 열거가 처리하고, 추측이 강제될 때만 Jev를 호출합니다. 프롬프트 실험, 실시간 평가, 재현 스크립트를 포함합니다.
该仓库实现了可运行的扫雷游戏，并真实调用 TypeSafe Jev API 仅在逻辑无法证明时做判断；同时包含确定性约束求解、精确概率枚举、实时 API 评测、prompt 对照实验和复现脚本，属于对 Jev / System One 的实质集成与深入研究。
· 1 starsOpen on GitHub
More like this
TypeSafeAITypeSafeAI/jev-harnessOfficial
ekzhangekzhang/openjev-sglangOpenJev SGLang
오픈 모델 기반 Jev 호환 API 엔드포인트(프리필 전용), SGLang에서 Qwen3.6-35B-A3B로 TypeSafe Jev/System One 평가 엔드포인트를 구현.
277352
keltokhykeltokhy/jgrepjgrep
jgrep은 TypeSafe Jev/System One 결정 모델을 호출하여 설명을 기준으로 줄이나 코드 diff를 판정하고, 생성 텍스트 대신 확률을 반환하는 CLI 의미론적 grep입니다.
2121MIT