@graph-ir/mcp-server 0.2.0

package/dist/tools/layout.d.ts

@@ -0,0 +1,100 @@
+/**
+ * Graph-IR Layout Tool
+ *
+ * Computes graph layout using ELK algorithms.
+ */
+import type { ElkNode } from 'elkjs';
+export interface LayoutResult {
+    success: boolean;
+    ir?: LayoutedGraphIR;
+    errors: string[];
+    algorithm: string;
+}
+interface GraphIRNode {
+    id: string;
+    type: string;
+    label?: string;
+    children?: GraphIRNode[];
+    ports?: Array<{
+        id: string;
+        side: 'NORTH' | 'SOUTH' | 'EAST' | 'WEST';
+        label?: string;
+        position?: number;
+        [key: string]: unknown;
+    }>;
+    [key: string]: unknown;
+}
+interface GraphIR {
+    version?: string;
+    id?: string;
+    nodes: GraphIRNode[];
+    edges: Array<{
+        id: string;
+        source: string;
+        target: string;
+        sourcePort?: string;
+        targetPort?: string;
+        [key: string]: unknown;
+    }>;
+    [key: string]: unknown;
+}
+interface LayoutedNode {
+    id: string;
+    type: string;
+    label?: string;
+    children?: LayoutedNode[];
+    layout: {
+        x: number;
+        y: number;
+        width: number;
+        height: number;
+    };
+    [key: string]: unknown;
+}
+interface LayoutedEdge {
+    id: string;
+    source: string;
+    target: string;
+    sourcePort?: string;
+    targetPort?: string;
+    layout?: {
+        points: Array<{
+            x: number;
+            y: number;
+        }>;
+    };
+    [key: string]: unknown;
+}
+interface LayoutedGraphIR {
+    version?: string;
+    id?: string;
+    nodes: LayoutedNode[];
+    edges: LayoutedEdge[];
+    layout: {
+        width: number;
+        height: number;
+        algorithm: string;
+    };
+    [key: string]: unknown;
+}
+export interface LayoutOptions {
+    nodeWidth?: number;
+    nodeHeight?: number;
+    horizontalSpacing?: number;
+    verticalSpacing?: number;
+    direction?: 'RIGHT' | 'DOWN' | 'LEFT' | 'UP';
+}
+/**
+ * Compute layout for Graph-IR using ELK
+ */
+export declare function layoutIR(irJson: string, algorithm?: string, options?: Record<string, unknown>): Promise<LayoutResult>;
+/**
+ * Convert Graph-IR to ELK graph format
+ */
+export declare function graphIRToELK(ir: GraphIR, options: LayoutOptions, algorithm?: string): ElkNode;
+/**
+ * Convert ELK result back to Graph-IR format
+ */
+export declare function elkToGraphIR(elkResult: ElkNode, originalIR: GraphIR, algorithm: string): LayoutedGraphIR;
+export {};
+//# sourceMappingURL=layout.d.ts.map

package/dist/tools/layout.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layout.d.ts","sourceRoot":"","sources":["../../src/tools/layout.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAoE,MAAM,OAAO,CAAC;AAWvG,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,EAAE,CAAC,EAAE,eAAe,CAAC;IACrB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,WAAW;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE,KAAK,CAAC;QACZ,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;QAC1C,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;KACxB,CAAC,CAAC;IACH,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,OAAO;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,KAAK,EAAE,KAAK,CAAC;QACX,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;KACxB,CAAC,CAAC;IACH,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,YAAY;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,YAAY,EAAE,CAAC;IAC1B,MAAM,EAAE;QACN,CAAC,EAAE,MAAM,CAAC;QACV,CAAC,EAAE,MAAM,CAAC;QACV,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,YAAY;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE;QACP,MAAM,EAAE,KAAK,CAAC;YAAE,CAAC,EAAE,MAAM,CAAC;YAAC,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KACzC,CAAC;IACF,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,eAAe;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,MAAM,EAAE;QACN,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;CAC9C;AAiCD;;GAEG;AACH,wBAAsB,QAAQ,CAC5B,MAAM,EAAE,MAAM,EACd,SAAS,GAAE,MAAkB,EAC7B,OAAO,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GACpC,OAAO,CAAC,YAAY,CAAC,CA0DvB;AAMD;;GAEG;AACH,wBAAgB,YAAY,CAC1B,EAAE,EAAE,OAAO,EACX,OAAO,EAAE,aAAa,EACtB,SAAS,GAAE,MAAkB,GAC5B,OAAO,CAmBT;AAwED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,OAAO,EAClB,UAAU,EAAE,OAAO,EACnB,SAAS,EAAE,MAAM,GAChB,eAAe,CA2BjB"}

