← 回到项目库 Agent 工具
Canny @qkal ★ 3 TypeScript MIT 更新于 2026-09-18
防止 AI 编码 agent 无证据声称工作完成,通过确定性钩子判断,TypeSafe 的 Jev 提供建议,使用追加式账本,无运行时依赖。
英文原文 Stops AI coding agents from claiming work is done without evidence. Deterministic hooks decide, TypeSafe's Jev advises. Append-only ledger, zero runtime dependencies.
qkal/Canny ↗
它在哪儿调用了 Jev export const JEV_URL = process.env.CANNY_JEV_URL ?? "https://api.typesafe.ai/v1/systemone";src/jev.ts:7
链接指向我们抓取当天的那个 commit,行号是准的。
这个项目没法在这儿跑 它的 question 组合是运行时拼出来的,或者代码里没有直接写出来,所以没法原样搬过来。源码链接在上面,可以自己去看。
同类的其他项目 JevRouter ▶ — 一个基于Jev的轻量级路由器,用于模型、工具和子agent的管理。 pi-jev ▶ — TypeSafe Jev 作为 Pi 编码 agent 的决策层,提供工具调用控制和带类型校准的 jev_ask 回答。 stanley-code ▶ — 基于有界TypeSafe Jev的编码agent工作流管理工具。 jev-sift ▶ — 一个便携式 agent 插件和 MCP 工具,用于批量文本分类,先分类再选择性阅读。 grok-bot-jev ▶ — 将 TypeSafe Jev 连接到 Grok Bot,作为廉价的决策层,支持使用门控、技能模板和示例。 Jevbridge ▶ — Jevbridge 是一个 ACP 和 MCP 适配器,连接 TypeSafe Jev 与 Codex、Claude、Grok、OpenCode 等任意 LLM,实现计算和类型化决策。 jev-mcp ▶ — MCP 服务器,将 TypeSafe Jev 集成到 Cursor、Codex 及任意 MCP 客户端的编码流程中。 pi-jev ▶ — 基于 TypeSafe Jev,为 Pi 编码 agent 提供语义工具路由和类型化的 System One 决策。