TDX MCP Server

Instructions

Implementation Reference

• src/tools/tickets.ts:97-114 (handler)

  The `tdx-ticket-patch` tool is registered and implemented within `src/tools/tickets.ts`. It takes a ticket ID and a data record, performing a PATCH request using the `TdxClient`.

  server.tool(
    "tdx-ticket-patch",
    "Partial update of a TDX ticket (only specified fields)",
    {
      appId: z.number().optional().describe("TDX app ID (defaults to env TDX_APP_ID)"),
      id: z.number().describe("Ticket ID"),
      data: z.record(z.unknown()).describe("Partial ticket data (PascalCase TDX field names)"),
    },
    async (params) => {
      const app = params.appId ?? defaultAppId;
      try {
        const result = await client.patch(`/${app}/tickets/${params.id}`, params.data);
        return { content: [{ type: "text", text: JSON.stringify(result, null, 2) }] };
      } catch (e: unknown) {
        return { content: [{ type: "text", text: String(e) }], isError: true };
      }
    }
  );