package/dist/tools/layout.js

@@ -0,0 +1,262 @@
+/**
+ * Graph-IR Layout Tool
+ *
+ * Computes graph layout using ELK algorithms.
+ */
+import ELKConstructor from 'elkjs/lib/elk.bundled.js';
+// Initialize ELK instance (handle ESM default export)
+const ELKClass = ELKConstructor.default ?? ELKConstructor;
+// @ts-expect-error - ELK ESM/CJS interop
+const elk = new ELKClass();
+// ============================================================================
+// Algorithm Mapping
+// ============================================================================
+const ALGORITHM_MAPPING = {
+    layered: 'org.eclipse.elk.layered',
+    force: 'org.eclipse.elk.force',
+    mrtree: 'org.eclipse.elk.mrtree',
+    box: 'org.eclipse.elk.box',
+    stress: 'org.eclipse.elk.stress',
+};
+const DIRECTION_MAPPING = {
+    RIGHT: 'RIGHT',
+    DOWN: 'DOWN',
+    LEFT: 'LEFT',
+    UP: 'UP',
+};
+const DEFAULT_OPTIONS = {
+    nodeWidth: 150,
+    nodeHeight: 50,
+    horizontalSpacing: 50,
+    verticalSpacing: 50,
+    direction: 'RIGHT',
+};
+// ============================================================================
+// Main Layout Function
+// ============================================================================
+/**
+ * Compute layout for Graph-IR using ELK
+ */
+export async function layoutIR(irJson, algorithm = 'layered', options = {}) {
+    // Parse JSON
+    let ir;
+    try {
+        ir = JSON.parse(irJson);
+    }
+    catch (e) {
+        return {
+            success: false,
+            errors: [`Invalid JSON: ${e instanceof Error ? e.message : 'Parse error'}`],
+            algorithm,
+        };
+    }
+    // Validate structure
+    if (!ir.nodes || !Array.isArray(ir.nodes)) {
+        return {
+            success: false,
+            errors: ['Invalid Graph-IR structure: missing nodes array'],
+            algorithm,
+        };
+    }
+    if (!ir.edges || !Array.isArray(ir.edges)) {
+        return {
+            success: false,
+            errors: ['Invalid Graph-IR structure: missing edges array'],
+            algorithm,
+        };
+    }
+    const layoutOptions = {
+        ...DEFAULT_OPTIONS,
+        ...options,
+    };
+    try {
+        // Convert to ELK format
+        const elkGraph = graphIRToELK(ir, layoutOptions, algorithm);
+        // Run ELK layout
+        const layoutedElk = await elk.layout(elkGraph);
+        // Convert back to Graph-IR
+        const layoutedIR = elkToGraphIR(layoutedElk, ir, algorithm);
+        return {
+            success: true,
+            ir: layoutedIR,
+            errors: [],
+            algorithm,
+        };
+    }
+    catch (e) {
+        return {
+            success: false,
+            errors: [`Layout failed: ${e instanceof Error ? e.message : 'Unknown error'}`],
+            algorithm,
+        };
+    }
+}
+// ============================================================================
+// Conversion Functions
+// ============================================================================
+/**
+ * Convert Graph-IR to ELK graph format
+ */
+export function graphIRToELK(ir, options, algorithm = 'layered') {
+    const opts = { ...DEFAULT_OPTIONS, ...options };
+    // Build root ELK graph
+    const elkLayoutOptions = {
+        'elk.algorithm': ALGORITHM_MAPPING[algorithm] || ALGORITHM_MAPPING.layered,
+        'elk.direction': DIRECTION_MAPPING[opts.direction] || 'RIGHT',
+        'elk.spacing.nodeNode': String(opts.horizontalSpacing),
+        'elk.layered.spacing.nodeNodeBetweenLayers': String(opts.verticalSpacing),
+    };
+    const elkGraph = {
+        id: 'root',
+        layoutOptions: elkLayoutOptions,
+        children: ir.nodes.map((node) => convertNodeToELK(node, opts)),
+        edges: ir.edges.map((edge) => convertEdgeToELK(edge)),
+    };
+    return elkGraph;
+}
+/**
+ * Convert a Graph-IR node to ELK format
+ */
+function convertNodeToELK(node, opts) {
+    const elkNode = {
+        id: node.id,
+        width: opts.nodeWidth,
+        height: opts.nodeHeight,
+        labels: node.label ? [{ text: node.label }] : undefined,
+    };
+    // Convert ports
+    if (node.ports && node.ports.length > 0) {
+        elkNode.ports = node.ports.map((port) => convertPortToELK(port));
+        elkNode.layoutOptions = {
+            ...elkNode.layoutOptions,
+            'elk.portConstraints': 'FIXED_SIDE',
+        };
+    }
+    // Convert children (compound nodes)
+    if (node.children && node.children.length > 0) {
+        elkNode.children = node.children.map((child) => convertNodeToELK(child, opts));
+        elkNode.layoutOptions = {
+            ...elkNode.layoutOptions,
+            'elk.padding': '[top=10,left=10,bottom=10,right=10]',
+        };
+    }
+    return elkNode;
+}
+/**
+ * Convert a Graph-IR port to ELK format
+ */
+function convertPortToELK(port) {
+    const sideMapping = {
+        NORTH: 'NORTH',
+        SOUTH: 'SOUTH',
+        EAST: 'EAST',
+        WEST: 'WEST',
+    };
+    return {
+        id: port.id,
+        layoutOptions: {
+            'elk.port.side': sideMapping[port.side] || 'EAST',
+        },
+    };
+}
+/**
+ * Convert a Graph-IR edge to ELK format
+ */
+function convertEdgeToELK(edge) {
+    const elkEdge = {
+        id: edge.id,
+        sources: [edge.sourcePort ? `${edge.source}.${edge.sourcePort}` : edge.source],
+        targets: [edge.targetPort ? `${edge.target}.${edge.targetPort}` : edge.target],
+    };
+    return elkEdge;
+}
+/**
+ * Convert ELK result back to Graph-IR format
+ */
+export function elkToGraphIR(elkResult, originalIR, algorithm) {
+    // Build lookup for ELK nodes
+    const elkNodeMap = new Map();
+    collectElkNodes(elkResult, elkNodeMap);
+    // Build lookup for original edges
+    const originalEdgeMap = new Map(originalIR.edges.map((e) => [e.id, e]));
+    // Convert nodes
+    const layoutedNodes = convertElkNodesToGraphIR(originalIR.nodes, elkNodeMap);
+    // Convert edges
+    const layoutedEdges = convertElkEdgesToGraphIR(elkResult.edges || [], originalEdgeMap);
+    return {
+        ...originalIR,
+        nodes: layoutedNodes,
+        edges: layoutedEdges,
+        layout: {
+            width: elkResult.width || 0,
+            height: elkResult.height || 0,
+            algorithm,
+        },
+    };
+}
+/**
+ * Collect all ELK nodes into a map for quick lookup
+ */
+function collectElkNodes(node, map) {
+    if (node.id !== 'root') {
+        map.set(node.id, node);
+    }
+    if (node.children) {
+        for (const child of node.children) {
+            collectElkNodes(child, map);
+        }
+    }
+}
+/**
+ * Convert ELK nodes back to Graph-IR nodes with layout info
+ */
+function convertElkNodesToGraphIR(originalNodes, elkNodeMap) {
+    return originalNodes.map((node) => {
+        const elkNode = elkNodeMap.get(node.id);
+        // Build the layouted node without children first
+        const { children: _, ...nodeWithoutChildren } = node;
+        const layoutedNode = {
+            ...nodeWithoutChildren,
+            layout: {
+                x: elkNode?.x ?? 0,
+                y: elkNode?.y ?? 0,
+                width: elkNode?.width ?? 150,
+                height: elkNode?.height ?? 50,
+            },
+        };
+        // Handle children recursively
+        if (node.children && node.children.length > 0) {
+            layoutedNode.children = convertElkNodesToGraphIR(node.children, elkNodeMap);
+        }
+        return layoutedNode;
+    });
+}
+/**
+ * Convert ELK edges back to Graph-IR edges with routing info
+ */
+function convertElkEdgesToGraphIR(elkEdges, originalEdgeMap) {
+    return elkEdges.map((elkEdge) => {
+        const originalEdge = originalEdgeMap.get(elkEdge.id);
+        // Extract routing points from sections
+        const points = [];
+        if (elkEdge.sections) {
+            for (const section of elkEdge.sections) {
+                points.push(section.startPoint);
+                if (section.bendPoints) {
+                    points.push(...section.bendPoints);
+                }
+                points.push(section.endPoint);
+            }
+        }
+        return {
+            ...originalEdge,
+            id: elkEdge.id,
+            source: originalEdge?.source ?? '',
+            target: originalEdge?.target ?? '',
+            layout: {
+                points,
+            },
+        };
+    });
+}
+//# sourceMappingURL=layout.js.map

