/**
 * platform_workspaces Tool
 *
 * List, switch, and inspect workspaces (tenants) via the Studio REST API.
 *
 * Actions:
 *   list    — List all workspaces the authenticated user belongs to
 *   switch  — Switch to a different workspace (returns new scoped token)
 *   current — Show the currently active workspace (decoded from JWT)
 *
 * NOTE: Workspace endpoints live on the Studio API (port 5173), not the
 * runtime (port 3112). The HttpClient base URL typically points at the
 * runtime, so this tool rewrites the base URL to the Studio origin.
 */
import { z } from "zod";
import type { DebugContext } from "./index.js";
export declare const platformWorkspacesSchema: z.ZodObject<{
    action: z.ZodEnum<["list", "switch", "current"]>;
    tenantId: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
    action: "list" | "switch" | "current";
    tenantId?: string | undefined;
}, {
    action: "list" | "switch" | "current";
    tenantId?: string | undefined;
}>;
type PlatformWorkspacesArgs = z.infer<typeof platformWorkspacesSchema>;
export declare function platformWorkspaces(args: PlatformWorkspacesArgs, ctx: DebugContext): Promise<string>;
export {};
//# sourceMappingURL=platform-workspaces.d.ts.map