@defai.digital/ax-cli 4.4.7 → 4.4.11

package/dist/mcp/transports.d.ts

@@ -1,80 +0,0 @@
-import { Transport } from "@modelcontextprotocol/sdk/shared/transport.js";
-import { EventEmitter } from "events";
-export type TransportType = 'stdio' | 'http' | 'sse' | 'streamable_http';
-/**
- * Framing protocol for stdio transport.
- * - 'ndjson': Newline-delimited JSON (MCP SDK default)
- * - 'content-length': Content-Length header framing (LSP-style, used by AutomatosX)
- */
-export type StdioFraming = 'ndjson' | 'content-length';
-export interface TransportConfig {
-    type: TransportType;
-    command?: string;
-    args?: string[];
-    env?: Record<string, string>;
-    url?: string;
-    headers?: Record<string, string>;
-    /** Framing protocol for stdio (default: 'content-length' for better compatibility) */
-    framing?: StdioFraming;
-    /** Suppress stderr output from the MCP server (hides INFO/DEBUG logs) */
-    quiet?: boolean;
-}
-export interface MCPTransport {
-    connect(): Promise<Transport>;
-    disconnect(): Promise<void>;
-    getType(): TransportType;
-}
-export declare class StdioTransport implements MCPTransport {
-    private transport?;
-    private command;
-    private args;
-    private env?;
-    private framing;
-    private quiet;
-    constructor(config: TransportConfig);
-    connect(): Promise<Transport>;
-    disconnect(): Promise<void>;
-    getType(): TransportType;
-}
-export declare class HttpTransport extends EventEmitter implements MCPTransport {
-    private transport?;
-    private url;
-    private headers?;
-    constructor(config: TransportConfig);
-    connect(): Promise<Transport>;
-    disconnect(): Promise<void>;
-    getType(): TransportType;
-    /**
-     * Clean up resources and remove all event listeners.
-     */
-    destroy(): void;
-}
-export declare class SSETransport extends EventEmitter implements MCPTransport {
-    private transport?;
-    private url;
-    private headers?;
-    constructor(config: TransportConfig);
-    connect(): Promise<Transport>;
-    disconnect(): Promise<void>;
-    getType(): TransportType;
-    /**
-     * Clean up resources and remove all event listeners.
-     * Required for EventEmitter-extending classes to prevent memory leaks.
-     */
-    destroy(): void;
-}
-export declare class StreamableHttpTransport extends EventEmitter implements MCPTransport {
-    private transport?;
-    private url;
-    private headers?;
-    constructor(config: TransportConfig);
-    connect(): Promise<Transport>;
-    disconnect(): Promise<void>;
-    getType(): TransportType;
-    /**
-     * Clean up resources and remove all event listeners.
-     * Required for EventEmitter-extending classes to prevent memory leaks.
-     */
-    destroy(): void;
-}
-export declare function createTransport(config: TransportConfig): MCPTransport;

package/dist/mcp/transports.js