package/dist/tools/layout.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layout.js","sourceRoot":"","sources":["../../src/tools/layout.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,cAAc,MAAM,0BAA0B,CAAC;AAGtD,sDAAsD;AACtD,MAAM,QAAQ,GAAI,cAAiE,CAAC,OAAO,IAAI,cAAc,CAAC;AAC9G,yCAAyC;AACzC,MAAM,GAAG,GAAQ,IAAI,QAAQ,EAAE,CAAC;AA0FhC,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E,MAAM,iBAAiB,GAA2B;IAChD,OAAO,EAAE,yBAAyB;IAClC,KAAK,EAAE,uBAAuB;IAC9B,MAAM,EAAE,wBAAwB;IAChC,GAAG,EAAE,qBAAqB;IAC1B,MAAM,EAAE,wBAAwB;CACjC,CAAC;AAEF,MAAM,iBAAiB,GAA2B;IAChD,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,EAAE,EAAE,IAAI;CACT,CAAC;AAEF,MAAM,eAAe,GAA4B;IAC/C,SAAS,EAAE,GAAG;IACd,UAAU,EAAE,EAAE;IACd,iBAAiB,EAAE,EAAE;IACrB,eAAe,EAAE,EAAE;IACnB,SAAS,EAAE,OAAO;CACnB,CAAC;AAEF,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,MAAc,EACd,YAAoB,SAAS,EAC7B,UAAmC,EAAE;IAErC,aAAa;IACb,IAAI,EAAW,CAAC;IAChB,IAAI,CAAC;QACH,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,CAAC,iBAAiB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;YAC3E,SAAS;SACV,CAAC;IACJ,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,CAAC,iDAAiD,CAAC;YAC3D,SAAS;SACV,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,CAAC,iDAAiD,CAAC;YAC3D,SAAS;SACV,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAkB;QACnC,GAAG,eAAe;QAClB,GAAI,OAAyB;KAC9B,CAAC;IAEF,IAAI,CAAC;QACH,wBAAwB;QACxB,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;QAE5D,iBAAiB;QACjB,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAE/C,2BAA2B;QAC3B,MAAM,UAAU,GAAG,YAAY,CAAC,WAAW,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;QAE5D,OAAO;YACL,OAAO,EAAE,IAAI;YACb,EAAE,EAAE,UAAU;YACd,MAAM,EAAE,EAAE;YACV,SAAS;SACV,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,CAAC,kBAAkB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC;YAC9E,SAAS;SACV,CAAC;IACJ,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,EAAW,EACX,OAAsB,EACtB,YAAoB,SAAS;IAE7B,MAAM,IAAI,GAAG,EAAE,GAAG,eAAe,EAAE,GAAG,OAAO,EAAE,CAAC;IAEhD,uBAAuB;IACvB,MAAM,gBAAgB,GAAqB;QACzC,eAAe,EAAE,iBAAiB,CAAC,SAAS,CAAC,IAAI,iBAAiB,CAAC,OAAO;QAC1E,eAAe,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,OAAO;QAC7D,sBAAsB,EAAE,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACtD,2CAA2C,EAAE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC;KAC1E,CAAC;IAEF,MAAM,QAAQ,GAAY;QACxB,EAAE,EAAE,MAAM;QACV,aAAa,EAAE,gBAAgB;QAC/B,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9D,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;KACtD,CAAC;IAEF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,IAAiB,EAAE,IAA6B;IACxE,MAAM,OAAO,GAAY;QACvB,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,SAAS;QACrB,MAAM,EAAE,IAAI,CAAC,UAAU;QACvB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;KACxD,CAAC;IAEF,gBAAgB;IAChB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,aAAa,GAAG;YACtB,GAAG,OAAO,CAAC,aAAa;YACxB,qBAAqB,EAAE,YAAY;SACpC,CAAC;IACJ,CAAC;IAED,oCAAoC;IACpC,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/E,OAAO,CAAC,aAAa,GAAG;YACtB,GAAG,OAAO,CAAC,aAAa;YACxB,aAAa,EAAE,qCAAqC;SACrD,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,IAA0D;IAClF,MAAM,WAAW,GAA2B;QAC1C,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,OAAO;QACd,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,MAAM;KACb,CAAC;IAEF,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,aAAa,EAAE;YACb,eAAe,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM;SAClD;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,IAMzB;IACC,MAAM,OAAO,GAAoB;QAC/B,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,OAAO,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9E,OAAO,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;KAC/E,CAAC;IAEF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,SAAkB,EAClB,UAAmB,EACnB,SAAiB;IAEjB,6BAA6B;IAC7B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC9C,eAAe,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAEvC,kCAAkC;IAClC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAExE,gBAAgB;IAChB,MAAM,aAAa,GAAG,wBAAwB,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAE7E,gBAAgB;IAChB,MAAM,aAAa,GAAG,wBAAwB,CAC5C,SAAS,CAAC,KAAK,IAAI,EAAE,EACrB,eAAe,CAChB,CAAC;IAEF,OAAO;QACL,GAAG,UAAU;QACb,KAAK,EAAE,aAAa;QACpB,KAAK,EAAE,aAAa;QACpB,MAAM,EAAE;YACN,KAAK,EAAE,SAAS,CAAC,KAAK,IAAI,CAAC;YAC3B,MAAM,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC;YAC7B,SAAS;SACV;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAAa,EAAE,GAAyB;IAC/D,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;QACvB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAC/B,aAA4B,EAC5B,UAAgC;IAEhC,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAChC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAExC,iDAAiD;QACjD,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAC;QACrD,MAAM,YAAY,GAAiB;YACjC,GAAG,mBAAmB;YACtB,MAAM,EAAE;gBACN,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC;gBAClB,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,GAAG;gBAC5B,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,EAAE;aAC9B;SACF,CAAC;QAEF,8BAA8B;QAC9B,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,YAAY,CAAC,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC9E,CAAC;QAED,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAC/B,QAA2B,EAC3B,eAAiD;IAEjD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9B,MAAM,YAAY,GAAG,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAErD,uCAAuC;QACvC,MAAM,MAAM,GAAoC,EAAE,CAAC;QACnD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBAChC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;oBACvB,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;gBACrC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,OAAO;YACL,GAAG,YAAY;YACf,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,MAAM,EAAE,YAAY,EAAE,MAAM,IAAI,EAAE;YAClC,MAAM,EAAE,YAAY,EAAE,MAAM,IAAI,EAAE;YAClC,MAAM,EAAE;gBACN,MAAM;aACP;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/tools/list-notations.d.ts

