typesafe-mario

它在哪儿调用了 Jev

from typesafe_sdk import Choice, Noul, Score, TypeSafeClient

src/typesafe_mario/policy.py:29

链接指向我们抓取当天的那个 commit，行号是准的。

它问 Jev 的问题

下面是从这个项目源码里原样取出来的 question 组合。

import { experimental_evaluate as evaluate } from 'ai';

const { answers } = await evaluate({
  model: 'typesafe-ai/jev',
  state,
  questions: {
    next_action: { type: 'boolean', instructions: 'question' },
    danger: { type: 'score', instructions: 'How dangerous is Mario\'s immediate situation?',
      criteria: ['Safe open movement', 'Potential obstacle or enemy soon', 'Immediate collision, fall, or enemy threat'] },
  },
});

同类的其他项目

• jev-drone ▶ — 基于MuJoCo的纯摄像头自主无人机，内置2.5Hz运行的小型TypeSafe Jev判断模型。
• typesafe-playground ▶ — 基于 TypeSafe Jev 的交互式实验，包括支持路由和带有真实 AI 决策及可见传感器输入的 3D 驾驶模拟。
• live-jev ▶ — 基于TypeSafe的Jev决策模型，在浏览器中实现的二维自动驾驶汽车模拟。
• jev-autopilot ▶ — 该项目使用 TypeSafe AI 的 Jev 自动驾驶无人机，在随机城市中从点 A 飞到点 B，途中避开障碍物，单次飞行费用为 0.01 美元。
• jev_speedway ▶ — 使用 jev 控制虚拟赛道上的赛车。
• chakravyuha-jev ▶ — Chakravyuha 是一个极环迷宫，每步都是 Jev (TypeSafe System One) 的决策，模型选步，路径评分，历史页评估置信度。
• last-train-jev ▶ — 一个用 TypeSafe Jev、React 和 Express 构建的小型侦探密室逃脱游戏。
• quackd — 一个统一的 CLI 工具，用于连接和控制各种机器人，支持多种 LLM、大模型和 ROS 机器人，具备模拟器、安全合约、记忆和群组功能。