这是什么
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。
证据
每一行都是就 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 写成。