@grafema/mcp 0.2.5-beta → 0.2.6-beta

package/dist/handlers/documentation-handlers.js

@@ -0,0 +1,79 @@
+/**
+ * MCP Documentation Handlers
+ */
+import { getOnboardingInstruction } from '@grafema/core';
+import { textResult, } from '../utils.js';
+// === DOCUMENTATION ===
+export async function handleGetDocumentation(args) {
+    const { topic = 'overview' } = args;
+    const docs = {
+        onboarding: getOnboardingInstruction(),
+        overview: `
+# Grafema Code Analysis
+
+Grafema is a static code analyzer that builds a graph of your codebase.
+
+## Key Tools
+- query_graph: Execute Datalog queries
+- find_calls: Find function/method calls
+- trace_alias: Trace variable aliases
+- check_invariant: Verify code invariants
+
+## Quick Start
+1. Use get_stats to see graph size
+2. Use find_nodes to explore the codebase
+3. Use query_graph for complex queries
+`,
+        queries: `
+# Datalog Queries
+
+## Syntax
+violation(X) :- node(X, "TYPE"), attr(X, "name", "value").
+
+## Available Predicates
+- node(Id, Type) - match nodes
+- edge(Src, Dst, Type) - match edges
+- attr(Id, Name, Value) - match attributes
+- \\+ - negation (not)
+
+## Examples
+Find all functions:
+  violation(X) :- node(X, "FUNCTION").
+
+Find unresolved calls:
+  violation(X) :- node(X, "CALL"), \\+ edge(X, _, "CALLS").
+`,
+        types: `
+# Node & Edge Types
+
+## Core Node Types
+- MODULE, FUNCTION, CLASS, METHOD, VARIABLE
+- CALL, PROPERTY_ACCESS, IMPORT, EXPORT, PARAMETER
+
+## HTTP/Network
+- http:route, http:request, db:query
+
+## Edge Types
+- CONTAINS, CALLS, DEPENDS_ON
+- ASSIGNED_FROM, INSTANCE_OF, PASSES_ARGUMENT
+`,
+        guarantees: `
+# Code Guarantees
+
+Guarantees are persistent code invariants.
+
+## Create
+Use create_guarantee with a name and Datalog rule.
+
+## Check
+Use check_guarantees to verify all guarantees.
+
+## Example
+Name: no-eval
+Rule: violation(X) :- node(X, "CALL"), attr(X, "name", "eval").
+`,
+    };
+    const content = docs[topic] || docs.overview;
+    return textResult(content.trim());
+}
+//# sourceMappingURL=documentation-handlers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"documentation-handlers.js","sourceRoot":"","sources":["../../src/handlers/documentation-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,EACL,UAAU,GACX,MAAM,aAAa,CAAC;AAMrB,wBAAwB;AAExB,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAA0B;IACrE,MAAM,EAAE,KAAK,GAAG,UAAU,EAAE,GAAG,IAAI,CAAC;IAEpC,MAAM,IAAI,GAA2B;QACnC,UAAU,EAAE,wBAAwB,EAAE;QACtC,QAAQ,EAAE;;;;;;;;;;;;;;;CAeb;QACG,OAAO,EAAE;;;;;;;;;;;;;;;;;;CAkBZ;QACG,KAAK,EAAE;;;;;;;;;;;;;CAaV;QACG,UAAU,EAAE;;;;;;;;;;;;;;CAcf;KACE,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC;IAC7C,OAAO,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;AACpC,CAAC"}

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

@@ -0,0 +1,21 @@
+/**
+ * MCP Guarantee Handlers
+ */
+import type { ToolResult, CreateGuaranteeArgs, CheckGuaranteesArgs, DeleteGuaranteeArgs } from '../types.js';
+/**
+ * Create a new guarantee (Datalog-based or contract-based)
+ */
+export declare function handleCreateGuarantee(args: CreateGuaranteeArgs): Promise<ToolResult>;
+/**
+ * List all guarantees (both Datalog-based and contract-based)
+ */
+export declare function handleListGuarantees(): Promise<ToolResult>;
+/**
+ * Check guarantees (both Datalog-based and contract-based)
+ */
+export declare function handleCheckGuarantees(args: CheckGuaranteesArgs): Promise<ToolResult>;
+/**
+ * Delete a guarantee
+ */
+export declare function handleDeleteGuarantee(args: DeleteGuaranteeArgs): Promise<ToolResult>;
+//# sourceMappingURL=guarantee-handlers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"guarantee-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/guarantee-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAOH,OAAO,KAAK,EACV,UAAU,EACV,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,aAAa,CAAC;AAKrB;;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"}

