a0-typesafe-ai

它在哪儿调用了 Jev

base_url="https://api.typesafe.ai", retry=RetryPolicy(max_retries=1),

tools/typesafe_query.py:35

链接指向我们抓取当天的那个 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 决策。