@@ -1,237 +0,0 @@
-import { StdioClientTransport } from "@modelcontextprotocol/sdk/client/stdio.js";
-import { StreamableHTTPClientTransport as SDKStreamableHTTPClientTransport } from "@modelcontextprotocol/sdk/client/streamableHttp.js";
-import { SSEClientTransport as SDKSSEClientTransport } from "@modelcontextprotocol/sdk/client/sse.js";
-import { EventEmitter } from "events";
-import { ContentLengthStdioTransport } from "./content-length-transport.js";
-export class StdioTransport {
-    transport;
-    command;
-    args;
-    env;
-    framing;
-    quiet;
-    constructor(config) {
-        if (!config.command) {
-            throw new Error('Command is required for stdio transport');
-        }
-        this.command = config.command;
-        this.args = config.args || [];
-        this.env = config.env;
-        // Default to content-length for better compatibility with servers like AutomatosX
-        this.framing = config.framing || 'content-length';
-        // Suppress stderr output if quiet mode is enabled
-        this.quiet = config.quiet ?? false;
-    }
-    async connect() {
-        // Create transport with environment variables to suppress verbose output
-        const env = {
-            ...process.env,
-            ...this.env,
-            // Try to suppress verbose output from mcp-remote
-            MCP_REMOTE_QUIET: '1',
-            MCP_REMOTE_SILENT: '1',
-            DEBUG: '',
-            NODE_ENV: 'production'
-        };
-        if (this.framing === 'content-length') {
-            // Use Content-Length framing (LSP-style) for better compatibility
-            this.transport = new ContentLengthStdioTransport({
-                command: this.command,
-                args: this.args,
-                env,
-                quiet: this.quiet
-            });
-            // ContentLengthStdioTransport implements Transport directly
-            return this.transport;
-        }
-        else {
-            // Use NDJSON framing (MCP SDK default)
-            // Note: StdioClientTransport from MCP SDK doesn't support quiet mode directly
-            // stderr is controlled by the SDK internals
-            this.transport = new StdioClientTransport({
-                command: this.command,
-                args: this.args,
-                env,
-                // MCP SDK's StdioClientTransport handles stderr internally
-                // Setting stderr: 'pipe' would suppress output
-                ...(this.quiet ? { stderr: 'pipe' } : {})
-            });
-            return this.transport;
-        }
-    }
-    async disconnect() {
-        // Handle transport cleanup with error handling to ensure process cleanup runs
-        if (this.transport) {
-            try {
-                await this.transport.close();
-            }
-            catch (error) {
-                console.warn('Error closing stdio transport:', error);
-            }
-            finally {
-                this.transport = undefined;
-            }
-        }
-    }
-    getType() {
-        return 'stdio';
-    }
-}
-export class HttpTransport extends EventEmitter {
-    transport;
-    url;
-    headers;
-    constructor(config) {
-        super();
-        if (!config.url) {
-            throw new Error('URL is required for HTTP transport');
-        }
-        this.url = config.url;
-        this.headers = config.headers;
-    }
-    async connect() {
-        // Use MCP SDK's StreamableHTTPClientTransport for proper MCP protocol support
-        // MCP Streamable HTTP requires Accept header with both application/json and text/event-stream
-        // See: https://spec.modelcontextprotocol.io/specification/basic/transports/#streamable-http
-        const mergedHeaders = {
-            'Accept': 'application/json, text/event-stream',
-            'Content-Type': 'application/json',
-            ...this.headers, // Allow custom headers (like Authorization) to be added
-        };
-        const requestInit = {
-            headers: mergedHeaders,
-        };
-        this.transport = new SDKStreamableHTTPClientTransport(new URL(this.url), { requestInit });
-        return this.transport;
-    }
-    async disconnect() {
-        if (this.transport) {
-            try {
-                await this.transport.close();
-            }
-            catch {
-                // Ignore close errors during disconnect
-            }
-            this.transport = undefined;
-        }
-        this.removeAllListeners();
-    }
-    getType() {
-        return 'http';
-    }
-    /**
-     * Clean up resources and remove all event listeners.
-     */
-    destroy() {
-        this.removeAllListeners();
-    }
-}
-export class SSETransport extends EventEmitter {
-    transport;
-    url;
-    headers;
-    constructor(config) {
-        super();
-        if (!config.url) {
-            throw new Error('URL is required for SSE transport');
-        }
-        this.url = config.url;
-        this.headers = config.headers;
-    }
-    async connect() {
-        // Use MCP SDK's SSEClientTransport
-        const requestInit = {};
-        if (this.headers) {
-            requestInit.headers = this.headers;
-        }
-        this.transport = new SDKSSEClientTransport(new URL(this.url), { requestInit });
-        return this.transport;
-    }
-    async disconnect() {
-        if (this.transport) {
-            try {
-                await this.transport.close();
-            }
-            catch {
-                // Ignore close errors during disconnect
-            }
-            this.transport = undefined;
-        }
-        this.removeAllListeners();
-    }
-    getType() {
-        return 'sse';
-    }
-    /**
-     * Clean up resources and remove all event listeners.
-     * Required for EventEmitter-extending classes to prevent memory leaks.
-     */
-    destroy() {
-        this.removeAllListeners();
-    }
-}
-export class StreamableHttpTransport extends EventEmitter {
-    transport;
-    url;
-    headers;
-    constructor(config) {
-        super();
-        if (!config.url) {
-            throw new Error('URL is required for streamable_http transport');
-        }
-        this.url = config.url;
-        this.headers = config.headers;
-    }
-    async connect() {
-        // Use MCP SDK's StreamableHTTPClientTransport
-        // MCP Streamable HTTP requires Accept header with both application/json and text/event-stream
-        // See: https://spec.modelcontextprotocol.io/specification/basic/transports/#streamable-http
-        const mergedHeaders = {
-            'Accept': 'application/json, text/event-stream',
-            'Content-Type': 'application/json',
-            ...this.headers, // Allow custom headers (like Authorization) to be added
-        };
-        const requestInit = {
-            headers: mergedHeaders,
-        };
-        this.transport = new SDKStreamableHTTPClientTransport(new URL(this.url), { requestInit });
-        return this.transport;
-    }
-    async disconnect() {
-        if (this.transport) {
-            try {
-                await this.transport.close();
-            }
-            catch {
-                // Ignore close errors during disconnect
-            }
-            this.transport = undefined;
-        }
-        this.removeAllListeners();
-    }
-    getType() {
-        return 'streamable_http';
-    }
-    /**
-     * Clean up resources and remove all event listeners.
-     * Required for EventEmitter-extending classes to prevent memory leaks.
-     */
-    destroy() {
-        this.removeAllListeners();
-    }
-}
-export function createTransport(config) {
-    switch (config.type) {
-        case 'stdio':
-            return new StdioTransport(config);
-        case 'http':
-            return new HttpTransport(config);
-        case 'sse':
-            return new SSETransport(config);
-        case 'streamable_http':
-            return new StreamableHttpTransport(config);
-        default:
-            throw new Error(`Unsupported transport type: ${config.type}`);
-    }
-}
-//# sourceMappingURL=transports.js.map

