Label Changes

Instructions

Implementation Reference

• src/tools/labels.ts:72-72 (registration)

  Registration of the 'label_changes' tool via server.registerTool().

  "label_changes",

• src/tools/labels.ts:92-119 (handler)

  Handler function for 'label_changes'. Takes 'since' (ISO 8601 timestamp) and optional 'limit' (1-100, default 50), calls /api/v1/labels/changes, and returns formatted results.

    async ({ since, limit }) => {
      const res = await apiGet<LabelQueryResponse>("/api/v1/labels/changes", {
        since,
        limit: limit ?? 50,
      });
  
      if (!res.ok) {
        return {
          content: [
            {
              type: "text" as const,
              text: `API error (${res.status}): ${JSON.stringify(res.data)}`,
            },
          ],
          isError: true,
        };
      }
  
      const { count, data } = res.data;
      const warn = stalenessWarning(res);
      const summary = `${warn}Found ${count} label change(s) since ${since}.`;
      const json = JSON.stringify(data, null, 2);
  
      return {
        content: [{ type: "text" as const, text: `${summary}\n\n${json}` }],
      };
    },
  );

• src/tools/labels.ts:79-91 (schema)

  Input schema for 'label_changes': 'since' (required string, ISO 8601 timestamp) and 'limit' (optional number, 1-100, default 50).

    inputSchema: {
      since: z
        .string()
        .describe("ISO 8601 timestamp to get changes since (e.g. 2026-03-01T00:00:00Z)"),
      limit: z
        .number()
        .int()
        .min(1)
        .max(100)
        .optional()
        .describe("Maximum results (default 50)"),
    },
  },

• src/client.ts:44-76 (helper)

  apiGet helper used by the handler to make HTTP GET requests to the Verilex API.

  export async function apiGet<T = unknown>(
    path: string,
    params?: Record<string, string | number | undefined>,
  ): Promise<ApiResponse<T>> {
    const url = buildUrl(path, params);
  
    const headers: Record<string, string> = {
      Accept: "application/json",
      "User-Agent": "verilex-mcp-server/0.1.0",
    };
  
    // Forward x402 payment token if present in env (for paid endpoints)
    const paymentToken = process.env.VERILEX_PAYMENT_TOKEN;
    if (paymentToken) {
      headers["X-Payment-Token"] = paymentToken;
    }
  
    const res = await fetch(url, { headers });
    const data = (await res.json()) as T;
  
    const stale = res.headers.get("X-Data-Stale");
    const lastUpdated = res.headers.get("X-Data-Last-Updated");
    const ageSeconds = res.headers.get("X-Data-Age-Seconds");
  
    return {
      ok: res.ok,
      status: res.status,
      data,
      stale: stale === "true",
      lastUpdated: lastUpdated ?? undefined,
      ageSeconds: ageSeconds ? Number(ageSeconds) : undefined,
    };
  }

• src/client.ts:35-41 (helper)

  stalenessWarning helper used by the handler to check for stale data headers.

  export function stalenessWarning(res: ApiResponse): string {
    if (!res.stale) return "";
    const parts = ["[STALE DATA]"];
    if (res.lastUpdated) parts.push(`Last updated: ${res.lastUpdated}`);
    if (res.ageSeconds != null) parts.push(`Age: ${res.ageSeconds}s`);
    return parts.join(" ") + "\n\n";
  }