Agent JIT

A DeepSeek Harness plugin that compiles deterministic execution paths out of the LLM agent loop.

Agent JIT 把 agent loop 中已确定的确定性执行路径（多步工具编排、状态维护、中间数据流转）编译成受限 DSL 程序，交给 schema-validated graph runtime 确定性执行——把"数据怎么流通"从模型手里拿走，让 Agent 不再为不需要智能的步骤付 token。

Agent 仍是 planner；Agent JIT 是执行 offload 层。

 

实验性 Harness Adapter

agent-jit/adapter 提供一个与具体 harness 无关的最小工具适配契约，适合在 自建 harness 中复用同一套工具注册、目录读取和嵌套调用代码。该入口目前是 实验性 API：它只定义宿主边界，不包含 TypeScript 编译器、代码 worker、 沙箱或 agent loop。

import type { HarnessAdapter } from "agent-jit/adapter";

export function installExampleTool<TContext>(adapter: HarnessAdapter<TContext>) {
  return adapter.registerTool({
    name: "example_lookup",
    description: "按 id 查询示例记录。",
    inputSchema: {
      type: "object",
      properties: { id: { type: "string" } },
      required: ["id"],
      additionalProperties: false,
    },
    outputSchema: {
      type: "object",
      properties: { id: { type: "string" }, title: { type: "string" } },
      required: ["id", "title"],
    },
    async execute(args) {
      const { id } = args as { id: string };
      return { id, title: `record:${id}` };
    },
    renderText(_args, value) {
      return JSON.stringify(value);
    },
  });
}

目录接口是同步的 live view：adapter.catalog(context).getTool(name) 和 listTools() 每次调用时都读取宿主当前可见工具，而不是创建时的快照。因此， 动态注册、卸载以及 context/scope 限制会立即反映到查询结果中；真正的工具调用 仍通过异步的 adapter.execution(context).callTool(name, args) 完成。 若远程 harness 的真实目录只能异步拉取，应由 adapter 在本地维护同步 catalog 缓存，并在远端状态变化时刷新它，而不是把这里的同步接口改成初始化快照。

若自建 harness 希望直接安装当前 legacy DSL surface，可使用同一入口导出的 registry 与安装器；安装器会依次注册 provider 和 jit_*，并返回幂等 disposer：

import {
  ToolRegistry,
  installLegacyDslJit,
  type RegisteredTool,
} from "agent-jit/adapter";

const registry = new ToolRegistry<RegisteredTool>();
const dispose = installLegacyDslJit(adapter, registry);

DSH 用户可以从原有入口取得官方 bridge：

import { createDshHarnessAdapter } from "agent-jit/dsh";

const adapter = createDshHarnessAdapter(ctx.tools);
const dispose = adapter.registerTool(toolDefinition);

const visible = adapter.catalog(toolExecution).listTools();
const result = await adapter.execution(toolExecution).callTool("example_lookup", {
  id: "42",
});

dispose();

这项新增能力不会改变现有 DSH bundle：agent-jit/dsh、cordis.patch.yml、 jit_describe_tools、jit_execute_program 及其默认 DSL 行为保持不变。三个 DSH peer dependency 现在标记为 optional，只是为了让仅使用 agent-jit/adapter 的 自建 harness 不必安装 DSH；一旦导入 agent-jit/dsh，仍需由宿主提供兼容的 Cordis、DSH Tools 和 DSH LLM。

安装

本仓库即一个 DeepSeek Harness bundle（package.json 的 dsh.bundle.patch + cordis.patch.yml）。预构建产物 dist/ 随仓库分发，git 安装无需任何构建授权。

装进 web profile 后，每次 dsh web 启动都会自动加载（dsh web 是 --profile web 的别名；npx @deepseek-ai/dsh web 同样生效）：

# npm（推荐；发布的是预构建产物，无构建授权）
dsh plugin --profile web add agent-jit
# 或从 GitHub 安装（dist/ 随仓库分发，同样无构建授权）
dsh plugin --profile web add github:sybolization/agent-jit

dsh web --dump-config    # 验证：应出现 agent-jit-dsl 行
dsh web                  # 之后每次启动都带插件

要装进其他 profile（headless / 自定义组合）同理换 profile 名；注意自定义 profile 默认只含 dsh-base（无 Web UI），需要 UI 请同时加装 @deepseek-ai/dsh-web-app。卸载：dsh plugin --profile web remove agent-jit。

工具

插件向 harness 注册的工具（均走标准 ctx.tools 注册，遵守完整执行策略管线）：

生产缺省不注册实验业务工具——插件使用者只拿到两个 JIT 元工具，自己注册进 DSH 的工具经宿主工具活视图零配置即可被 DSL 编排。experimentMode: true 才向 模型开放实验工具（供 benchmark / 演示任务），不会污染普通使用者的工具面。

实验模式下每个业务工具的 description 注入实验验证的函数式 DSL 签名：