@@ -0,0 +1,24 @@
+/**
+ * list_notations MCP tool
+ *
+ * Query available notations.
+ */
+import { NotationRegistry, NotationDefinition } from '@graph-ir/core';
+export interface ListNotationsParams {
+    /** Include full definitions or just IDs */
+    full?: boolean;
+}
+export interface ListNotationsResult {
+    notations: NotationDefinition[] | string[];
+    count: number;
+}
+/**
+ * Get the global notation registry.
+ * Used for registering notations from external sources (Coral, Armada).
+ */
+export declare function getNotationRegistry(): NotationRegistry;
+/**
+ * List notations with optional full details.
+ */
+export declare function listNotations(params: ListNotationsParams): Promise<ListNotationsResult>;
+//# sourceMappingURL=list-notations.d.ts.map

package/dist/tools/list-notations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-notations.d.ts","sourceRoot":"","sources":["../../src/tools/list-notations.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,gBAAgB,CAAC;AAGxB,MAAM,WAAW,mBAAmB;IAClC,2CAA2C;IAC3C,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,kBAAkB,EAAE,GAAG,MAAM,EAAE,CAAC;IAC3C,KAAK,EAAE,MAAM,CAAC;CACf;AAKD;;;GAGG;AACH,wBAAgB,mBAAmB,IAAI,gBAAgB,CAEtD;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAe7F"}

