@grafema/mcp 0.2.1-beta → 0.2.6-beta

package/dist/handlers/index.js

@@ -0,0 +1,14 @@
+/**
+ * MCP Tool Handlers — barrel export
+ */
+export { handleQueryGraph, handleFindCalls, handleFindNodes } from './query-handlers.js';
+export { handleTraceAlias, handleTraceDataFlow, handleCheckInvariant } from './dataflow-handlers.js';
+export { handleAnalyzeProject, handleGetAnalysisStatus, handleGetStats, handleGetSchema } from './analysis-handlers.js';
+export { handleCreateGuarantee, handleListGuarantees, handleCheckGuarantees, handleDeleteGuarantee } from './guarantee-handlers.js';
+export { handleGetFunctionDetails, handleGetContext, handleGetFileOverview } from './context-handlers.js';
+export { handleReadProjectStructure, handleWriteConfig } from './project-handlers.js';
+export { handleGetCoverage } from './coverage-handlers.js';
+export { handleFindGuards } from './guard-handlers.js';
+export { handleGetDocumentation } from './documentation-handlers.js';
+export { handleReportIssue } from './issue-handlers.js';
+//# sourceMappingURL=index.js.map

package/dist/handlers/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/handlers/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACrG,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACxH,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AACpI,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC1G,OAAO,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/handlers/issue-handlers.d.ts

@@ -0,0 +1,6 @@
+/**
+ * MCP Issue Handlers
+ */
+import type { ToolResult, ReportIssueArgs } from '../types.js';
+export declare function handleReportIssue(args: ReportIssueArgs): Promise<ToolResult>;
+//# sourceMappingURL=issue-handlers.d.ts.map

package/dist/handlers/issue-handlers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"issue-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/issue-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH,OAAO,KAAK,EACV,UAAU,EACV,eAAe,EAChB,MAAM,aAAa,CAAC;AAIrB,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAkElF"}

package/dist/handlers/issue-handlers.js

@@ -0,0 +1,66 @@
+/**
+ * MCP Issue Handlers
+ */
+import { textResult, } from '../utils.js';
+// === BUG REPORTING ===
+export async function handleReportIssue(args) {
+    const { title, description, context, labels = ['bug'] } = args;
+    // Use user's token if provided, otherwise fall back to project's issue-only token
+    const GRAFEMA_ISSUE_TOKEN = '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';
+    const githubToken = process.env.GITHUB_TOKEN || GRAFEMA_ISSUE_TOKEN;
+    const repo = 'Disentinel/grafema';
+    // Build issue body
+    const body = `## Description
+${description}
+
+${context ? `## Context\n\`\`\`\n${context}\n\`\`\`\n` : ''}
+## Environment
+- Grafema version: 0.1.0-alpha.1
+- Reported via: MCP tool
+
+---
+*This issue was automatically created via Grafema MCP server.*`;
+    // Try GitHub API if token is available
+    if (githubToken) {
+        try {
+            const response = await fetch(`https://api.github.com/repos/${repo}/issues`, {
+                method: 'POST',
+                headers: {
+                    'Authorization': `token ${githubToken}`,
+                    'Content-Type': 'application/json',
+                    'Accept': 'application/vnd.github.v3+json',
+                },
+                body: JSON.stringify({
+                    title,
+                    body,
+                    labels: labels.filter(l => ['bug', 'enhancement', 'documentation', 'question'].includes(l)),
+                }),
+            });
+            if (response.ok) {
+                const issue = await response.json();
+                return textResult(`✅ Issue created successfully!\n\n` +
+                    `**Issue #${issue.number}**: ${issue.html_url}\n\n` +
+                    `Thank you for reporting this issue.`);
+            }
+            else {
+                const error = await response.text();
+                throw new Error(`GitHub API error: ${response.status} - ${error}`);
+            }
+        }
+        catch (error) {
+            // Fall through to manual template if API fails
+            console.error('[report_issue] GitHub API failed:', error);
+        }
+    }
+    // Fallback: return template for manual submission
+    const issueUrl = `https://github.com/${repo}/issues/new`;
+    const encodedTitle = encodeURIComponent(title);
+    const encodedBody = encodeURIComponent(body);
+    const encodedLabels = encodeURIComponent(labels.join(','));
+    const directUrl = `${issueUrl}?title=${encodedTitle}&body=${encodedBody}&labels=${encodedLabels}`;
+    return textResult(`⚠️ Failed to create issue automatically. Please create it manually:\n\n` +
+        `**Quick link** (may truncate long descriptions):\n${directUrl}\n\n` +
+        `**Or copy this template to** ${issueUrl}:\n\n` +
+        `---\n**Title:** ${title}\n\n${body}\n---`);
+}
+//# sourceMappingURL=issue-handlers.js.map

