jevbooks

← 全部项目

typesafe-jev-drone-demo

kxzk/typesafe-jev-drone-demo

Three.js 无人机模拟器,带 Python 后端和实时 TypeSafe Jev 导航。

这是什么

一个实时 Three.js 无人机模拟,后端为 Python/FastAPI,由 TypeSafe 的 jev-latest 选择每个导航动作。面向在模拟飞行环境中探索类型化 AI 决策的开发者。

它怎么用 Jev

Jev 接收九个候选移动的结构化状态,回答一个 Choice 问题以选择下一个动作,并独立回答一个 Noul 问题以估计直接路线是否被阻挡。Python 验证类型化响应并重新检查所选移动;如果被阻挡或置信度低于 0.12,则悬停。

用到的原语:choicenoul

值得抄的做法

几何候选生成,带扫描碰撞间隙和类型化模型验证。

怎么试

运行 uv sync、npm install,设置 TYPESAFE_API_KEY,然后 npm run build 和 uv run uvicorn backend.app:app --host 127.0.0.1 --port 8000。

去 GitHub 看

Jev 判的jev-1.13.0

证据

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

  • Jev 是主角0.91
  • 有 System One 用法0.74
  • 处理了不确定性0.04
  • 有实测数据0.05
  • 可直接跑0.95
  • 值得推荐未判定0.50
  • 是模型的复刻0.04
  • 问题普遍性按 0–2 打分0.01
  • 与 Jev 相关0.98

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