jevbooks

← 全部项目

jev-spec

nozomi-koborinai/jev-spec · 项目主页

由 Jev 驱动的 AI 代码与规范语义验证引擎。

校验与安全门88%次选分类: 评测与基准

这是什么

jev-spec 是面向使用 AI 编码助手的团队的规范驱动开发验证工具。它检查代码是否满足书面需求,捕捉结构化 linter 无法发现的语义差距。

它怎么用 Jev

Jev 在共享的规范与实现上下文上单次前向传播,评估类型化决策原语并返回校准概率。jev-spec 将其与 minProbability、maxProbability、allowedChoices、minScore 等阈值断言,输出通过/失败退出码供 CI 和 git hooks 使用。

用到的原语:choicescorenoul

值得抄的做法

在 CI 中用校准概率阈值作为确定性语义断言,替代自由形式的 LLM 审查。

怎么试

bunx jev-spec check(或 npx jev-spec check);离线运行使用 --mock。

去 GitHub 看

Jev 判的jev-1.13.0

证据

每一行都是就 README 问 Jev 的一道题。≥ 0.60 算「是」,≤ 0.40 算「否」,中间这一段 Jev 不下判断。

  • Jev 是主角未判定0.55
  • 有 System One 用法0.09
  • 处理了不确定性0.06
  • 有实测数据0.05
  • 可直接跑0.89
  • 值得推荐0.23
  • 是模型的复刻0.11
  • 问题普遍性按 0–2 打分1.55
  • 与 Jev 相关0.94

信号由 Jev jev-1.13.0 判定,简介由 DeepSeek V4.1 Flash 于 2026年9月21日 读 README 写成。