package/dist/handlers/issue-handlers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"issue-handlers.js","sourceRoot":"","sources":["../../src/handlers/issue-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,GACX,MAAM,aAAa,CAAC;AAMrB,wBAAwB;AAExB,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAqB;IAC3D,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC;IAC/D,kFAAkF;IAClF,MAAM,mBAAmB,GAAG,+FAA+F,CAAC;IAC5H,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,mBAAmB,CAAC;IACpE,MAAM,IAAI,GAAG,oBAAoB,CAAC;IAElC,mBAAmB;IACnB,MAAM,IAAI,GAAG;EACb,WAAW;;EAEX,OAAO,CAAC,CAAC,CAAC,uBAAuB,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE;;;;;;+DAMI,CAAC;IAE9D,uCAAuC;IACvC,IAAI,WAAW,EAAE,CAAC;QAChB,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,gCAAgC,IAAI,SAAS,EAAE;gBAC1E,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACP,eAAe,EAAE,SAAS,WAAW,EAAE;oBACvC,cAAc,EAAE,kBAAkB;oBAClC,QAAQ,EAAE,gCAAgC;iBAC3C;gBACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,KAAK;oBACL,IAAI;oBACJ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;iBAC5F,CAAC;aACH,CAAC,CAAC;YAEH,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC;gBAChB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAA0C,CAAC;gBAC5E,OAAO,UAAU,CACf,mCAAmC;oBACnC,YAAY,KAAK,CAAC,MAAM,OAAO,KAAK,CAAC,QAAQ,MAAM;oBACnD,qCAAqC,CACtC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,CAAC,MAAM,MAAM,KAAK,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,+CAA+C;YAC/C,OAAO,CAAC,KAAK,CAAC,mCAAmC,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,MAAM,QAAQ,GAAG,sBAAsB,IAAI,aAAa,CAAC;IACzD,MAAM,YAAY,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,GAAG,QAAQ,UAAU,YAAY,SAAS,WAAW,WAAW,aAAa,EAAE,CAAC;IAElG,OAAO,UAAU,CACf,yEAAyE;QACzE,qDAAqD,SAAS,MAAM;QACpE,gCAAgC,QAAQ,OAAO;QAC/C,mBAAmB,KAAK,OAAO,IAAI,OAAO,CAC3C,CAAC;AACJ,CAAC"}

package/dist/handlers/project-handlers.d.ts

@@ -0,0 +1,7 @@
+/**
+ * MCP Project Handlers
+ */
+import type { ToolResult, ReadProjectStructureArgs, WriteConfigArgs } from '../types.js';
+export declare function handleReadProjectStructure(args: ReadProjectStructureArgs): Promise<ToolResult>;
+export declare function handleWriteConfig(args: WriteConfigArgs): Promise<ToolResult>;
+//# sourceMappingURL=project-handlers.d.ts.map

package/dist/handlers/project-handlers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/project-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAYH,OAAO,KAAK,EACV,UAAU,EACV,wBAAwB,EACxB,eAAe,EAChB,MAAM,aAAa,CAAC;AAIrB,wBAAsB,0BAA0B,CAC9C,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,UAAU,CAAC,CA8ErB;AAID,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,UAAU,CAAC,CA2FrB"}

package/dist/handlers/project-handlers.js