package/dist/tools/list-notations.js

@@ -0,0 +1,34 @@
+/**
+ * list_notations MCP tool
+ *
+ * Query available notations.
+ */
+import { NotationRegistry, } from '@graph-ir/core';
+import { getSymbolRegistry } from './list-symbols.js';
+// Global notation registry - shares symbol registry with list-symbols
+const notationRegistry = new NotationRegistry(getSymbolRegistry());
+/**
+ * Get the global notation registry.
+ * Used for registering notations from external sources (Coral, Armada).
+ */
+export function getNotationRegistry() {
+    return notationRegistry;
+}
+/**
+ * List notations with optional full details.
+ */
+export async function listNotations(params) {
+    const notations = notationRegistry.all();
+    // Return full definitions or just IDs
+    if (params.full) {
+        return {
+            notations,
+            count: notations.length,
+        };
+    }
+    return {
+        notations: notations.map((n) => n.id),
+        count: notations.length,
+    };
+}
+//# sourceMappingURL=list-notations.js.map

package/dist/tools/list-notations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-notations.js","sourceRoot":"","sources":["../../src/tools/list-notations.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,gBAAgB,GAEjB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAYtD,sEAAsE;AACtE,MAAM,gBAAgB,GAAG,IAAI,gBAAgB,CAAC,iBAAiB,EAAE,CAAC,CAAC;AAEnE;;;GAGG;AACH,MAAM,UAAU,mBAAmB;IACjC,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAA2B;IAC7D,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,EAAE,CAAC;IAEzC,sCAAsC;IACtC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO;YACL,SAAS;YACT,KAAK,EAAE,SAAS,CAAC,MAAM;SACxB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,KAAK,EAAE,SAAS,CAAC,MAAM;KACxB,CAAC;AACJ,CAAC"}