package/dist/handlers/guarantee-handlers.js

@@ -0,0 +1,251 @@
+/**
+ * MCP Guarantee Handlers
+ */
+import { getOrCreateBackend, getGuaranteeManager, getGuaranteeAPI } from '../state.js';
+import { textResult, errorResult, } from '../utils.js';
+import { isGuaranteeType } from '@grafema/core';
+// === GUARANTEE HANDLERS ===
+/**
+ * Create a new guarantee (Datalog-based or contract-based)
+ */
+export async function handleCreateGuarantee(args) {
+    await getOrCreateBackend(); // Ensure managers are initialized
+    const { name, rule, type, priority, status, owner, schema, condition, description, governs, severity } = args;
+    try {
+        // Determine if this is a contract-based guarantee
+        if (type && isGuaranteeType(type)) {
+            // Contract-based guarantee
+            const api = getGuaranteeAPI();
+            if (!api) {
+                return errorResult('GuaranteeAPI not initialized');
+            }
+            const guarantee = await api.createGuarantee({
+                type,
+                name,
+                priority,
+                status,
+                owner,
+                schema,
+                condition,
+                description,
+                governs,
+            });
+            return textResult(`✅ Created contract-based guarantee: ${guarantee.id}\n` +
+                `Type: ${guarantee.type}\n` +
+                `Priority: ${guarantee.priority}\n` +
+                `Status: ${guarantee.status}` +
+                (guarantee.description ? `\nDescription: ${guarantee.description}` : ''));
+        }
+        else {
+            // Datalog-based guarantee
+            if (!rule) {
+                return errorResult('Datalog-based guarantee requires "rule" field');
+            }
+            const manager = getGuaranteeManager();
+            if (!manager) {
+                return errorResult('GuaranteeManager not initialized');
+            }
+            const guarantee = await manager.create({
+                id: name,
+                name,
+                rule,
+                severity: severity || 'warning',
+                governs: governs || ['**/*.js'],
+            });
+            return textResult(`✅ Created Datalog-based guarantee: ${guarantee.id}\n` +
+                `Rule: ${guarantee.rule}\n` +
+                `Severity: ${guarantee.severity}`);
+        }
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return errorResult(`Failed to create guarantee: ${message}`);
+    }
+}
+/**
+ * List all guarantees (both Datalog-based and contract-based)
+ */
+export async function handleListGuarantees() {
+    await getOrCreateBackend(); // Ensure managers are initialized
+    const results = [];
+    try {
+        // List Datalog-based guarantees
+        const manager = getGuaranteeManager();
+        if (manager) {
+            const datalogGuarantees = await manager.list();
+            if (datalogGuarantees.length > 0) {
+                results.push('## Datalog-based Guarantees\n');
+                for (const g of datalogGuarantees) {
+                    results.push(`- **${g.id}** (${g.severity})`);
+                    results.push(`  Rule: ${g.rule.substring(0, 80)}${g.rule.length > 80 ? '...' : ''}`);
+                }
+            }
+        }
+        // List contract-based guarantees
+        const api = getGuaranteeAPI();
+        if (api) {
+            const contractGuarantees = await api.findGuarantees();
+            if (contractGuarantees.length > 0) {
+                if (results.length > 0)
+                    results.push('\n');
+                results.push('## Contract-based Guarantees\n');
+                for (const g of contractGuarantees) {
+                    results.push(`- **${g.id}** [${g.priority}] (${g.status})`);
+                    if (g.description)
+                        results.push(`  ${g.description}`);
+                }
+            }
+        }
+        if (results.length === 0) {
+            return textResult('No guarantees defined yet.');
+        }
+        return textResult(results.join('\n'));
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return errorResult(`Failed to list guarantees: ${message}`);
+    }
+}
+/**
+ * Check guarantees (both Datalog-based and contract-based)
+ */
+export async function handleCheckGuarantees(args) {
+    await getOrCreateBackend(); // Ensure managers are initialized
+    const { names } = args;
+    const results = [];
+    let totalPassed = 0;
+    let totalFailed = 0;
+    try {
+        const manager = getGuaranteeManager();
+        const api = getGuaranteeAPI();
+        if (names && names.length > 0) {
+            // Check specific guarantees
+            for (const name of names) {
+                // Try Datalog-based first
+                if (manager) {
+                    try {
+                        const result = await manager.check(name);
+                        if (result.passed) {
+                            totalPassed++;
+                            results.push(`✅ ${result.guaranteeId}: PASSED`);
+                        }
+                        else {
+                            totalFailed++;
+                            results.push(`❌ ${result.guaranteeId}: FAILED (${result.violationCount} violations)`);
+                            for (const v of result.violations.slice(0, 5)) {
+                                results.push(`   - ${v.file}:${v.line} (${v.type})`);
+                            }
+                            if (result.violationCount > 5) {
+                                results.push(`   ... and ${result.violationCount - 5} more`);
+                            }
+                        }
+                        continue;
+                    }
+                    catch {
+                        // Not a Datalog guarantee, try contract-based
+                    }
+                }
+                // Try contract-based
+                if (api) {
+                    try {
+                        const result = await api.checkGuarantee(name);
+                        if (result.passed) {
+                            totalPassed++;
+                            results.push(`✅ ${result.id}: PASSED`);
+                        }
+                        else {
+                            totalFailed++;
+                            results.push(`❌ ${result.id}: FAILED`);
+                            for (const err of result.errors.slice(0, 5)) {
+                                results.push(`   - ${err}`);
+                            }
+                        }
+                    }
+                    catch {
+                        results.push(`⚠️ ${name}: Not found`);
+                    }
+                }
+            }
+        }
+        else {
+            // Check all guarantees
+            if (manager) {
+                const datalogResult = await manager.checkAll();
+                totalPassed += datalogResult.passed;
+                totalFailed += datalogResult.failed;
+                if (datalogResult.total > 0) {
+                    results.push('## Datalog Guarantees\n');
+                    for (const r of datalogResult.results) {
+                        if (r.passed) {
+                            results.push(`✅ ${r.guaranteeId}: PASSED`);
+                        }
+                        else {
+                            results.push(`❌ ${r.guaranteeId}: FAILED (${r.violationCount} violations)`);
+                        }
+                    }
+                }
+            }
+            if (api) {
+                const contractResult = await api.checkAllGuarantees();
+                totalPassed += contractResult.passed;
+                totalFailed += contractResult.failed;
+                if (contractResult.total > 0) {
+                    if (results.length > 0)
+                        results.push('\n');
+                    results.push('## Contract Guarantees\n');
+                    for (const r of contractResult.results) {
+                        if (r.passed) {
+                            results.push(`✅ ${r.id}: PASSED`);
+                        }
+                        else {
+                            results.push(`❌ ${r.id}: FAILED`);
+                        }
+                    }
+                }
+            }
+        }
+        if (results.length === 0) {
+            return textResult('No guarantees to check.');
+        }
+        const summary = `\n---\nTotal: ${totalPassed + totalFailed} | ✅ Passed: ${totalPassed} | ❌ Failed: ${totalFailed}`;
+        return textResult(results.join('\n') + summary);
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return errorResult(`Failed to check guarantees: ${message}`);
+    }
+}
+/**
+ * Delete a guarantee
+ */
+export async function handleDeleteGuarantee(args) {
+    await getOrCreateBackend(); // Ensure managers are initialized
+    const { name } = args;
+    try {
+        // Try Datalog-based first
+        const manager = getGuaranteeManager();
+        if (manager) {
+            try {
+                await manager.delete(name);
+                return textResult(`✅ Deleted Datalog guarantee: ${name}`);
+            }
+            catch {
+                // Not found in Datalog, try contract-based
+            }
+        }
+        // Try contract-based
+        const api = getGuaranteeAPI();
+        if (api) {
+            const deleted = await api.deleteGuarantee(name);
+            if (deleted) {
+                return textResult(`✅ Deleted contract guarantee: ${name}`);
+            }
+        }
+        return errorResult(`Guarantee not found: ${name}`);
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return errorResult(`Failed to delete guarantee: ${message}`);
+    }
+}
+//# sourceMappingURL=guarantee-handlers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"guarantee-handlers.js","sourceRoot":"","sources":["../../src/handlers/guarantee-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACvF,OAAO,EACL,UAAU,EACV,WAAW,GACZ,MAAM,aAAa,CAAC;AAOrB,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,6BAA6B;AAE7B;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,IAAyB;IACnE,MAAM,kBAAkB,EAAE,CAAC,CAAC,kCAAkC;IAE9D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAE9G,IAAI,CAAC;QACH,kDAAkD;QAClD,IAAI,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,2BAA2B;YAC3B,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,OAAO,WAAW,CAAC,8BAA8B,CAAC,CAAC;YACrD,CAAC;YAED,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,eAAe,CAAC;gBAC1C,IAAI;gBACJ,IAAI;gBACJ,QAAQ;gBACR,MAAM;gBACN,KAAK;gBACL,MAAM;gBACN,SAAS;gBACT,WAAW;gBACX,OAAO;aACR,CAAC,CAAC;YAEH,OAAO,UAAU,CACf,uCAAuC,SAAS,CAAC,EAAE,IAAI;gBACvD,SAAS,SAAS,CAAC,IAAI,IAAI;gBAC3B,aAAa,SAAS,CAAC,QAAQ,IAAI;gBACnC,WAAW,SAAS,CAAC,MAAM,EAAE;gBAC7B,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,kBAAkB,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACzE,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,0BAA0B;YAC1B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO,WAAW,CAAC,+CAA+C,CAAC,CAAC;YACtE,CAAC;YAED,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;YACtC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,WAAW,CAAC,kCAAkC,CAAC,CAAC;YACzD,CAAC;YAED,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC;gBACrC,EAAE,EAAE,IAAI;gBACR,IAAI;gBACJ,IAAI;gBACJ,QAAQ,EAAE,QAAQ,IAAI,SAAS;gBAC/B,OAAO,EAAE,OAAO,IAAI,CAAC,SAAS,CAAC;aAChC,CAAC,CAAC;YAEH,OAAO,UAAU,CACf,sCAAsC,SAAS,CAAC,EAAE,IAAI;gBACtD,SAAS,SAAS,CAAC,IAAI,IAAI;gBAC3B,aAAa,SAAS,CAAC,QAAQ,EAAE,CAClC,CAAC;QACJ,CAAC;IACH,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,+BAA+B,OAAO,EAAE,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB;IACxC,MAAM,kBAAkB,EAAE,CAAC,CAAC,kCAAkC;IAE9D,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,CAAC;QACH,gCAAgC;QAChC,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,iBAAiB,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;YAC/C,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;gBAC9C,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;oBAClC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC;oBAC9C,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;QACH,CAAC;QAED,iCAAiC;QACjC,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;QAC9B,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,kBAAkB,GAAG,MAAM,GAAG,CAAC,cAAc,EAAE,CAAC;YACtD,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;gBAC/C,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;oBACnC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC5D,IAAI,CAAC,CAAC,WAAW;wBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBACxD,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,UAAU,CAAC,4BAA4B,CAAC,CAAC;QAClD,CAAC;QAED,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,8BAA8B,OAAO,EAAE,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,IAAyB;IACnE,MAAM,kBAAkB,EAAE,CAAC,CAAC,kCAAkC;IAE9D,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IACvB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;QAE9B,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,4BAA4B;YAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,0BAA0B;gBAC1B,IAAI,OAAO,EAAE,CAAC;oBACZ,IAAI,CAAC;wBACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBACzC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;4BAClB,WAAW,EAAE,CAAC;4BACd,OAAO,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,WAAW,UAAU,CAAC,CAAC;wBAClD,CAAC;6BAAM,CAAC;4BACN,WAAW,EAAE,CAAC;4BACd,OAAO,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,WAAW,aAAa,MAAM,CAAC,cAAc,cAAc,CAAC,CAAC;4BACtF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gCAC9C,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;4BACvD,CAAC;4BACD,IAAI,MAAM,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;gCAC9B,OAAO,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,cAAc,GAAG,CAAC,OAAO,CAAC,CAAC;4BAC/D,CAAC;wBACH,CAAC;wBACD,SAAS;oBACX,CAAC;oBAAC,MAAM,CAAC;wBACP,8CAA8C;oBAChD,CAAC;gBACH,CAAC;gBAED,qBAAqB;gBACrB,IAAI,GAAG,EAAE,CAAC;oBACR,IAAI,CAAC;wBACH,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;wBAC9C,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;4BAClB,WAAW,EAAE,CAAC;4BACd,OAAO,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC;wBACzC,CAAC;6BAAM,CAAC;4BACN,WAAW,EAAE,CAAC;4BACd,OAAO,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC;4BACvC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gCAC5C,OAAO,CAAC,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;4BAC9B,CAAC;wBACH,CAAC;oBACH,CAAC;oBAAC,MAAM,CAAC;wBACP,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,CAAC;oBACxC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,uBAAuB;YACvB,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,QAAQ,EAAE,CAAC;gBAC/C,WAAW,IAAI,aAAa,CAAC,MAAM,CAAC;gBACpC,WAAW,IAAI,aAAa,CAAC,MAAM,CAAC;gBAEpC,IAAI,aAAa,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;oBAC5B,OAAO,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;oBACxC,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;wBACtC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;4BACb,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,UAAU,CAAC,CAAC;wBAC7C,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,aAAa,CAAC,CAAC,cAAc,cAAc,CAAC,CAAC;wBAC9E,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,cAAc,GAAG,MAAM,GAAG,CAAC,kBAAkB,EAAE,CAAC;gBACtD,WAAW,IAAI,cAAc,CAAC,MAAM,CAAC;gBACrC,WAAW,IAAI,cAAc,CAAC,MAAM,CAAC;gBAErC,IAAI,cAAc,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;oBAC7B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;wBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC3C,OAAO,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;oBACzC,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC;wBACvC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;4BACb,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;wBACpC,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;wBACpC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,UAAU,CAAC,yBAAyB,CAAC,CAAC;QAC/C,CAAC;QAED,MAAM,OAAO,GAAG,iBAAiB,WAAW,GAAG,WAAW,gBAAgB,WAAW,gBAAgB,WAAW,EAAE,CAAC;QACnH,OAAO,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;IAClD,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,+BAA+B,OAAO,EAAE,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,IAAyB;IACnE,MAAM,kBAAkB,EAAE,CAAC,CAAC,kCAAkC;IAE9D,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAEtB,IAAI,CAAC;QACH,0BAA0B;QAC1B,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC;gBACH,MAAM,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC3B,OAAO,UAAU,CAAC,gCAAgC,IAAI,EAAE,CAAC,CAAC;YAC5D,CAAC;YAAC,MAAM,CAAC;gBACP,2CAA2C;YAC7C,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;QAC9B,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,UAAU,CAAC,iCAAiC,IAAI,EAAE,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC,wBAAwB,IAAI,EAAE,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,+BAA+B,OAAO,EAAE,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,14 @@
+/**
+ * MCP Guard Handlers
+ */
+import type { ToolResult, FindGuardsArgs } from '../types.js';
+/**
+ * Find conditional guards protecting a node.
+ *
+ * Walks up the containment tree via CONTAINS edges, collecting
+ * SCOPE nodes that have conditional=true (if_statement, else_statement, etc.).
+ *
+ * Returns guards in inner-to-outer order.
+ */
+export declare function handleFindGuards(args: FindGuardsArgs): Promise<ToolResult>;
+//# sourceMappingURL=guard-handlers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"guard-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/guard-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAQH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EAEf,MAAM,aAAa,CAAC;AAIrB;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAyEhF"}