@@ -0,0 +1,153 @@
+/**
+ * MCP Project Handlers
+ */
+import { getProjectPath } from '../state.js';
+import { validateServices, validatePatterns, validateWorkspace, GRAFEMA_VERSION, getSchemaVersion } from '@grafema/core';
+import { existsSync, readdirSync, statSync, writeFileSync, mkdirSync } from 'fs';
+import { join, basename } from 'path';
+import { stringify as stringifyYAML } from 'yaml';
+import { textResult, errorResult, } from '../utils.js';
+// === PROJECT STRUCTURE (REG-173) ===
+export async function handleReadProjectStructure(args) {
+    const projectPath = getProjectPath();
+    const subPath = args.path || '.';
+    const maxDepth = Math.min(Math.max(1, args.depth || 3), 5);
+    const includeFiles = args.include_files !== false;
+    const targetPath = join(projectPath, subPath);
+    if (!existsSync(targetPath)) {
+        return errorResult(`Path does not exist: ${subPath}`);
+    }
+    if (!statSync(targetPath).isDirectory()) {
+        return errorResult(`Path is not a directory: ${subPath}`);
+    }
+    const EXCLUDED = new Set([
+        'node_modules', '.git', 'dist', 'build', '.grafema',
+        'coverage', '.next', '.nuxt', '.cache', '.output',
+        '__pycache__', '.tox', 'target',
+    ]);
+    const lines = [];
+    function walk(dir, prefix, depth) {
+        if (depth > maxDepth)
+            return;
+        let entries;
+        try {
+            entries = readdirSync(dir, { withFileTypes: true });
+        }
+        catch {
+            return;
+        }
+        const dirs = [];
+        const files = [];
+        for (const entry of entries) {
+            if (EXCLUDED.has(entry.name))
+                continue;
+            if (entry.isDirectory()) {
+                dirs.push(entry.name);
+            }
+            else if (includeFiles) {
+                files.push(entry.name);
+            }
+        }
+        dirs.sort();
+        files.sort();
+        const allEntries = [
+            ...dirs.map(d => ({ name: d, isDir: true })),
+            ...files.map(f => ({ name: f, isDir: false })),
+        ];
+        for (let i = 0; i < allEntries.length; i++) {
+            const entry = allEntries[i];
+            const isLast = i === allEntries.length - 1;
+            const connector = isLast ? '└── ' : '├── ';
+            const childPrefix = isLast ? '    ' : '│   ';
+            if (entry.isDir) {
+                lines.push(`${prefix}${connector}${entry.name}/`);
+                walk(join(dir, entry.name), prefix + childPrefix, depth + 1);
+            }
+            else {
+                lines.push(`${prefix}${connector}${entry.name}`);
+            }
+        }
+    }
+    lines.push(subPath === '.' ? basename(projectPath) + '/' : subPath + '/');
+    walk(targetPath, '', 1);
+    if (lines.length === 1) {
+        return textResult(`Directory is empty or contains only excluded entries: ${subPath}`);
+    }
+    return textResult(lines.join('\n'));
+}
+// === WRITE CONFIG (REG-173) ===
+export async function handleWriteConfig(args) {
+    const projectPath = getProjectPath();
+    const grafemaDir = join(projectPath, '.grafema');
+    const configPath = join(grafemaDir, 'config.yaml');
+    try {
+        if (args.services) {
+            validateServices(args.services, projectPath);
+        }
+        if (args.include !== undefined || args.exclude !== undefined) {
+            const warnings = [];
+            validatePatterns(args.include, args.exclude, {
+                warn: (msg) => warnings.push(msg),
+            });
+        }
+        if (args.workspace) {
+            validateWorkspace(args.workspace, projectPath);
+        }
+        const config = {
+            version: getSchemaVersion(GRAFEMA_VERSION),
+        };
+        if (args.services && args.services.length > 0) {
+            config.services = args.services;
+        }
+        if (args.plugins) {
+            config.plugins = args.plugins;
+        }
+        if (args.include) {
+            config.include = args.include;
+        }
+        if (args.exclude) {
+            config.exclude = args.exclude;
+        }
+        if (args.workspace) {
+            config.workspace = args.workspace;
+        }
+        const yaml = stringifyYAML(config, { lineWidth: 0 });
+        const content = '# Grafema Configuration\n' +
+            '# Generated by Grafema onboarding\n' +
+            '# Documentation: https://github.com/grafema/grafema#configuration\n\n' +
+            yaml;
+        if (!existsSync(grafemaDir)) {
+            mkdirSync(grafemaDir, { recursive: true });
+        }
+        writeFileSync(configPath, content);
+        const summary = ['Configuration written to .grafema/config.yaml'];
+        if (args.services && args.services.length > 0) {
+            summary.push(`Services: ${args.services.map(s => s.name).join(', ')}`);
+        }
+        else {
+            summary.push('Services: using auto-discovery (none explicitly configured)');
+        }
+        if (args.plugins) {
+            summary.push('Plugins: custom configuration');
+        }
+        else {
+            summary.push('Plugins: using defaults');
+        }
+        if (args.include) {
+            summary.push(`Include patterns: ${args.include.join(', ')}`);
+        }
+        if (args.exclude) {
+            summary.push(`Exclude patterns: ${args.exclude.join(', ')}`);
+        }
+        if (args.workspace?.roots) {
+            summary.push(`Workspace roots: ${args.workspace.roots.join(', ')}`);
+        }
+        summary.push('\nNext step: run analyze_project to build the graph.');
+        return textResult(summary.join('\n'));
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return errorResult(`Failed to write config: ${message}`);
+    }
+}
+//# sourceMappingURL=project-handlers.js.map

