tdx-ticket-get
Retrieve a specific TDX ticket by its ID to access detailed information for IT service management tasks.
Instructions
Get a TDX ticket by ID
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| appId | No | TDX app ID (defaults to env TDX_APP_ID) | |
| id | Yes | Ticket ID |
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 }; } } );