TDX MCP Server

Instructions

Implementation Reference

• src/tools/tickets.ts:60-76 (handler)

  The implementation of the 'tdx-ticket-get' MCP tool, which retrieves a TDX ticket by ID. It is registered via 'server.tool' and uses the 'client.get' method to fetch data.

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