package/dist/handlers/project-handlers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-handlers.js","sourceRoot":"","sources":["../../src/handlers/project-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACzH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,IAAI,CAAC;AAEjF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AACtC,OAAO,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EACL,UAAU,EACV,WAAW,GACZ,MAAM,aAAa,CAAC;AAOrB,sCAAsC;AAEtC,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,IAA8B;IAE9B,MAAM,WAAW,GAAG,cAAc,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC;IAElD,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAE9C,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,OAAO,WAAW,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACxC,OAAO,WAAW,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;QACvB,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU;QACnD,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACjD,aAAa,EAAE,MAAM,EAAE,QAAQ;KAChC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,SAAS,IAAI,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;QACtD,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO;QAE7B,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YAEvC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;iBAAM,IAAI,YAAY,EAAE,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,KAAK,CAAC,IAAI,EAAE,CAAC;QAEb,MAAM,UAAU,GAAG;YACjB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5C,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SAC/C,CAAC;QAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,MAAM,GAAG,CAAC,KAAK,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;YAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YAC3C,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YAE7C,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,SAAS,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;gBAClD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,SAAS,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC;IAC1E,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAExB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,UAAU,CAAC,yDAAyD,OAAO,EAAE,CAAC,CAAC;IACxF,CAAC;IAED,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,iCAAiC;AAEjC,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAqB;IAErB,MAAM,WAAW,GAAG,cAAc,EAAE,CAAC;IACrC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAEnD,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;YAC9B,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;gBAC3C,IAAI,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;aAC1C,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,MAAM,GAA4B;YACtC,OAAO,EAAE,gBAAgB,CAAC,eAAe,CAAC;SAC3C,CAAC;QAEF,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAClC,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAChC,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAChC,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAChC,CAAC;QAED,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACpC,CAAC;QAED,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,OAAO,GACX,2BAA2B;YAC3B,qCAAqC;YACrC,uEAAuE;YACvE,IAAI,CAAC;QAEP,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,SAAS,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7C,CAAC;QAED,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAEnC,MAAM,OAAO,GAAa,CAAC,+CAA+C,CAAC,CAAC;QAE5E,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;QAC9E,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,IAAI,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;QAErE,OAAO,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,WAAW,CAAC,2BAA2B,OAAO,EAAE,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC"}

package/dist/handlers/query-handlers.d.ts

@@ -0,0 +1,8 @@
+/**
+ * MCP Query Handlers
+ */
+import type { ToolResult, QueryGraphArgs, FindCallsArgs, FindNodesArgs } from '../types.js';
+export declare function handleQueryGraph(args: QueryGraphArgs): Promise<ToolResult>;
+export declare function handleFindCalls(args: FindCallsArgs): Promise<ToolResult>;
+export declare function handleFindNodes(args: FindNodesArgs): Promise<ToolResult>;
+//# sourceMappingURL=query-handlers.d.ts.map

package/dist/handlers/query-handlers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/query-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAYH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,aAAa,EACb,aAAa,EAId,MAAM,aAAa,CAAC;AAIrB,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CA8EhF;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CA0E9E;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAiD9E"}

package/dist/handlers/query-handlers.js