github_get_repository — 获取单个仓库的详细信息。
DSL: github.get_repository(full_name: str) -> {full_name: str, forks: int, stars: int}

普通调用看 parameters，JIT 编程看 DSL: 签名——两个接口来自同一个 ToolContract。失败严格语义：未知工具 / 编译失败 / 执行失败整体报错，不允许 partial success。

一个例子

repos = github.search_repositories(query="dsl", limit=5)
details = map(repos, github.get_repository(full_name=_.full_name))
active = filter(details, archived=false)
top = take(active, 3)
return top

逐工具执行需要 11 次 agent loop 往返；jit_execute_program 1 次调用返回相同结果（有测试断言保护）。

宿主工具（bash / glob / web_search 等）多返回包装对象，可用字段投影与 collect 接进数据流：

files = glob(pattern="src/**/*.ts")
top = take(files.paths, 3)          # 字段投影：对象.字段 解包数组字段
hits = web_search(query="dsh plugin")
proof = bash(command="git log --oneline -1", description="验证")
both = collect(hits, proof)         # 把两个对象结果包成一个数组
return both

为什么有效：实验数据

完整实验报告见 experiment_result/。核心结论：对可提前表达为确定性程序的执行路径，把 orchestration state 从 LLM loop 迁移到 compiler/runtime，任务质量不变，token / 上下文暴露 / 往返轮次显著下降。

R4b：一次程序提交 vs 迭代工具调用（真实 GitHub 工具，N=20）

R4e：分支 + 重组（adversarial 数据集，N=15/30）

token 差距 6.9× / 8.1×；工具契约完整时两臂 correctness 均为 100%。

R5：自主 offload（模型自己决定是否使用 JIT）

• 在"明显值得程序化"的任务上，模型自主选择 offload 9/10，且全部语义正确；
• 在"不值得 JIT"的简单任务上 unnecessary offload 为 0%——DSL 参考按需加载，不使用 JIT 的成本接近零。

机制不是"模型更聪明"，而是：确定性数据流由 runtime 消费，而不是由 LLM context 消费。

R7：工具面自描述（当前生产默认）

把 system prompt 完全关闭后，仅靠 jit_execute_program 工具描述中的 when/why trigger + 完整中性 DSL manual（service.* 示例），在 development （N=20）和跨域 holdout（N=20）上均恢复 100% adoption / precision / task completion；holdout efficiency 不劣于 system prompt 正对照。因此当前生产 默认配置为 systemPrompt:false + routingPrompt:tool-embedded。完整数据见 experiment_result/r7-routing-development-report.md。

配置

插件行 config（可被用户 patch 层覆盖）：

experimentMode: false  # true = 注册实验业务工具（github_*/crm_*/users_*/email_*）；
                       # false（缺省）= 生产：只挂 jit_* 元工具
providers:             # 仅 experimentMode: true 时生效
  github: mock   # mock | real（GITHUB_TOKEN）| none
  domain: mock   # mock | none
dsl:
  signatureInDescription: inline   # 业务工具 description 注入 DSL 签名（inline | none）
  systemPrompt: false              # 生产默认不挂 DSL system prompt（R7 T3）
  systemPromptReference: neutral   # 若 systemPrompt:true，使用 service.* 中性参考
  guidance: primitive              # primitive | patterns | full-example
  describeTools: true              # 是否注册 jit_describe_tools
  routingPrompt: tool-embedded     # jit_execute_program 描述含 trigger + 完整中性 DSL manual
  describeDslReference: none       # describe 只返回契约（first-call = 历史懒加载 manual）
  routingReminder: on-list         # soft hook：工具返回列表后注入"考虑 JIT"提醒（缺省 on；none 关闭）
  routingReminderMinListLength: 2  # 触发提醒的最小列表长度（缺省 2）
# hostTools: []         # 缺省（不写）= 自动发现全部 DSH 宿主工具（describe 即用）；
#                        # [] 显式关闭；写名字数组 = 白名单
# excludeHostTools: []  # 黑名单：始终排除（如不想开放 bash 给 DSL）

宿主工具经 hostDiscovery 活视图在运行时自动发现：任何注册进 ctx.tools 的工具（其他插件 / 动态注册）describe 即用、DSL 直接可编排，零配置零代码 修改；执行走 ctx.tools.execute 嵌套分发（完整策略管线：guard / pre-execute / post-execute / 超时 / 沙箱），scope = 调用方 agent。jit_* 元工具自身被排除，防递归。

开发

npm run build   # 构建 dist/（bundle 入口 dist/integrations/dsh/index.js）
npm test        # 669 个单测，含真实 DSH 服务树 smoke 测试（挂载 + 执行路径压缩断言）

开发环（在 deepseek-harness checkout 内）：

pnpm dsh web --patch <本仓库>/cordis.dev.patch.yml --port 3081

许可证

[MIT](LICENSE)