@graph-ir/mcp-server 0.2.0

package/dist/tools/validate-notation.js

@@ -0,0 +1,146 @@
+/**
+ * validate_notation MCP tool
+ *
+ * Validate a Graph-IR against notation rules.
+ */
+import { getSymbolRegistry } from './list-symbols.js';
+import { getNotationRegistry } from './list-notations.js';
+/**
+ * Validate a Graph-IR against notation rules.
+ */
+export async function validateNotation(params) {
+    const errors = [];
+    const warnings = [];
+    // Parse the IR
+    let ir;
+    try {
+        ir = JSON.parse(params.ir);
+    }
+    catch (e) {
+        return {
+            valid: false,
+            notation: null,
+            errors: [
+                {
+                    code: 'UNKNOWN_NOTATION',
+                    message: `Failed to parse IR: ${e instanceof Error ? e.message : 'Invalid JSON'}`,
+                    path: '',
+                },
+            ],
+            warnings: [],
+        };
+    }
+    // Determine notation to validate against
+    const notationId = params.notation || ir.metadata?.notation;
+    if (!notationId) {
+        return {
+            valid: true,
+            notation: null,
+            errors: [],
+            warnings: [
+                {
+                    code: 'UNKNOWN_NOTATION',
+                    message: 'No notation specified in IR metadata or parameters. Skipping notation validation.',
+                    path: 'metadata.notation',
+                },
+            ],
+        };
+    }
+    const notationRegistry = getNotationRegistry();
+    const symbolRegistry = getSymbolRegistry();
+    // Check if notation exists
+    const notation = notationRegistry.get(notationId);
+    if (!notation) {
+        return {
+            valid: false,
+            notation: notationId,
+            errors: [
+                {
+                    code: 'UNKNOWN_NOTATION',
+                    message: `Unknown notation: ${notationId}`,
+                    path: 'metadata.notation',
+                },
+            ],
+            warnings: [],
+        };
+    }
+    // Validate each node's symbol
+    const validSymbolIds = new Set(notation.symbols);
+    for (let i = 0; i < ir.nodes.length; i++) {
+        const node = ir.nodes[i];
+        if (node.symbol) {
+            // Check if symbol is valid for this notation
+            if (!validSymbolIds.has(node.symbol)) {
+                errors.push({
+                    code: 'UNKNOWN_SYMBOL',
+                    message: `Symbol '${node.symbol}' is not valid for notation '${notationId}'`,
+                    path: `nodes[${i}].symbol`,
+                    nodeId: node.id,
+                });
+            }
+            // Check if variant is valid
+            if (node.variant) {
+                const symbolDef = symbolRegistry.get(node.symbol);
+                if (symbolDef && symbolDef.variants) {
+                    if (!symbolDef.variants[node.variant]) {
+                        errors.push({
+                            code: 'INVALID_VARIANT',
+                            message: `Variant '${node.variant}' is not valid for symbol '${node.symbol}'`,
+                            path: `nodes[${i}].variant`,
+                            nodeId: node.id,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    // Validate connections
+    if (notation.connectionRules && notation.connectionRules.length > 0) {
+        // Build node symbol map
+        const nodeSymbols = new Map();
+        for (const node of ir.nodes) {
+            if (node.symbol) {
+                nodeSymbols.set(node.id, node.symbol);
+            }
+        }
+        // Validate each edge
+        for (let i = 0; i < ir.edges.length; i++) {
+            const edge = ir.edges[i];
+            const sourceSymbol = nodeSymbols.get(edge.source);
+            const targetSymbol = nodeSymbols.get(edge.target);
+            if (sourceSymbol && targetSymbol) {
+                const result = notationRegistry.validateConnection(notationId, sourceSymbol, targetSymbol);
+                if (!result.valid) {
+                    errors.push({
+                        code: 'INVALID_CONNECTION',
+                        message: result.message || `Invalid connection from ${sourceSymbol} to ${targetSymbol}`,
+                        path: `edges[${i}]`,
+                        edgeId: edge.id,
+                    });
+                }
+            }
+        }
+    }
+    // Check required symbols
+    if (notation.validation?.requiredSymbols) {
+        const presentSymbols = new Set(ir.nodes.map((n) => n.symbol).filter(Boolean));
+        for (const requiredSymbol of notation.validation.requiredSymbols) {
+            if (!presentSymbols.has(requiredSymbol)) {
+                errors.push({
+                    code: 'MISSING_REQUIRED_SYMBOL',
+                    message: `Required symbol '${requiredSymbol}' not found in graph`,
+                    path: 'nodes',
+                });
+            }
+        }
+    }
+    // Determine validity
+    const isValid = errors.length === 0 && (!params.strict || warnings.length === 0);
+    return {
+        valid: isValid,
+        notation: notationId,
+        errors,
+        warnings,
+    };
+}
+//# sourceMappingURL=validate-notation.js.map

package/dist/tools/validate-notation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-notation.js","sourceRoot":"","sources":["../../src/tools/validate-notation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAQH,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAgB1D;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,MAA8B;IAE9B,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,eAAe;IACf,IAAI,EAAW,CAAC;IAChB,IAAI,CAAC;QACH,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,kBAAuC;oBAC7C,OAAO,EAAE,uBAAuB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,EAAE;oBACjF,IAAI,EAAE,EAAE;iBACT;aACF;YACD,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,yCAAyC;IACzC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,kBAAuC;oBAC7C,OAAO,EAAE,mFAAmF;oBAC5F,IAAI,EAAE,mBAAmB;iBAC1B;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,mBAAmB,EAAE,CAAC;IAC/C,MAAM,cAAc,GAAG,iBAAiB,EAAE,CAAC;IAE3C,2BAA2B;IAC3B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,UAAU;YACpB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,qBAAqB,UAAU,EAAE;oBAC1C,IAAI,EAAE,mBAAmB;iBAC1B;aACF;YACD,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,8BAA8B;IAC9B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,6CAA6C;YAC7C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,WAAW,IAAI,CAAC,MAAM,gCAAgC,UAAU,GAAG;oBAC5E,IAAI,EAAE,SAAS,CAAC,UAAU;oBAC1B,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;YAED,4BAA4B;YAC5B,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAClD,IAAI,SAAS,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;oBACpC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBACtC,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,iBAAiB;4BACvB,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,8BAA8B,IAAI,CAAC,MAAM,GAAG;4BAC7E,IAAI,EAAE,SAAS,CAAC,WAAW;4BAC3B,MAAM,EAAE,IAAI,CAAC,EAAE;yBAChB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,IAAI,QAAQ,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpE,wBAAwB;QACxB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAElD,IAAI,YAAY,IAAI,YAAY,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,gBAAgB,CAAC,kBAAkB,CAChD,UAAU,EACV,YAAY,EACZ,YAAY,CACb,CAAC;gBACF,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;oBAClB,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,2BAA2B,YAAY,OAAO,YAAY,EAAE;wBACvF,IAAI,EAAE,SAAS,CAAC,GAAG;wBACnB,MAAM,EAAE,IAAI,CAAC,EAAE;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,IAAI,QAAQ,CAAC,UAAU,EAAE,eAAe,EAAE,CAAC;QACzC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9E,KAAK,MAAM,cAAc,IAAI,QAAQ,CAAC,UAAU,CAAC,eAAe,EAAE,CAAC;YACjE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,oBAAoB,cAAc,sBAAsB;oBACjE,IAAI,EAAE,OAAO;iBACd,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,qBAAqB;IACrB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAEjF,OAAO;QACL,KAAK,EAAE,OAAO;QACd,QAAQ,EAAE,UAAU;QACpB,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/tools/validate.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Graph-IR Validation Tool
+ *
+ * Validates Graph-IR JSON against schema and semantic rules.
+ * Uses @graph-ir/core for validation logic.
+ */
+import { type ValidationResult } from '@graph-ir/core';
+export type { ValidationResult, ValidationError } from '@graph-ir/core';
+/**
+ * Validate Graph-IR JSON
+ *
+ * @param irJson - JSON string to validate
+ * @param strict - Treat warnings as errors
+ * @returns Validation result with errors, warnings, and stats
+ */
+export declare function validateIR(irJson: string, strict?: boolean): Promise<ValidationResult>;
+//# sourceMappingURL=validate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/tools/validate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAEL,KAAK,gBAAgB,EAEtB,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAExE;;;;;;GAMG;AACH,wBAAsB,UAAU,CAC9B,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,OAAe,GACtB,OAAO,CAAC,gBAAgB,CAAC,CAG3B"}

package/dist/tools/validate.js

@@ -0,0 +1,19 @@
+/**
+ * Graph-IR Validation Tool
+ *
+ * Validates Graph-IR JSON against schema and semantic rules.
+ * Uses @graph-ir/core for validation logic.
+ */
+import { validateIRFromString, } from '@graph-ir/core';
+/**
+ * Validate Graph-IR JSON
+ *
+ * @param irJson - JSON string to validate
+ * @param strict - Treat warnings as errors
+ * @returns Validation result with errors, warnings, and stats
+ */
+export async function validateIR(irJson, strict = false) {
+    const options = { strict };
+    return validateIRFromString(irJson, options);
+}
+//# sourceMappingURL=validate.js.map

package/dist/tools/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/tools/validate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,oBAAoB,GAGrB,MAAM,gBAAgB,CAAC;AAKxB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,MAAc,EACd,SAAkB,KAAK;IAEvB,MAAM,OAAO,GAAsB,EAAE,MAAM,EAAE,CAAC;IAC9C,OAAO,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC/C,CAAC"}

package/dist/tools/visualize.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Graph-IR Visualization Tool
+ *
+ * Generates ASCII art representations of Graph-IR.
+ */
+export interface VisualizationResult {
+    success: boolean;
+    visualization: string;
+    errors: string[];
+}
+/**
+ * Generate ASCII visualization of Graph-IR
+ */
+export declare function visualizeIR(irJson: string, style?: string): Promise<VisualizationResult>;
+//# sourceMappingURL=visualize.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"visualize.d.ts","sourceRoot":"","sources":["../../src/tools/visualize.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAgBD;;GAEG;AACH,wBAAsB,WAAW,CAC/B,MAAM,EAAE,MAAM,EACd,KAAK,GAAE,MAAc,GACpB,OAAO,CAAC,mBAAmB,CAAC,CAyC9B"}

package/dist/tools/visualize.js

@@ -0,0 +1,151 @@
+/**
+ * Graph-IR Visualization Tool
+ *
+ * Generates ASCII art representations of Graph-IR.
+ */
+/**
+ * Generate ASCII visualization of Graph-IR
+ */
+export async function visualizeIR(irJson, style = 'box') {
+    // Parse JSON
+    let ir;
+    try {
+        ir = JSON.parse(irJson);
+    }
+    catch (e) {
+        return {
+            success: false,
+            visualization: '',
+            errors: [`Invalid JSON: ${e instanceof Error ? e.message : 'Parse error'}`],
+        };
+    }
+    if (!ir.nodes || !ir.edges) {
+        return {
+            success: false,
+            visualization: '',
+            errors: ['Invalid Graph-IR structure'],
+        };
+    }
+    let visualization;
+    switch (style) {
+        case 'compact':
+            visualization = renderCompact(ir);
+            break;
+        case 'tree':
+            visualization = renderTree(ir);
+            break;
+        case 'box':
+        default:
+            visualization = renderBox(ir);
+            break;
+    }
+    return {
+        success: true,
+        visualization,
+        errors: [],
+    };
+}
+function renderBox(ir) {
+    const lines = [];
+    const nodeMap = new Map(ir.nodes.map(n => [n.id, n]));
+    // Group edges by source
+    const edgesBySource = new Map();
+    for (const edge of ir.edges) {
+        const edges = edgesBySource.get(edge.source) || [];
+        edges.push(edge);
+        edgesBySource.set(edge.source, edges);
+    }
+    // Render each node
+    lines.push('Graph-IR Visualization');
+    lines.push('='.repeat(40));
+    lines.push('');
+    for (const node of ir.nodes) {
+        const label = node.label || node.id;
+        const type = node.type;
+        // Box top
+        const width = Math.max(label.length, type.length) + 4;
+        lines.push('┌' + '─'.repeat(width) + '┐');
+        lines.push('│ ' + label.padEnd(width - 2) + ' │');
+        lines.push('│ ' + `(${type})`.padEnd(width - 2) + ' │');
+        lines.push('└' + '─'.repeat(width) + '┘');
+        // Render outgoing edges
+        const outgoingEdges = edgesBySource.get(node.id) || [];
+        for (const edge of outgoingEdges) {
+            const targetNode = nodeMap.get(edge.target);
+            const targetLabel = targetNode?.label || edge.target;
+            const edgeLabel = edge.label ? ` [${edge.label}]` : '';
+            lines.push(`    │`);
+            lines.push(`    └──${edgeLabel}──> ${targetLabel}`);
+        }
+        lines.push('');
+    }
+    // Summary
+    lines.push('─'.repeat(40));
+    lines.push(`Nodes: ${ir.nodes.length}, Edges: ${ir.edges.length}`);
+    return lines.join('\n');
+}
+function renderCompact(ir) {
+    const lines = [];
+    const nodeMap = new Map(ir.nodes.map(n => [n.id, n]));
+    lines.push('Nodes:');
+    for (const node of ir.nodes) {
+        const label = node.label || node.id;
+        lines.push(`  [${node.id}] ${label} (${node.type})`);
+    }
+    lines.push('');
+    lines.push('Edges:');
+    for (const edge of ir.edges) {
+        const sourceNode = nodeMap.get(edge.source);
+        const targetNode = nodeMap.get(edge.target);
+        const sourceLabel = sourceNode?.label || edge.source;
+        const targetLabel = targetNode?.label || edge.target;
+        const edgeLabel = edge.label ? ` [${edge.label}]` : '';
+        lines.push(`  ${sourceLabel} ->${edgeLabel} ${targetLabel}`);
+    }
+    return lines.join('\n');
+}
+function renderTree(ir) {
+    const lines = [];
+    // Find root nodes (nodes with no incoming edges)
+    const hasIncoming = new Set(ir.edges.map(e => e.target));
+    const roots = ir.nodes.filter(n => !hasIncoming.has(n.id));
+    // Build adjacency list
+    const children = new Map();
+    for (const edge of ir.edges) {
+        const kids = children.get(edge.source) || [];
+        kids.push(edge.target);
+        children.set(edge.source, kids);
+    }
+    const nodeMap = new Map(ir.nodes.map(n => [n.id, n]));
+    // Render tree from each root
+    function renderNode(nodeId, prefix, isLast) {
+        const node = nodeMap.get(nodeId);
+        if (!node)
+            return;
+        const label = node.label || node.id;
+        const connector = isLast ? '└── ' : '├── ';
+        lines.push(prefix + connector + label);
+        const childPrefix = prefix + (isLast ? '    ' : '│   ');
+        const kids = children.get(nodeId) || [];
+        kids.forEach((kidId, index) => {
+            renderNode(kidId, childPrefix, index === kids.length - 1);
+        });
+    }
+    if (roots.length === 0) {
+        // No clear roots - just list all
+        lines.push('(No root nodes found - graph may have cycles)');
+        lines.push('');
+        return renderCompact(ir);
+    }
+    roots.forEach((root, index) => {
+        if (index > 0)
+            lines.push('');
+        lines.push(root.label || root.id);
+        const kids = children.get(root.id) || [];
+        kids.forEach((kidId, kidIndex) => {
+            renderNode(kidId, '', kidIndex === kids.length - 1);
+        });
+    });
+    return lines.join('\n');
+}
+//# sourceMappingURL=visualize.js.map

package/dist/tools/visualize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"visualize.js","sourceRoot":"","sources":["../../src/tools/visualize.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAsBH;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,MAAc,EACd,QAAgB,KAAK;IAErB,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,aAAa,EAAE,EAAE;YACjB,MAAM,EAAE,CAAC,iBAAiB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;SAC5E,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;QAC3B,OAAO;YACL,OAAO,EAAE,KAAK;YACd,aAAa,EAAE,EAAE;YACjB,MAAM,EAAE,CAAC,4BAA4B,CAAC;SACvC,CAAC;IACJ,CAAC;IAED,IAAI,aAAqB,CAAC;IAE1B,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,SAAS;YACZ,aAAa,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;YAClC,MAAM;QACR,KAAK,MAAM;YACT,aAAa,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM;QACR,KAAK,KAAK,CAAC;QACX;YACE,aAAa,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;YAC9B,MAAM;IACV,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;QACb,aAAa;QACb,MAAM,EAAE,EAAE;KACX,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,EAAW;IAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,wBAAwB;IACxB,MAAM,aAAa,GAAG,IAAI,GAAG,EAA2B,CAAC;IACzD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QAEvB,UAAU;QACV,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;QAE1C,wBAAwB;QACxB,MAAM,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACvD,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,UAAU,EAAE,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC;YACrD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,UAAU,SAAS,OAAO,WAAW,EAAE,CAAC,CAAC;QACtD,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,UAAU;IACV,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,MAAM,YAAY,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAEnE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,EAAW;IAChC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,KAAK,KAAK,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IACvD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,UAAU,EAAE,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC;QACrD,MAAM,WAAW,GAAG,UAAU,EAAE,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC;QACrD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,MAAM,SAAS,IAAI,WAAW,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,UAAU,CAAC,EAAW;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,iDAAiD;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE3D,uBAAuB;IACvB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,6BAA6B;IAC7B,SAAS,UAAU,CAAC,MAAc,EAAE,MAAc,EAAE,MAAe;QACjE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO;QAElB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,GAAG,KAAK,CAAC,CAAC;QAEvC,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YAC5B,UAAU,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,iCAAiC;QACjC,KAAK,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,OAAO,aAAa,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,IAAI,KAAK,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;YAC/B,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/package.json

@@ -0,0 +1,54 @@
+{
+  "name": "@graph-ir/mcp-server",
+  "version": "0.2.0",
+  "description": "MCP server for Graph-IR validation, generation, and layout",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "bin": {
+    "graph-ir-mcp": "dist/index.js"
+  },
+  "scripts": {
+    "build": "tsc",
+    "dev": "tsc --watch",
+    "start": "node dist/index.js",
+    "test": "vitest",
+    "lint": "eslint src/",
+    "prepack": "npm run build"
+  },
+  "keywords": [
+    "mcp",
+    "graph-ir",
+    "validation",
+    "layout",
+    "elk"
+  ],
+  "author": "",
+  "license": "MIT",
+  "dependencies": {
+    "@graph-ir/core": "0.2.0",
+    "@modelcontextprotocol/sdk": "1.30.0",
+    "elkjs": "0.12.0"
+  },
+  "devDependencies": {
+    "@types/node": "24.10.1",
+    "typescript": "6.0.3",
+    "vitest": "5.0.0"
+  },
+  "engines": {
+    "node": ">=24.19.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/coreyt/graph-ir-tools.git",
+    "directory": "packages/mcp-server"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "publishConfig": {
+    "access": "public"
+  }
+}