@@ -0,0 +1,171 @@
+/**
+ * MCP Query Handlers
+ */
+import { ensureAnalyzed } from '../analysis.js';
+import { normalizeLimit, formatPaginationInfo, guardResponseSize, serializeBigInt, findSimilarTypes, textResult, errorResult, } from '../utils.js';
+// === QUERY HANDLERS ===
+export async function handleQueryGraph(args) {
+    const db = await ensureAnalyzed();
+    const { query, limit: requestedLimit, offset: requestedOffset, format: _format, explain: _explain } = args;
+    const limit = normalizeLimit(requestedLimit);
+    const offset = Math.max(0, requestedOffset || 0);
+    try {
+        // Check if backend supports Datalog queries
+        if (!('checkGuarantee' in db)) {
+            return errorResult('Backend does not support Datalog queries');
+        }
+        const checkFn = db.checkGuarantee;
+        const results = await checkFn(query);
+        const total = results.length;
+        if (total === 0) {
+            const nodeCounts = await db.countNodesByType();
+            const totalNodes = Object.values(nodeCounts).reduce((a, b) => a + b, 0);
+            const typeMatch = query.match(/node\([^,]+,\s*"([^"]+)"\)/);
+            const queriedType = typeMatch ? typeMatch[1] : null;
+            let hint = '';
+            if (queriedType && !nodeCounts[queriedType]) {
+                const availableTypes = Object.keys(nodeCounts);
+                const similar = findSimilarTypes(queriedType, availableTypes);
+                if (similar.length > 0) {
+                    hint = `\n💡 Did you mean: ${similar.join(', ')}?`;
+                }
+                else {
+                    hint = `\n💡 Available types: ${availableTypes.slice(0, 10).join(', ')}${availableTypes.length > 10 ? '...' : ''}`;
+                }
+            }
+            return textResult(`Query returned no results.${hint}\n📊 Graph: ${totalNodes.toLocaleString()} nodes`);
+        }
+        const paginatedResults = results.slice(offset, offset + limit);
+        const hasMore = offset + limit < total;
+        const enrichedResults = [];
+        for (const result of paginatedResults) {
+            const nodeId = result.bindings?.find((b) => b.name === 'X')?.value;
+            if (nodeId) {
+                const node = await db.getNode(nodeId);
+                if (node) {
+                    enrichedResults.push({
+                        ...node,
+                        id: nodeId,
+                        file: node.file,
+                        line: node.line,
+                    });
+                }
+            }
+        }
+        const paginationInfo = formatPaginationInfo({
+            limit,
+            offset,
+            returned: enrichedResults.length,
+            total,
+            hasMore,
+        });
+        const responseText = `Found ${total} result(s):${paginationInfo}\n\n${JSON.stringify(serializeBigInt(enrichedResults), null, 2)}`;
+        return textResult(guardResponseSize(responseText));
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return errorResult(message);
+    }
+}
+export async function handleFindCalls(args) {
+    const db = await ensureAnalyzed();
+    const { target: name, limit: requestedLimit, offset: requestedOffset, className } = args;
+    const limit = normalizeLimit(requestedLimit);
+    const offset = Math.max(0, requestedOffset || 0);
+    const calls = [];
+    let skipped = 0;
+    let totalMatched = 0;
+    for await (const node of db.queryNodes({ type: 'CALL' })) {
+        if (node.name !== name && node['method'] !== name)
+            continue;
+        if (className && node['object'] !== className)
+            continue;
+        totalMatched++;
+        if (skipped < offset) {
+            skipped++;
+            continue;
+        }
+        if (calls.length >= limit)
+            continue;
+        const callsEdges = await db.getOutgoingEdges(node.id, ['CALLS']);
+        const isResolved = callsEdges.length > 0;
+        let target = null;
+        if (isResolved) {
+            const targetNode = await db.getNode(callsEdges[0].dst);
+            target = targetNode
+                ? {
+                    type: targetNode.type,
+                    name: targetNode.name ?? '',
+                    file: targetNode.file,
+                    line: targetNode.line,
+                }
+                : null;
+        }
+        calls.push({
+            id: node.id,
+            name: node.name,
+            object: node['object'],
+            file: node.file,
+            line: node.line,
+            resolved: isResolved,
+            target,
+        });
+    }
+    if (totalMatched === 0) {
+        return textResult(`No calls found for "${className ? className + '.' : ''}${name}"`);
+    }
+    const resolved = calls.filter(c => c.resolved).length;
+    const unresolved = calls.length - resolved;
+    const hasMore = offset + calls.length < totalMatched;
+    const paginationInfo = formatPaginationInfo({
+        limit,
+        offset,
+        returned: calls.length,
+        total: totalMatched,
+        hasMore,
+    });
+    const responseText = `Found ${totalMatched} call(s) to "${className ? className + '.' : ''}${name}":${paginationInfo}\n` +
+        `- Resolved: ${resolved}\n` +
+        `- Unresolved: ${unresolved}\n\n` +
+        JSON.stringify(serializeBigInt(calls), null, 2);
+    return textResult(guardResponseSize(responseText));
+}
+export async function handleFindNodes(args) {
+    const db = await ensureAnalyzed();
+    const { type, name, file, limit: requestedLimit, offset: requestedOffset } = args;
+    const limit = normalizeLimit(requestedLimit);
+    const offset = Math.max(0, requestedOffset || 0);
+    const filter = {};
+    if (type)
+        filter.type = type;
+    if (name)
+        filter.name = name;
+    if (file)
+        filter.file = file;
+    const nodes = [];
+    let skipped = 0;
+    let totalMatched = 0;
+    for await (const node of db.queryNodes(filter)) {
+        totalMatched++;
+        if (skipped < offset) {
+            skipped++;
+            continue;
+        }
+        if (nodes.length < limit) {
+            nodes.push(node);
+        }
+    }
+    if (totalMatched === 0) {
+        return textResult('No nodes found matching criteria');
+    }
+    const hasMore = offset + nodes.length < totalMatched;
+    const paginationInfo = formatPaginationInfo({
+        limit,
+        offset,
+        returned: nodes.length,
+        total: totalMatched,
+        hasMore,
+    });
+    return textResult(`Found ${totalMatched} node(s):${paginationInfo}\n\n${JSON.stringify(serializeBigInt(nodes), null, 2)}`);
+}
+//# sourceMappingURL=query-handlers.js.map