package/dist/mcp/transports.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"transports.js","sourceRoot":"","sources":["../../src/mcp/transports.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,6BAA6B,IAAI,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AACvI,OAAO,EAAE,kBAAkB,IAAI,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AACtG,OAAO,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AA8B5E,MAAM,OAAO,cAAc;IACjB,SAAS,CAAsD;IAC/D,OAAO,CAAS;IAChB,IAAI,CAAW;IACf,GAAG,CAA0B;IAC7B,OAAO,CAAe;IACtB,KAAK,CAAU;IAEvB,YAAY,MAAuB;QACjC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;QACtB,kFAAkF;QAClF,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,gBAAgB,CAAC;QAClD,kDAAkD;QAClD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC;IACrC,CAAC;IAED,KAAK,CAAC,OAAO;QACX,yEAAyE;QACzE,MAAM,GAAG,GAAG;YACV,GAAG,OAAO,CAAC,GAAG;YACd,GAAG,IAAI,CAAC,GAAG;YACX,iDAAiD;YACjD,gBAAgB,EAAE,GAAG;YACrB,iBAAiB,EAAE,GAAG;YACtB,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,YAAY;SACvB,CAAC;QAEF,IAAI,IAAI,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;YACtC,kEAAkE;YAClE,IAAI,CAAC,SAAS,GAAG,IAAI,2BAA2B,CAAC;gBAC/C,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG;gBACH,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC,CAAC;YACH,4DAA4D;YAC5D,OAAO,IAAI,CAAC,SAAsB,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,uCAAuC;YACvC,8EAA8E;YAC9E,4CAA4C;YAC5C,IAAI,CAAC,SAAS,GAAG,IAAI,oBAAoB,CAAC;gBACxC,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG;gBACH,2DAA2D;gBAC3D,+CAA+C;gBAC/C,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnD,CAAC,CAAC;YACH,OAAO,IAAI,CAAC,SAAS,CAAC;QACxB,CAAC;IACH,CAAC;IAED,KAAK,CAAC,UAAU;QACd,8EAA8E;QAC9E,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;YAC/B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,IAAI,CAAC,gCAAgC,EAAE,KAAK,CAAC,CAAC;YACxD,CAAC;oBAAS,CAAC;gBACT,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED,MAAM,OAAO,aAAc,SAAQ,YAAY;IACrC,SAAS,CAAoC;IAC7C,GAAG,CAAS;IACZ,OAAO,CAA0B;IAEzC,YAAY,MAAuB;QACjC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAChC,CAAC;IAED,KAAK,CAAC,OAAO;QACX,8EAA8E;QAC9E,8FAA8F;QAC9F,4FAA4F;QAC5F,MAAM,aAAa,GAA2B;YAC5C,QAAQ,EAAE,qCAAqC;YAC/C,cAAc,EAAE,kBAAkB;YAClC,GAAG,IAAI,CAAC,OAAO,EAAE,wDAAwD;SAC1E,CAAC;QAEF,MAAM,WAAW,GAAgB;YAC/B,OAAO,EAAE,aAAa;SACvB,CAAC;QAEF,IAAI,CAAC,SAAS,GAAG,IAAI,gCAAgC,CACnD,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EACjB,EAAE,WAAW,EAAE,CAChB,CAAC;QAEF,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,UAAU;QACd,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;YAC/B,CAAC;YAAC,MAAM,CAAC;gBACP,wCAAwC;YAC1C,CAAC;YACD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAC5B,CAAC;IAED,OAAO;QACL,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,OAAO;QACL,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAC5B,CAAC;CACF;AAED,MAAM,OAAO,YAAa,SAAQ,YAAY;IACpC,SAAS,CAAyB;IAClC,GAAG,CAAS;IACZ,OAAO,CAA0B;IAEzC,YAAY,MAAuB;QACjC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAChC,CAAC;IAED,KAAK,CAAC,OAAO;QACX,mCAAmC;QACnC,MAAM,WAAW,GAAgB,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,WAAW,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QACrC,CAAC;QAED,IAAI,CAAC,SAAS,GAAG,IAAI,qBAAqB,CACxC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EACjB,EAAE,WAAW,EAAE,CAChB,CAAC;QAEF,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,UAAU;QACd,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;YAC/B,CAAC;YAAC,MAAM,CAAC;gBACP,wCAAwC;YAC1C,CAAC;YACD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAC5B,CAAC;IAED,OAAO;QACL,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;OAGG;IACH,OAAO;QACL,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAC5B,CAAC;CACF;AAED,MAAM,OAAO,uBAAwB,SAAQ,YAAY;IAC/C,SAAS,CAAoC;IAC7C,GAAG,CAAS;IACZ,OAAO,CAA0B;IAEzC,YAAY,MAAuB;QACjC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAChC,CAAC;IAED,KAAK,CAAC,OAAO;QACX,8CAA8C;QAC9C,8FAA8F;QAC9F,4FAA4F;QAC5F,MAAM,aAAa,GAA2B;YAC5C,QAAQ,EAAE,qCAAqC;YAC/C,cAAc,EAAE,kBAAkB;YAClC,GAAG,IAAI,CAAC,OAAO,EAAE,wDAAwD;SAC1E,CAAC;QAEF,MAAM,WAAW,GAAgB;YAC/B,OAAO,EAAE,aAAa;SACvB,CAAC;QAEF,IAAI,CAAC,SAAS,GAAG,IAAI,gCAAgC,CACnD,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EACjB,EAAE,WAAW,EAAE,CAChB,CAAC;QAEF,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,UAAU;QACd,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;YAC/B,CAAC;YAAC,MAAM,CAAC;gBACP,wCAAwC;YAC1C,CAAC;YACD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAC5B,CAAC;IAED,OAAO;QACL,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED;;;OAGG;IACH,OAAO;QACL,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAC5B,CAAC;CACF;AAED,MAAM,UAAU,eAAe,CAAC,MAAuB;IACrD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO;YACV,OAAO,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;QACnC,KAAK,KAAK;YACR,OAAO,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QAClC,KAAK,iBAAiB;YACpB,OAAO,IAAI,uBAAuB,CAAC,MAAM,CAAC,CAAC;QAC7C;YACE,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;AACH,CAAC"}

