gen-tool-catalog.ts 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416
  1. /**
  2. * Generate (and verify) the tool-schema catalog in docs/tool-catalog.md.
  3. *
  4. * The catalog is the MODEL-FACING TOOL reference: every tool a shipped plugin
  5. * contributes to `ctx.tools`, with the exact `name` / `description` / JSON-Schema
  6. * `parameters` the model receives via the system-prompt assembly. It complements
  7. * the cordis events/services catalog (the wiring a plugin author works against)
  8. * and the core-data-structures catalog (the vocabulary those signatures move):
  9. * this page is the TOOLS the agent is offered.
  10. *
  11. * `tsx scripts/gen-tool-catalog.ts` → write the catalog
  12. * `tsx scripts/gen-tool-catalog.ts --check` → exit 1 if the committed file
  13. * is stale (CI / pre-push gate)
  14. *
  15. * Why this generator BOOTS PLUGINS instead of parsing source (unlike its AST
  16. * sibling `gen-cordis-catalog.ts`): a tool's schema is not statically knowable.
  17. * `tool-todo` writes `enum: [...STATUSES]` (a runtime spread), descriptions are
  18. * built by string concatenation, `tool-subagent`'s tool name is `config.toolName`,
  19. * and an MCP plugin can register RAW JSON Schema without `defineTool` at all. The
  20. * faithful source of truth is therefore the SHIPPED schema: mount each tool
  21. * plugin on a real cordis Context and read `ctx.tools.schemas()` — exactly the
  22. * `ToolSchema[]` the model is sent. See
  23. * docs/rfc/implemented/process/2026-07-02-tool-schema-catalog.md.
  24. *
  25. * Booting sacrifices the AST pass's structural "nothing can be silently omitted"
  26. * property (there is no source declaration to enumerate), so a COMPLETENESS GUARD
  27. * restores it: the generator globs every `tool-*` package under `packages/` and
  28. * hard-errors if any such package is absent from the boot manifest below. A new
  29. * tool package fails the generator — and thus the freshness gate — until it is
  30. * registered here, mirroring how a new event appears in the cordis regenerate.
  31. *
  32. * Schema blocks use a plain ` ```json ` fence: doc-typecheck only extracts `ts*`
  33. * fences, so no BlockKind wiring is needed there.
  34. */
  35. import { globSync, readFileSync, writeFileSync } from 'node:fs'
  36. import { basename, resolve } from 'node:path'
  37. import { Context } from 'cordis'
  38. import type { ToolSchema } from '@deepseek-ai/dsh-llm'
  39. import SystemPrompt from '@deepseek-ai/dsh-system-prompt'
  40. import ToolRegistry, { type Config as ToolsConfig } from '@deepseek-ai/dsh-tools'
  41. import LocalBashExecutor from '@deepseek-ai/dsh-bash-local'
  42. import LocalFileSystem from '@deepseek-ai/dsh-fs-local'
  43. import UserInteractionService from '@deepseek-ai/dsh-user-interaction'
  44. import WebService from '@deepseek-ai/dsh-web'
  45. import * as WebSearchExa from '@deepseek-ai/dsh-web-search-exa'
  46. import * as WebFetchLocal from '@deepseek-ai/dsh-web-fetch-local'
  47. import SubagentService from '@deepseek-ai/dsh-subagent'
  48. import * as SubagentMock from '@deepseek-ai/dsh-subagent-mock'
  49. import SkillService from '@deepseek-ai/dsh-skill'
  50. import * as SkillLocal from '@deepseek-ai/dsh-skill-local'
  51. import * as ToolAskUser from '@deepseek-ai/dsh-tool-ask-user'
  52. import * as ToolBash from '@deepseek-ai/dsh-tool-bash'
  53. import * as ToolCordis from '@deepseek-ai/dsh-tool-cordis'
  54. import * as ToolFs from '@deepseek-ai/dsh-tool-fs'
  55. import * as ToolSkill from '@deepseek-ai/dsh-tool-skill'
  56. import * as ToolTodo from '@deepseek-ai/dsh-tool-todo'
  57. import * as ToolSubagent from '@deepseek-ai/dsh-tool-subagent'
  58. import * as ToolWeb from '@deepseek-ai/dsh-tool-web'
  59. import VmWorkflowEngine from '@deepseek-ai/dsh-workflow-workerthread'
  60. import * as ToolWorkflow from '@deepseek-ai/dsh-tool-workflow'
  61. const root = resolve(import.meta.dirname, '..')
  62. const OUT = 'docs/tool-catalog.md'
  63. /**
  64. * One tool-plugin package to boot. `mount` is a per-entry recipe (async): it
  65. * plugs the injected seams the plugin's `apply` reads (an executor for
  66. * `ctx.bash`, a provider for `ctx.subagents`) BEFORE the tool plugin itself.
  67. * `SystemPrompt` + `ToolRegistry` are mounted for every entry by the caller
  68. * (`ToolRegistry` injects `systemPrompt`), so `mount` only handles the extras.
  69. *
  70. * The recipe is irreducible policy — WHICH seams a given tool needs and with
  71. * WHAT config is not derivable from the package layout — so it stays a hand-
  72. * maintained closure. The `dir` field is what the completeness guard matches
  73. * against the on-disk `tool-*` package glob, so a NEW tool package cannot be
  74. * silently omitted (see the module doc).
  75. */
  76. interface ToolPackage {
  77. /** The npm package name, used as the catalog section heading. */
  78. pkg: string
  79. /** The `packages/<group>/<dir>` leaf name — matched by the completeness guard. */
  80. dir: string
  81. /** Repo-relative source path linked from the catalog entry. */
  82. source: string
  83. /** Services or owning runtime surfaces the package requires at execution time. */
  84. requires: string[]
  85. /** Session events or other visible state the tools write or affect. */
  86. writes: string[]
  87. /** Additional model-visible names shipped by example/app config. */
  88. shippedNames?: string[]
  89. /** Plug the injected seams + the tool plugin onto a context that already
  90. * carries `systemPrompt` + `tools`. */
  91. mount: (ctx: Context) => Promise<void>
  92. /**
  93. * Config for the caller's `ToolRegistry` mount. The registry itself ships a
  94. * model-facing tool (`run_code`, registered under a non-native `mode`), so
  95. * ITS catalog entry boots the registry in the mode that surfaces it;
  96. * every other entry uses the default (native) registry.
  97. */
  98. toolsConfig?: ToolsConfig
  99. /**
  100. * A deployment note rendered after the package's tools, for a fact that
  101. * booting the package alone cannot show. The registered tool NAME can be a
  102. * load-time config (`tool-subagent`'s `toolName`), so one package may surface
  103. * under several names across deployments — the boot yields the package
  104. * DEFAULT, and this note records the shipped alternatives the model sees.
  105. */
  106. note?: string
  107. }
  108. /**
  109. * The boot manifest: every shipped tool package (a `tool-*` leaf under
  110. * `packages/`). Ordered by package name (the render order); the completeness
  111. * guard proves it is exhaustive against the on-disk glob.
  112. */
  113. const TOOL_PACKAGES: ToolPackage[] = [
  114. {
  115. pkg: '@deepseek-ai/dsh-tool-ask-user',
  116. dir: 'tool-ask-user',
  117. source: 'packages/ui/tool-ask-user/src/index.ts',
  118. requires: ['ctx.tools', 'ctx.userInteraction'],
  119. writes: ['tool/call', 'tool/result after a UI/provider answers the question'],
  120. async mount(ctx) {
  121. await ctx.plugin(UserInteractionService)
  122. await ctx.plugin(ToolAskUser)
  123. },
  124. note:
  125. 'ask_user_question pauses the tool call until the active UI provider returns a human answer.',
  126. },
  127. {
  128. pkg: '@deepseek-ai/dsh-tools',
  129. dir: 'tools',
  130. source: 'packages/core/tools/src/code-mode.ts',
  131. requires: ['ctx.tools', 'ctx.codeRuntime (execution time)', 'ctx.systemPrompt'],
  132. writes: ['tool/call', 'one tool/code-dispatch per bridged sub-call', 'tool/result'],
  133. // The registry's OWN tool: run_code exists only under a non-native mode
  134. // (the registry registers it in its constructor; the code runtime is read
  135. // at assembly/execution time, so the schema harvest needs none mounted).
  136. toolsConfig: { mode: 'code' },
  137. async mount() {},
  138. note:
  139. 'Owned by the tool registry as a reserved transport outside filterable capability layers under `mode: code` / `mode: both` (see the Code Mode RFC). Under `code` it is the registry\'s only canonical wire contribution; the other visible capabilities are declared in a protected TypeScript SDK section, and a program calls them through serialized bindings that re-enter the complete guarded tool pipeline and link each nested execution to this outer result.',
  140. },
  141. {
  142. pkg: '@deepseek-ai/dsh-tool-bash',
  143. dir: 'tool-bash',
  144. source: 'packages/bash/tool-bash/src/index.ts',
  145. requires: ['ctx.tools', 'ctx.bash'],
  146. writes: ['tool/call', 'tool/result', 'context/message via agent.inject() for background completion notices'],
  147. async mount(ctx) {
  148. await ctx.plugin(LocalBashExecutor)
  149. await ctx.plugin(ToolBash)
  150. },
  151. note:
  152. 'The bash/bash_output/bash_kill tools are model-facing consumers of the bash executor seam.',
  153. },
  154. {
  155. pkg: '@deepseek-ai/dsh-tool-cordis',
  156. dir: 'tool-cordis',
  157. source: 'packages/cordis/tool-cordis/src/index.ts',
  158. requires: ['ctx.tools'],
  159. writes: ['tool/call', 'tool/result', 'live plugin-tree mutations (mount/unmount)'],
  160. async mount(ctx) {
  161. await ctx.plugin(ToolCordis)
  162. },
  163. note:
  164. 'Ships in examples/cordis-agent only (a deliberate opt-in — mounted code gets the real ctx, see docs/rfc/implemented/feature/2026-07-08-self-referential-cordis-toolset.md). Plugins the model mounts may register ADDITIONAL model-visible tools at runtime; the request-header ToolsDelta logs those tool-set changes.',
  165. },
  166. {
  167. pkg: '@deepseek-ai/dsh-tool-fs',
  168. dir: 'tool-fs',
  169. source: 'packages/fs/tool-fs/src/index.ts',
  170. requires: ['ctx.tools', 'ctx.fs', 'ctx.systemPrompt'],
  171. writes: ['tool/call', 'fs/write-intent or fs/edit-intent for mutations', 'fs/observed after successful file operations', 'tool/result'],
  172. async mount(ctx) {
  173. // The tool injects `fs`; boot the local backend to satisfy it. The schemas
  174. // do not depend on the policy plugin (an event gate that changes behavior,
  175. // not tool shape), so the bare provider is enough to harvest them.
  176. await ctx.plugin(LocalFileSystem)
  177. await ctx.plugin(ToolFs)
  178. },
  179. note:
  180. 'The read-before-write/edit policy is added by `@deepseek-ai/dsh-fs-policy` (an `fs/*` event-gate plugin, no schema change); a deployment that loads these tools is expected to also load it. The tool schemas above are identical with or without the policy plugin.',
  181. },
  182. {
  183. pkg: '@deepseek-ai/dsh-tool-skill',
  184. dir: 'tool-skill',
  185. source: 'packages/skill/tool-skill/src/index.ts',
  186. requires: ['ctx.tools', 'ctx.skills'],
  187. writes: ['tool/call', 'tool/result'],
  188. async mount(ctx) {
  189. await ctx.plugin(SkillService)
  190. await ctx.plugin(SkillLocal, {
  191. dshHome: resolve(root, '.tmp/tool-catalog/.dsh'),
  192. agentsHome: resolve(root, '.tmp/tool-catalog/.agents'),
  193. })
  194. await ctx.plugin(ToolSkill)
  195. },
  196. },
  197. {
  198. pkg: '@deepseek-ai/dsh-tool-subagent',
  199. dir: 'tool-subagent',
  200. source: 'packages/subagent/tool-subagent/src/index.ts',
  201. requires: ['ctx.tools', 'ctx.subagents'],
  202. writes: ['tool/call', 'tool/result', 'child session events through the chosen provider'],
  203. shippedNames: ['subagent', 'subagent_fork'],
  204. async mount(ctx) {
  205. await ctx.plugin(SubagentService)
  206. // Register a scripted provider under the name the tool delegates to.
  207. await ctx.plugin(SubagentMock, { name: 'mock' })
  208. await ctx.plugin(ToolSubagent, { provider: 'mock' })
  209. },
  210. note:
  211. 'The registered tool name is the load-time `toolName` config (default `subagent`); the schema above is that default. The shipped example agents load this package once per subagent backend, so the model additionally sees `subagent_fork` (bound to the fork backend) with an identical schema — see `examples/coding-agent/cordis.yml` and `examples/acp-agent/cordis.yml`.',
  212. },
  213. {
  214. pkg: '@deepseek-ai/dsh-tool-todo',
  215. dir: 'tool-todo',
  216. source: 'packages/todo/tool-todo/src/index.ts',
  217. requires: ['ctx.tools', 'owning Agent session'],
  218. writes: ['tool/call', 'todo/write', 'tool/result'],
  219. async mount(ctx) {
  220. await ctx.plugin(ToolTodo)
  221. },
  222. note:
  223. 'todo_write is session-owned state; UIs render the latest todo/write event as a checklist or ACP plan.',
  224. },
  225. {
  226. pkg: '@deepseek-ai/dsh-tool-workflow',
  227. dir: 'tool-workflow',
  228. source: 'packages/workflow/tool-workflow/src/index.ts',
  229. requires: ['ctx.tools', 'ctx.workflows', 'ctx.systemPrompt', 'a calling Agent (exec.agent parents the script children)'],
  230. writes: ['tool/call', 'tool/result'],
  231. async mount(ctx) {
  232. // The tool injects `workflows`; boot the vm engine over a scripted
  233. // subagent provider to satisfy it. The schema does not depend on which
  234. // provider backs the engine.
  235. await ctx.plugin(SubagentService)
  236. await ctx.plugin(SubagentMock, { name: 'mock' })
  237. await ctx.plugin(VmWorkflowEngine, { provider: 'mock' })
  238. await ctx.plugin(ToolWorkflow)
  239. },
  240. },
  241. {
  242. pkg: '@deepseek-ai/dsh-tool-web',
  243. dir: 'tool-web',
  244. source: 'packages/web/tool-web/src/index.ts',
  245. requires: ['ctx.tools', 'ctx.web', 'ctx.systemPrompt'],
  246. writes: ['tool/call', 'tool/result'],
  247. async mount(ctx) {
  248. // The tools inject `web`; boot the seam plus one search and one fetch
  249. // provider so both `web_search` and `web_fetch` register. The schemas do
  250. // not depend on which provider backs the seam (or on it being available),
  251. // so any registered provider is enough to harvest them.
  252. await ctx.plugin(WebService)
  253. await ctx.plugin(WebSearchExa)
  254. await ctx.plugin(WebFetchLocal)
  255. await ctx.plugin(ToolWeb)
  256. },
  257. note:
  258. 'web_search and web_fetch keep provider selection behind ctx.web so model-visible schemas stay stable across backend swaps.',
  259. },
  260. ]
  261. /** One package's contribution to the catalog: its schemas plus attribution. */
  262. interface CatalogPackage {
  263. pkg: string
  264. source: string
  265. requires: string[]
  266. writes: string[]
  267. shippedNames?: string[]
  268. schemas: ToolSchema[]
  269. /** A deployment note (see {@link ToolPackage.note}), rendered after the tools. */
  270. note?: string
  271. }
  272. /** The whole catalog: one entry per booted tool package, in manifest order. */
  273. export type ToolCatalog = CatalogPackage[]
  274. /**
  275. * Assert the boot manifest covers every shipped tool package on disk (a
  276. * `tool-*` leaf under `packages/`).
  277. * Booting has no source declaration to enumerate, so this glob restores the
  278. * "a new tool cannot be silently undocumented" guarantee: an unlisted package
  279. * fails the generator (and the freshness gate) until it is added to
  280. * {@link TOOL_PACKAGES}. Exported for a direct negative test.
  281. *
  282. * `scanRoot` defaults to the repo root; a test may point it at a fixture tree.
  283. */
  284. export function assertManifestComplete(packages: ToolPackage[] = TOOL_PACKAGES, scanRoot: string = root): void {
  285. const onDisk = globSync('packages/*/tool-*', { cwd: scanRoot }).map(p => basename(p)).sort()
  286. const listed = new Set(packages.map(p => p.dir))
  287. const missing = onDisk.filter(dir => !listed.has(dir))
  288. if (missing.length > 0) {
  289. throw new Error(
  290. `gen-tool-catalog: ${missing.length} tool package(s) not in the boot manifest: ${missing.join(', ')}. `
  291. + 'Add each to TOOL_PACKAGES in scripts/gen-tool-catalog.ts so its schema is catalogued.',
  292. )
  293. }
  294. }
  295. /**
  296. * Boot each tool package on a fresh Context and harvest its model-facing
  297. * schemas. A fresh Context per package keeps attribution clean (each entry's
  298. * schemas come from exactly that package) and isolates a boot failure to its
  299. * own entry. Disposed after harvest so no executor/provider outlives the run.
  300. */
  301. export async function collectToolCatalog(packages: ToolPackage[] = TOOL_PACKAGES): Promise<ToolCatalog> {
  302. assertManifestComplete(packages)
  303. const catalog: ToolCatalog = []
  304. for (const entry of packages) {
  305. const ctx = new Context()
  306. // Dispose in `finally` so a throw from `mount`/`schemas()` after earlier
  307. // plugins mounted still tears the context down (no leaked executor/provider
  308. // fiber) — the repo's "dispose must reach quiescence" rule.
  309. try {
  310. await ctx.plugin(SystemPrompt)
  311. await ctx.plugin(ToolRegistry, entry.toolsConfig ?? {})
  312. await entry.mount(ctx)
  313. const schemas = ctx.tools.schemas().sort((a, b) => a.name.localeCompare(b.name))
  314. catalog.push({
  315. pkg: entry.pkg,
  316. source: entry.source,
  317. requires: entry.requires,
  318. writes: entry.writes,
  319. schemas,
  320. ...entry.shippedNames !== undefined ? { shippedNames: entry.shippedNames } : {},
  321. ...entry.note !== undefined ? { note: entry.note } : {},
  322. })
  323. } finally {
  324. await ctx.fiber.dispose()
  325. }
  326. }
  327. return catalog
  328. }
  329. /** Render one tool's entry: name, description, JSON-Schema parameters, source. */
  330. function renderTool(schema: ToolSchema, source: string): string[] {
  331. const out = [`### \`${schema.name}\``, '']
  332. if (schema.description) out.push(schema.description, '')
  333. out.push('```json', JSON.stringify(schema.parameters, null, 2), '```', '')
  334. out.push(`Source: [\`${source}\`](../${source})`, '')
  335. return out
  336. }
  337. function codeList(values: string[] | undefined): string {
  338. return values?.length ? values.map(value => `\`${value}\``).join(', ') : '-'
  339. }
  340. function tableCell(value: string | undefined): string {
  341. return value ? value.replace(/\|/g, '\\|').replace(/\n/g, '<br>') : '-'
  342. }
  343. /** Render the full catalog (pure, deterministic given the manifest-ordered input). */
  344. export function render(catalog: ToolCatalog): string {
  345. const lines: string[] = [
  346. '<!-- Generated by scripts/gen-tool-catalog.ts — do not edit by hand.',
  347. ' Run `pnpm run gen-tool-catalog` to regenerate. -->',
  348. '',
  349. '# Tool Schema Catalog',
  350. '',
  351. 'Every model-facing tool a shipped plugin contributes to `ctx.tools`: the `name`, `description`, and JSON-Schema `parameters` the model receives via the system-prompt assembly. It complements the cordis [events](cordis-catalog/events.md) & [services](cordis-catalog/services.md) catalogs (the wiring a plugin listens to and calls) and [core-data-structures/](core-data-structures/core.md) (the types those signatures move) — this page is the *tools* the agent is offered.',
  352. '',
  353. 'This file is GENERATED and verified fresh by `pnpm run verify-tool-catalog` (part of `doc-sync`) — do not edit it by hand. Unlike the cordis catalog (a pure source-AST pass), this generator BOOTS each tool plugin on a real context and reads `ctx.tools.schemas()`, because a tool schema is not statically knowable (runtime-spread enums, concatenated descriptions, config-driven names, raw-JSON-Schema MCP tools). A completeness guard globs `packages/*/tool-*` and fails if any package is missing from the generator\'s boot manifest, so a new tool cannot be silently undocumented. See [the tool-schema-catalog RFC](rfc/implemented/process/2026-07-02-tool-schema-catalog.md).',
  354. '',
  355. 'Scope: shipped product tools under `packages/*/tool-*`, each booted with its DEFAULT config. The registered tool NAME can be a load-time config (e.g. `tool-subagent`\'s `toolName`), so a deployment may surface a package under a different or additional name — a per-package note records those shipped aliases where they exist. The `examples/` demo tools (e.g. `echo`) are excluded, matching the cordis catalog\'s packages-only scope.',
  356. '',
  357. '## Tool Package Map',
  358. '',
  359. 'This table connects model-visible tool names to the plugin package and service seams behind them. Exact JSON Schemas follow in the package sections below.',
  360. '',
  361. '| Tool package | Model-visible names | Requires | Writes / affects | Shipped aliases | Deployment note |',
  362. '| --- | --- | --- | --- | --- | --- |',
  363. ...catalog.map(entry => `| \`${entry.pkg}\` | ${codeList(entry.schemas.map(schema => schema.name))} | ${codeList(entry.requires)} | ${codeList(entry.writes)} | ${codeList(entry.shippedNames)} | ${tableCell(entry.note)} |`),
  364. '',
  365. ]
  366. for (const entry of catalog) {
  367. lines.push(`## \`${entry.pkg}\``, '')
  368. for (const schema of entry.schemas) lines.push(...renderTool(schema, entry.source))
  369. if (entry.note) lines.push(entry.note, '')
  370. }
  371. return lines.join('\n')
  372. }
  373. /** CLI entry: default writes the catalog, `--check` fails if the committed copy
  374. * is stale. Guarded behind an entry-point check so importing this module for
  375. * tests neither regenerates the committed file nor calls process.exit. */
  376. async function main(): Promise<void> {
  377. const content = render(await collectToolCatalog())
  378. if (process.argv.includes('--check')) {
  379. let committed: string | null = null
  380. try {
  381. committed = readFileSync(resolve(root, OUT), 'utf8')
  382. } catch {
  383. // Only ENOENT (not yet generated) is expected; a present-but-unreadable
  384. // file is not a state this repo produces. Either way the remedy is the
  385. // same — regenerate — so treat a read failure as "stale".
  386. committed = null
  387. }
  388. if (committed === content) {
  389. console.log(`gen-tool-catalog: ${OUT} is up to date.`)
  390. process.exit(0)
  391. }
  392. console.error(`gen-tool-catalog: ${OUT} is stale. Run \`pnpm run gen-tool-catalog\` and commit ${OUT}.`)
  393. process.exit(1)
  394. }
  395. writeFileSync(resolve(root, OUT), content)
  396. console.log(`gen-tool-catalog: wrote ${OUT}.`)
  397. }
  398. // Run only when invoked as a script, not when imported by a test.
  399. if (process.argv[1] && import.meta.filename === resolve(process.argv[1])) {
  400. await main()
  401. }