package/dist/handlers/query-handlers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-handlers.js","sourceRoot":"","sources":["../../src/handlers/query-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,WAAW,GACZ,MAAM,aAAa,CAAC;AAWrB,yBAAyB;AAEzB,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAAoB;IACzD,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAClC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAE3G,MAAM,KAAK,GAAG,cAAc,CAAC,cAAc,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,eAAe,IAAI,CAAC,CAAC,CAAC;IAEjD,IAAI,CAAC;QACH,4CAA4C;QAC5C,IAAI,CAAC,CAAC,gBAAgB,IAAI,EAAE,CAAC,EAAE,CAAC;YAC9B,OAAO,WAAW,CAAC,0CAA0C,CAAC,CAAC;QACjE,CAAC;QAED,MAAM,OAAO,GAAI,EAAyH,CAAC,cAAc,CAAC;QAC1J,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;QAE7B,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;YAC/C,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAExE,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAC5D,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAEpD,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,IAAI,WAAW,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC5C,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/C,MAAM,OAAO,GAAG,gBAAgB,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;gBAC9D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,IAAI,GAAG,sBAAsB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACN,IAAI,GAAG,yBAAyB,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACrH,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CACf,6BAA6B,IAAI,eAAe,UAAU,CAAC,cAAc,EAAE,QAAQ,CACpF,CAAC;QACJ,CAAC;QAED,MAAM,gBAAgB,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC;QAEvC,MAAM,eAAe,GAAc,EAAE,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAiB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC;YACnF,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACtC,IAAI,IAAI,EAAE,CAAC;oBACT,eAAe,CAAC,IAAI,CAAC;wBACnB,GAAG,IAAI;wBACP,EAAE,EAAE,MAAM;wBACV,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,IAAI,CAAC,IAAI;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,cAAc,GAAG,oBAAoB,CAAC;YAC1C,KAAK;YACL,MAAM;YACN,QAAQ,EAAE,eAAe,CAAC,MAAM;YAChC,KAAK;YACL,OAAO;SACR,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,SAAS,KAAK,cAAc,cAAc,OAAO,IAAI,CAAC,SAAS,CAClF,eAAe,CAAC,eAAe,CAAC,EAChC,IAAI,EACJ,CAAC,CACF,EAAE,CAAC;QAEJ,OAAO,UAAU,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAmB;IACvD,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAClC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;IAEzF,MAAM,KAAK,GAAG,cAAc,CAAC,cAAc,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,eAAe,IAAI,CAAC,CAAC,CAAC;IAEjD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI;YAAE,SAAS;QAC5D,IAAI,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,SAAS;YAAE,SAAS;QAExD,YAAY,EAAE,CAAC;QAEf,IAAI,OAAO,GAAG,MAAM,EAAE,CAAC;YACrB,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK;YAAE,SAAS;QAEpC,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QAEzC,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACvD,MAAM,GAAG,UAAU;gBACjB,CAAC,CAAC;oBACE,IAAI,EAAE,UAAU,CAAC,IAAI;oBACrB,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,EAAE;oBAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;oBACrB,IAAI,EAAE,UAAU,CAAC,IAAI;iBACtB;gBACH,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAuB;YAC5C,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,UAAU;YACpB,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IAED,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,UAAU,CAAC,uBAAuB,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IACtD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,YAAY,CAAC;IAErD,MAAM,cAAc,GAAG,oBAAoB,CAAC;QAC1C,KAAK;QACL,MAAM;QACN,QAAQ,EAAE,KAAK,CAAC,MAAM;QACtB,KAAK,EAAE,YAAY;QACnB,OAAO;KACR,CAAC,CAAC;IAEH,MAAM,YAAY,GAChB,SAAS,YAAY,gBAAgB,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,KAAK,cAAc,IAAI;QACnG,eAAe,QAAQ,IAAI;QAC3B,iBAAiB,UAAU,MAAM;QACjC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAElD,OAAO,UAAU,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAmB;IACvD,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAClC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC;IAElF,MAAM,KAAK,GAAG,cAAc,CAAC,cAAc,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,eAAe,IAAI,CAAC,CAAC,CAAC;IAEjD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,IAAI,IAAI;QAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IAC7B,IAAI,IAAI;QAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IAC7B,IAAI,IAAI;QAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IAE7B,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,YAAY,EAAE,CAAC;QAEf,IAAI,OAAO,GAAG,MAAM,EAAE,CAAC;YACrB,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,UAAU,CAAC,kCAAkC,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,YAAY,CAAC;IACrD,MAAM,cAAc,GAAG,oBAAoB,CAAC;QAC1C,KAAK;QACL,MAAM;QACN,QAAQ,EAAE,KAAK,CAAC,MAAM;QACtB,KAAK,EAAE,YAAY;QACnB,OAAO;KACR,CAAC,CAAC;IAEH,OAAO,UAAU,CACf,SAAS,YAAY,YAAY,cAAc,OAAO,IAAI,CAAC,SAAS,CAClE,eAAe,CAAC,KAAK,CAAC,EACtB,IAAI,EACJ,CAAC,CACF,EAAE,CACJ,CAAC;AACJ,CAAC"}