package/dist/handlers/guard-handlers.js

@@ -0,0 +1,77 @@
+/**
+ * MCP Guard Handlers
+ */
+import { getOrCreateBackend } from '../state.js';
+import { serializeBigInt, textResult, errorResult, } from '../utils.js';
+// === FIND GUARDS (REG-274) ===
+/**
+ * Find conditional guards protecting a node.
+ *
+ * Walks up the containment tree via CONTAINS edges, collecting
+ * SCOPE nodes that have conditional=true (if_statement, else_statement, etc.).
+ *
+ * Returns guards in inner-to-outer order.
+ */
+export async function handleFindGuards(args) {
+    const db = await getOrCreateBackend();
+    const { nodeId } = args;
+    // Verify target node exists
+    const targetNode = await db.getNode(nodeId);
+    if (!targetNode) {
+        return errorResult(`Node not found: ${nodeId}`);
+    }
+    const guards = [];
+    const visited = new Set();
+    let currentId = nodeId;
+    // Walk up the containment tree
+    while (true) {
+        if (visited.has(currentId))
+            break;
+        visited.add(currentId);
+        // Get parent via incoming CONTAINS edge
+        const incomingEdges = await db.getIncomingEdges(currentId, ['CONTAINS']);
+        if (incomingEdges.length === 0)
+            break;
+        const parentId = incomingEdges[0].src;
+        const parentNode = await db.getNode(parentId);
+        if (!parentNode)
+            break;
+        // Check if this is a conditional scope
+        if (parentNode.conditional) {
+            // Parse constraints if stored as string
+            let constraints = parentNode.constraints;
+            if (typeof constraints === 'string') {
+                try {
+                    constraints = JSON.parse(constraints);
+                }
+                catch {
+                    // Keep as string if not valid JSON
+                }
+            }
+            guards.push({
+                scopeId: parentNode.id,
+                scopeType: parentNode.scopeType || 'unknown',
+                condition: parentNode.condition,
+                constraints: constraints,
+                file: parentNode.file || '',
+                line: parentNode.line || 0,
+            });
+        }
+        currentId = parentId;
+    }
+    if (guards.length === 0) {
+        return textResult(`No guards found for node: ${nodeId}\n` +
+            `The node is not protected by any conditional scope (if/else/switch/etc.).`);
+    }
+    const summary = guards.map((g, i) => {
+        const indent = '  '.repeat(i);
+        return `${indent}${i + 1}. ${g.scopeType} at ${g.file}:${g.line}` +
+            (g.condition ? `\n${indent}   condition: ${g.condition}` : '');
+    }).join('\n');
+    return textResult(`Found ${guards.length} guard(s) for node: ${nodeId}\n` +
+        `(inner to outer order)\n\n` +
+        summary +
+        `\n\n` +
+        JSON.stringify(serializeBigInt(guards), null, 2));
+}
+//# sourceMappingURL=guard-handlers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"guard-handlers.js","sourceRoot":"","sources":["../../src/handlers/guard-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EACL,eAAe,EACf,UAAU,EACV,WAAW,GACZ,MAAM,aAAa,CAAC;AAOrB,gCAAgC;AAEhC;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAAoB;IACzD,MAAM,EAAE,GAAG,MAAM,kBAAkB,EAAE,CAAC;IACtC,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAExB,4BAA4B;IAC5B,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC,mBAAmB,MAAM,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,SAAS,GAAG,MAAM,CAAC;IAEvB,+BAA+B;IAC/B,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,MAAM;QAClC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAEvB,wCAAwC;QACxC,MAAM,aAAa,GAAG,MAAM,EAAE,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QACzE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;QAEtC,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAE9C,IAAI,CAAC,UAAU;YAAE,MAAM;QAEvB,uCAAuC;QACvC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC3B,wCAAwC;YACxC,IAAI,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;YACzC,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC;oBACH,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBACxC,CAAC;gBAAC,MAAM,CAAC;oBACP,mCAAmC;gBACrC,CAAC;YACH,CAAC;YAED,MAAM,CAAC,IAAI,CAAC;gBACV,OAAO,EAAE,UAAU,CAAC,EAAE;gBACtB,SAAS,EAAG,UAAU,CAAC,SAAoB,IAAI,SAAS;gBACxD,SAAS,EAAE,UAAU,CAAC,SAA+B;gBACrD,WAAW,EAAE,WAAoC;gBACjD,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,EAAE;gBAC3B,IAAI,EAAG,UAAU,CAAC,IAAe,IAAI,CAAC;aACvC,CAAC,CAAC;QACL,CAAC;QAED,SAAS,GAAG,QAAQ,CAAC;IACvB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,UAAU,CACf,6BAA6B,MAAM,IAAI;YACvC,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9B,OAAO,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;YAC/D,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,iBAAiB,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO,UAAU,CACf,SAAS,MAAM,CAAC,MAAM,uBAAuB,MAAM,IAAI;QACvD,4BAA4B;QAC5B,OAAO;QACP,MAAM;QACN,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CACjD,CAAC;AACJ,CAAC"}

package/dist/handlers/index.d.ts

@@ -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.d.ts.map

package/dist/handlers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","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/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"}