JavaScript 分析效果元数据验证¶

import assert from "node:assert/strict";
import { Client } from "@modelcontextprotocol/client";
import { StdioClientTransport } from "@modelcontextprotocol/client/stdio";
import { toolAvailabilityInventory } from "./dist/contracts/toolOutputSchemaPrimitives.js";
import { withVerifierCleanup } from "./scripts/lib/verifier-cleanup.mjs";

const client = new Client({
  name: "javascript-effect-verification",
  version: "1",
});
const transport = new StdioClientTransport({
  command: process.execPath,
  args: ["scripts/rea.mjs", "mcp"],
  stderr: "pipe",
});
await withVerifierCleanup(async () => {
  await client.connect(transport);
  transport.stderr?.resume();
  const { tools } = await client.listTools();
  const tool = tools.find(
    ({ name }) => name === "analyze_javascript_application",
  );
  assert.ok(tool);
  const response = await client.callTool({
    name: "binary_session",
    arguments: {},
  });
  assert.notEqual(response.isError, true);
  const inventory = toolAvailabilityInventory.parse(
    response.structuredContent?.result?.tool_availability,
  );
  const group = inventory.groups.find(({ names }) => names.includes(tool.name));
  assert.ok(group);
  console.log(
    JSON.stringify({
      tool: tool.name,
      advertised_annotations: tool.annotations,
      session_effects: group.effects,
      session_annotations: group.annotations,
      catalog_tool_count: tools.length,
    }),
  );
}, [() => client.close(), () => transport.close()]);