package/dist/handlers.d.ts

@@ -1,7 +1,7 @@
 /**
  * MCP Tool Handlers
  */
-import type { ToolResult, QueryGraphArgs, FindCallsArgs, FindNodesArgs, TraceAliasArgs, TraceDataFlowArgs, CheckInvariantArgs, AnalyzeProjectArgs, GetSchemaArgs, CreateGuaranteeArgs, CheckGuaranteesArgs, DeleteGuaranteeArgs, GetCoverageArgs, GetDocumentationArgs, FindGuardsArgs, GetFunctionDetailsArgs } from './types.js';
+import type { ToolResult, QueryGraphArgs, FindCallsArgs, FindNodesArgs, TraceAliasArgs, TraceDataFlowArgs, CheckInvariantArgs, AnalyzeProjectArgs, GetSchemaArgs, CreateGuaranteeArgs, CheckGuaranteesArgs, DeleteGuaranteeArgs, GetCoverageArgs, GetDocumentationArgs, FindGuardsArgs, GetFunctionDetailsArgs, GetContextArgs, GetFileOverviewArgs, ReportIssueArgs, ReadProjectStructureArgs, WriteConfigArgs } from './types.js';
 export declare function handleQueryGraph(args: QueryGraphArgs): Promise<ToolResult>;
 export declare function handleFindCalls(args: FindCallsArgs): Promise<ToolResult>;
 export declare function handleFindNodes(args: FindNodesArgs): Promise<ToolResult>;