package/dist/tools/list-symbols.d.ts

@@ -0,0 +1,30 @@
+/**
+ * list_symbols MCP tool
+ *
+ * Query available symbols with filtering options.
+ */
+import { SymbolRegistry, SymbolDefinition } from '@graph-ir/core';
+export interface ListSymbolsParams {
+    /** Filter by notation */
+    notation?: string;
+    /** Filter by tag */
+    tag?: string;
+    /** Search query (matches name/description) */
+    query?: string;
+    /** Include full definitions or just IDs */
+    full?: boolean;
+}
+export interface ListSymbolsResult {
+    symbols: SymbolDefinition[] | string[];
+    count: number;
+}
+/**
+ * Get the global symbol registry.
+ * Used for registering symbols from external sources (Coral, Armada).
+ */
+export declare function getSymbolRegistry(): SymbolRegistry;
+/**
+ * List symbols with optional filtering.
+ */
+export declare function listSymbols(params: ListSymbolsParams): Promise<ListSymbolsResult>;
+//# sourceMappingURL=list-symbols.d.ts.map

package/dist/tools/list-symbols.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-symbols.d.ts","sourceRoot":"","sources":["../../src/tools/list-symbols.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,cAAc,EACd,gBAAgB,EACjB,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,iBAAiB;IAChC,yBAAyB;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oBAAoB;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,8CAA8C;IAC9C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,EAAE,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC;CACf;AAKD;;;GAGG;AACH,wBAAgB,iBAAiB,IAAI,cAAc,CAElD;AAED;;GAEG;AACH,wBAAsB,WAAW,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAiCvF"}