package/dist/mcp/type-safety.d.ts

@@ -1,225 +0,0 @@
-import type { Client } from '@modelcontextprotocol/sdk/client/index.js';
-/**
- * TECHNIQUE 1: Branded Types
- * Prevents mixing semantically different strings/numbers
- */
-declare const __brand: unique symbol;
-type Brand<T, TBrand> = T & {
-    [__brand]: TBrand;
-};
-export type ServerName = Brand<string, 'ServerName'>;
-export type ConfigFilePath = Brand<string, 'ConfigFilePath'>;
-export type ToolName = Brand<string, 'ToolName'>;
-export type LockToken = Brand<symbol, 'LockToken'>;
-/**
- * Smart constructor for ServerName
- * Validates server name format at runtime
- */
-export declare function createServerName(name: string): ServerName | null;
-/**
- * Smart constructor for ConfigFilePath
- */
-export declare function createConfigFilePath(path: string): ConfigFilePath | null;
-/**
- * Smart constructor for ToolName
- * Validates tool name format at runtime
- */
-export declare function createToolName(name: string): ToolName | null;
-/**
- * TECHNIQUE 2: State Machine Types
- * Enforce valid state transitions at compile time
- */
-export type ConnectionState = {
-    status: 'idle';
-    serverName: ServerName;
-} | {
-    status: 'connecting';
-    serverName: ServerName;
-    startedAt: number;
-} | {
-    status: 'connected';
-    serverName: ServerName;
-    connectedAt: number;
-    client: Client;
-} | {
-    status: 'disconnecting';
-    serverName: ServerName;
-    client: Client;
-} | {
-    status: 'failed';
-    serverName: ServerName;
-    error: Error;
-    failedAt: number;
-};
-/**
- * Valid state transitions - compile-time enforced
- */
-export type ValidTransition<T extends ConnectionState> = T extends {
-    status: 'idle';
-} ? {
-    status: 'connecting';
-    serverName: T['serverName'];
-    startedAt: number;
-} : T extends {
-    status: 'connecting';
-} ? {
-    status: 'connected';
-    serverName: T['serverName'];
-    connectedAt: number;
-    client: Client;
-} | {
-    status: 'failed';
-    serverName: T['serverName'];
-    error: Error;
-    failedAt: number;
-} : T extends {
-    status: 'connected';
-} ? {
-    status: 'disconnecting';
-    serverName: T['serverName'];
-    client: T['client'];
-} : T extends {
-    status: 'disconnecting';
-} ? {
-    status: 'idle';
-    serverName: T['serverName'];
-} : T extends {
-    status: 'failed';
-} ? {
-    status: 'idle';
-    serverName: T['serverName'];
-} : never;
-/**
- * Type-safe state transition
- * PREVENTS: Invalid state transitions at compile time
- */
-export declare function transition<T extends ConnectionState>(_from: T, to: ValidTransition<T>): ValidTransition<T>;
-/**
- * TECHNIQUE 3: Exhaustiveness Checking
- * Ensures all cases are handled (prevents forgotten branches)
- */
-export declare function assertNever(value: never): never;
-/**
- * Example: Handle all connection states
- */
-export declare function handleConnectionState(state: ConnectionState): string;
-/**
- * TECHNIQUE 4: Phantom Types
- * Encode runtime invariants in the type system
- */
-export type NonEmptyArray<T> = [T, ...T[]];
-/**
- * Smart constructor that proves array is non-empty
- */
-export declare function asNonEmpty<T>(arr: T[]): NonEmptyArray<T> | null;
-/**
- * Functions that require non-empty arrays can enforce it at compile time
- */
-export declare function getFirstServer(servers: NonEmptyArray<ServerName>): ServerName;
-/**
- * TECHNIQUE 5: Result Types (Railway-Oriented Programming)
- * Make errors explicit and force handling
- */
-export type Result<T, E = Error> = {
-    success: true;
-    value: T;
-} | {
-    success: false;
-    error: E;
-};
-/**
- * Helper to create success result
- */
-export declare function Ok<T>(value: T): Result<T, never>;
-/**
- * Helper to create error result
- */
-export declare function Err<E>(error: E): Result<never, E>;
-/**
- * Map over result (only if success)
- */
-export declare function mapResult<T, U, E>(result: Result<T, E>, fn: (value: T) => U): Result<U, E>;
-/**
- * Chain results (flatMap)
- */
-export declare function andThen<T, U, E>(result: Result<T, E>, fn: (value: T) => Result<U, E>): Result<U, E>;
-/**
- * TECHNIQUE 6: Linear Types (Use-Once Pattern)
- * Ensure resources are acquired and released exactly once
- */
-export interface Disposable {
-    readonly _disposed: boolean;
-    dispose(): void;
-}
-export declare class LinearResource<T extends Disposable> {
-    private resource;
-    private _used;
-    constructor(resource: T);
-    /**
-     * Use the resource exactly once
-     * Compile-time: Can't call use() twice on same instance
-     * Runtime: Throws if called twice
-     */
-    use<R>(fn: (resource: T) => R): R;
-}
-/**
- * TECHNIQUE 7: Opaque Types for Mutex Tokens
- * Prove at compile-time that caller has acquired the lock
- */
-export declare class MutexToken {
-    readonly serverName: ServerName;
-    private readonly __brand;
-    private constructor();
-    static create(serverName: ServerName): MutexToken;
-}
-/**
- * Operations that require a lock must receive a token
- * This proves at compile-time that the caller holds the lock!
- */
-export declare function performCriticalOperation(serverName: ServerName, token: MutexToken, operation: () => void): void;
-/**
- * TECHNIQUE 8: Const Assertions for Immutability
- * Prevent accidental mutations
- */
-export declare const MCP_STATES: {
-    readonly IDLE: "idle";
-    readonly CONNECTING: "connecting";
-    readonly CONNECTED: "connected";
-    readonly DISCONNECTING: "disconnecting";
-    readonly FAILED: "failed";
-};
-export type MCPStateValue = typeof MCP_STATES[keyof typeof MCP_STATES];
-/**
- * TECHNIQUE 9: Template Literal Types for Validation
- * Encode format validation in types
- */
-export type ValidServerNamePattern = `${string}`;
-export type AbsolutePath = `/${string}`;
-export type RelativePath = `./${string}` | `../${string}`;
-export type ValidConfigPath = AbsolutePath | RelativePath;
-/**
- * TECHNIQUE 10: Conditional Types for Smart Defaults
- */
-export type WithDefaults<T, D> = {
-    [K in keyof D]: K extends keyof T ? T[K] : D[K];
-};
-/**
- * TECHNIQUE 11: Recursive Type Guards
- * Deep validation of nested structures
- */
-export declare function isValidConnectionState(value: unknown): value is ConnectionState;
-/**
- * TECHNIQUE 12: Async Result Types
- * Make async errors explicit
- */
-export type AsyncResult<T, E = Error> = Promise<Result<T, E>>;
-/**
- * Convert unknown error to Error instance
- * Utility to reduce repeated error instanceof checks throughout the codebase
- */
-export declare function toError(error: unknown): Error;
-/**
- * Wrap async function to return Result
- */
-export declare function tryCatch<T>(fn: () => Promise<T>): AsyncResult<T, Error>;
-export {};