@@ -53,5 +53,9 @@ export declare function handleFindGuards(args: FindGuardsArgs): Promise<ToolResu
  * Use transitive=true to follow call chains (A -> B -> C).
  */
 export declare function handleGetFunctionDetails(args: GetFunctionDetailsArgs): Promise<ToolResult>;
-export declare function handleReportIssue(args: import('./types.js').ReportIssueArgs): Promise<ToolResult>;
+export declare function handleGetContext(args: GetContextArgs): Promise<ToolResult>;
+export declare function handleReportIssue(args: ReportIssueArgs): Promise<ToolResult>;
+export declare function handleReadProjectStructure(args: ReadProjectStructureArgs): Promise<ToolResult>;
+export declare function handleWriteConfig(args: WriteConfigArgs): Promise<ToolResult>;
+export declare function handleGetFileOverview(args: GetFileOverviewArgs): Promise<ToolResult>;
 //# sourceMappingURL=handlers.d.ts.map

package/dist/handlers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"handlers.d.ts","sourceRoot":"","sources":["../src/handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAgBH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,aAAa,EACb,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,eAAe,EACf,oBAAoB,EACpB,cAAc,EAEd,sBAAsB,EAGvB,MAAM,YAAY,CAAC;AAKpB,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CA8EhF;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CA2E9E;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAiD9E;AAID,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CA2DhF;AAED,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CA+DtF;AAED,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CA4CxF;AAID,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CA4BxF;AAED,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,UAAU,CAAC,CAYnE;AAED,wBAAsB,cAAc,IAAI,OAAO,CAAC,UAAU,CAAC,CAe1D;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAwB9E;AAID;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CA6D1F;AAED;;GAEG;AACH,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,UAAU,CAAC,CAyChE;AAED;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CAwG1F;AAED;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CA8B1F;AAID,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAqClF;AAED,wBAAsB,sBAAsB,CAAC,IAAI,EAAE,oBAAoB,GAAG,OAAO,CAAC,UAAU,CAAC,CAwE5F;AAID;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAyEhF;AAID;;;;;;;;;;;;GAYG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,sBAAsB,GAC3B,OAAO,CAAC,UAAU,CAAC,CA6ErB;AA+CD,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,OAAO,YAAY,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAkEvG"}
+{"version":3,"file":"handlers.d.ts","sourceRoot":"","sources":["../src/handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAmBH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,aAAa,EACb,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,eAAe,EACf,oBAAoB,EACpB,cAAc,EAEd,sBAAsB,EACtB,cAAc,EACd,mBAAmB,EAInB,eAAe,EACf,wBAAwB,EACxB,eAAe,EAChB,MAAM,YAAY,CAAC;AAKpB,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CA8EhF;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CA0E9E;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAiD9E;AAID,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CA2DhF;AAED,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CA+DtF;AAED,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CA6CxF;AAID,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CA6BxF;AAED,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,UAAU,CAAC,CAYnE;AAED,wBAAsB,cAAc,IAAI,OAAO,CAAC,UAAU,CAAC,CAe1D;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAwB9E;AAID;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CA8D1F;AAED;;GAEG;AACH,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,UAAU,CAAC,CA0ChE;AAED;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CAyG1F;AAED;;GAEG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CA+B1F;AAID,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAsClF;AAED,wBAAsB,sBAAsB,CAAC,IAAI,EAAE,oBAAoB,GAAG,OAAO,CAAC,UAAU,CAAC,CAyE5F;AAID;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAyEhF;AAID;;;;;;;;;;;;GAYG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,sBAAsB,GAC3B,OAAO,CAAC,UAAU,CAAC,CA6ErB;AA+CD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,UAAU,CAAC,CA4HrB;AAID,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAkElF;AAID,wBAAsB,0BAA0B,CAC9C,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,UAAU,CAAC,CA8ErB;AAID,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,UAAU,CAAC,CA2FrB;AAID,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,UAAU,CAAC,CA2GrB"}