package/dist/tools/list-symbols.js

@@ -0,0 +1,48 @@
+/**
+ * list_symbols MCP tool
+ *
+ * Query available symbols with filtering options.
+ */
+import { SymbolRegistry, } from '@graph-ir/core';
+// Global symbol registry - can be populated by loading symbol definitions
+const symbolRegistry = new SymbolRegistry();
+/**
+ * Get the global symbol registry.
+ * Used for registering symbols from external sources (Coral, Armada).
+ */
+export function getSymbolRegistry() {
+    return symbolRegistry;
+}
+/**
+ * List symbols with optional filtering.
+ */
+export async function listSymbols(params) {
+    let symbols = symbolRegistry.all();
+    // Apply filters
+    if (params.notation) {
+        symbols = symbols.filter((s) => s.notations.includes(params.notation));
+    }
+    if (params.tag) {
+        symbols = symbols.filter((s) => s.tags?.includes(params.tag));
+    }
+    if (params.query) {
+        const lowerQuery = params.query.toLowerCase();
+        symbols = symbols.filter((s) => {
+            const nameMatch = s.name.toLowerCase().includes(lowerQuery);
+            const descMatch = s.description?.toLowerCase().includes(lowerQuery);
+            return nameMatch || descMatch;
+        });
+    }
+    // Return full definitions or just IDs
+    if (params.full) {
+        return {
+            symbols,
+            count: symbols.length,
+        };
+    }
+    return {
+        symbols: symbols.map((s) => s.id),
+        count: symbols.length,
+    };
+}
+//# sourceMappingURL=list-symbols.js.map

package/dist/tools/list-symbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"list-symbols.js","sourceRoot":"","sources":["../../src/tools/list-symbols.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,cAAc,GAEf,MAAM,gBAAgB,CAAC;AAkBxB,0EAA0E;AAC1E,MAAM,cAAc,GAAG,IAAI,cAAc,EAAE,CAAC;AAE5C;;;GAGG;AACH,MAAM,UAAU,iBAAiB;IAC/B,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,MAAyB;IACzD,IAAI,OAAO,GAAuB,cAAc,CAAC,GAAG,EAAE,CAAC;IAEvD,gBAAgB;IAChB,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAS,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;QACf,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;QAC9C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7B,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC5D,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACpE,OAAO,SAAS,IAAI,SAAS,CAAC;QAChC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,sCAAsC;IACtC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO;YACL,OAAO;YACP,KAAK,EAAE,OAAO,CAAC,MAAM;SACtB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,KAAK,EAAE,OAAO,CAAC,MAAM;KACtB,CAAC;AACJ,CAAC"}

package/dist/tools/validate-notation.d.ts

@@ -0,0 +1,23 @@
+/**
+ * validate_notation MCP tool
+ *
+ * Validate a Graph-IR against notation rules.
+ */
+import type { NotationValidationResult } from '@graph-ir/core';
+export interface ValidateNotationParams {
+    /** The Graph-IR to validate (JSON string) */
+    ir: string;
+    /** Notation to validate against (overrides metadata.notation) */
+    notation?: string;
+    /** Treat warnings as errors */
+    strict?: boolean;
+}
+export interface ValidateNotationResult extends NotationValidationResult {
+    /** The notation that was validated against */
+    notation: string | null;
+}
+/**
+ * Validate a Graph-IR against notation rules.
+ */
+export declare function validateNotation(params: ValidateNotationParams): Promise<ValidateNotationResult>;
+//# sourceMappingURL=validate-notation.d.ts.map

package/dist/tools/validate-notation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-notation.d.ts","sourceRoot":"","sources":["../../src/tools/validate-notation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAEV,wBAAwB,EAGzB,MAAM,gBAAgB,CAAC;AAIxB,MAAM,WAAW,sBAAsB;IACrC,6CAA6C;IAC7C,EAAE,EAAE,MAAM,CAAC;IACX,iEAAiE;IACjE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,sBAAuB,SAAQ,wBAAwB;IACtE,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,sBAAsB,GAC7B,OAAO,CAAC,sBAAsB,CAAC,CAqJjC"}