openkrak-mcp 1.0.11 → 1.0.13

package/README.md

@@ -2,7 +2,7 @@
 
 MCP server for developer tooling. Performs static analysis on a software repository via the Dorchester engine and delivers a structured context brief to the language model before any file is accessed.
 
-**Current integration:** OpenCode. Claude Code, Codex, and Cursor support in development.
+**Supported:** OpenCode (TUI + Desktop). Claude Code, Codex, and Cursor support in development.
 
 ---
 
@@ -46,9 +46,21 @@ Requires Node.js ≥ 18.
 
 ---
 
-## Setup — OpenCode
+## Setup
 
-**Step 1.** Open `~/.config/opencode/opencode.jsonc` and add the `mcp` block:
+OpenKrak works with both **OpenCode TUI** and **OpenCode Desktop**. The config file and setup steps are identical for both.
+
+### Config file location
+
+| Platform | Path |
+|----------|------|
+| Windows | `C:\Users\<username>\.config\opencode\opencode.jsonc` |
+| macOS | `~/.config/opencode/opencode.jsonc` |
+| Linux | `~/.config/opencode/opencode.jsonc` |
+
+### Step 1 — Add OpenKrak to your config
+
+Open the config file and add the `mcp` block:
 
 ```jsonc
 {
@@ -63,45 +75,62 @@ Requires Node.js ≥ 18.
 }
 ```
 
-> Windows: `C:\Users\<username>\.config\opencode\opencode.jsonc`  
-> macOS / Linux: `~/.config/opencode/opencode.jsonc`
+### Step 2 — Restart OpenCode
 
-**Step 2.** Restart OpenCode. Confirm **openkrak Connected** appears in the MCP panel.
+Close and reopen OpenCode (TUI or Desktop). Confirm **openkrak Connected** appears in the MCP panel.
 
-**Step 3.** Open any repository and run a coding task. OpenKrak runs automatically before the language model accesses any file.
+> **OpenCode Desktop:** MCP status is shown in the bottom status bar. Green dot = connected.  
+> **OpenCode TUI:** MCP status is shown in the top-right panel.
+
+### Step 3 — Run your first analysis
+
+Open any repository in OpenCode and send a message:
 
-To invoke explicitly:
 ```
-Use analyze_repo on /path/to/your/repo with objective "refactor the auth module"
+analyze_repo on /absolute/path/to/your/repo
 ```
 
+Or just start a coding task normally — OpenKrak runs automatically before the model reads any file.
+
 ---
 
-## Enabling and Disabling
+## Tools
 
-Set `"enabled"` in your config and restart OpenCode:
+| Tool | When to use |
+|------|-------------|
+| `analyze_repo` | Full pipeline. Call before any coding task on a new repo. Returns dependency graph, hotspot rankings, blast radius, and threat matrix. |
+| `get_mahadata` | Compact repo brief — structure, entry points, constraints, risk score. Use when you need repo-wide context without a full re-analysis. |
+| `get_hotspots` | Ranked list of high-risk files by complexity, coupling, and change frequency. Use before reviewing or refactoring. |
+| `blast_radius` | Impact map for a specific file. Which files, modules, and APIs are affected by a change. Use before modifying a critical file. |
+
+### Example prompts
 
-```jsonc
-"enabled": true   // on
-"enabled": false  // off
+```
+analyze_repo on /path/to/repo with objective "refactor the auth module"
+```
+```
+Run get_hotspots on /path/to/repo — which files should I avoid touching?
+```
+```
+blast_radius on /path/to/repo for file src/api/routes/user.ts
 ```
 
 ---
 
-## Tools
+## Enable / Disable
 
-| Tool | Description |
-|------|-------------|
-| `analyze_repo` | Full Dorchester pipeline. Returns dependency graph, hotspot rankings, blast radius, and threat matrix. Call before any coding task. |
-| `get_mahadata` | Compact repository intelligence brief. Structure, entry points, constraints, risk score. |
-| `get_hotspots` | Ranked list of high-risk files by complexity, coupling, and change frequency. |
-| `blast_radius` | Impact map for a specific file change. Which files, modules, and APIs are affected. |
+Set `"enabled"` in your config and restart OpenCode:
+
+```jsonc
+"enabled": true   // on
+"enabled": false  // off
+```
 
 ---
 
-## License Tiers
+## Pro License
 
-Free tier is active by default — no account or configuration required.
+Free tier is active by default — no account required.
 
 | Plan | Price | Queries |
 |------|-------|---------|
@@ -109,7 +138,7 @@ Free tier is active by default — no account or configuration required.
 | Pro Monthly | $8 / month | Unlimited |
 | Pro Annual | $67.20 / year | Unlimited |
 
-To activate a Pro license, add your key to the MCP config:
+To activate Pro, add your key to the config:
 
 ```jsonc
 {
@@ -127,7 +156,7 @@ To activate a Pro license, add your key to the MCP config:
 }
 ```
 
-License keys are available at [openkrak-web.vercel.app](https://openkrak-web.vercel.app). Delivered instantly via email after purchase. No subscription, no auto-renewal.
+License keys: [openkrak-web.vercel.app](https://openkrak-web.vercel.app). Delivered via email after purchase. No subscription, no auto-renewal.
 
 ---
 
@@ -135,7 +164,7 @@ License keys are available at [openkrak-web.vercel.app](https://openkrak-web.ver
 
 - Static analysis only. No AI inference in the pipeline.
 - Anonymous usage telemetry is collected (query count, tool name, error events). No source code or file contents are transmitted.
-- License validation requires a network call to verify your key against the license server.
+- License validation requires a network call to the license server on each tool invocation.
 
 ---
 

package/dist/index.js

@@ -241794,7 +241794,7 @@ function inferLanguage(filePath) {
   if (filePath.endsWith(".js") || filePath.endsWith(".jsx")) return "javascript";
   return "unknown";
 }
-function extractRawEdges(filePath, ast, fileNodeId) {
+function extractRawEdges(filePath, ast, fileNodeId, tsconfigPaths2) {
   const edges = [];
   const symbolRanges = [];
   (0, import_typescript_estree3.simpleTraverse)(ast, {
@@ -241845,8 +241845,7 @@ function extractRawEdges(filePath, ast, fileNodeId) {
       if (node.type === "ImportDeclaration") {
         const importPath = node.source.value;
         const line = node.loc?.start.line ?? null;
-        const isBarrel = isBarrelPath(importPath);
-        const resolvedTarget = resolveImportTarget(filePath, importPath);
+        const resolvedTarget = resolveImportTarget(filePath, importPath, tsconfigPaths2);
         edges.push({
           from: importFromNodeId,
           to: resolvedTarget,
@@ -241875,7 +241874,7 @@ function extractRawEdges(filePath, ast, fileNodeId) {
         const sourceLiteral = node.source.type === "Literal" ? node.source.value : "<dynamic>";
         edges.push({
           from: fileNodeId,
-          to: resolveImportTarget(filePath, sourceLiteral),
+          to: resolveImportTarget(filePath, sourceLiteral, tsconfigPaths2),
           kind: "dynamic_import",
           file: filePath,
           line,
@@ -241889,7 +241888,6 @@ function extractRawEdges(filePath, ast, fileNodeId) {
         edges.push({
           from: fileNodeId,
           to: superName,
-          // resolved to node_id in assembly
           kind: "extend",
           file: filePath,
           line: node.loc.start.line,
@@ -241954,7 +241952,7 @@ function extractRawEdges(filePath, ast, fileNodeId) {
   });
   return edges;
 }
-function extractBarrelReExports(filePath, ast) {
+function extractBarrelReExports(filePath, ast, tsconfigPaths2) {
   const reExports = [];
   (0, import_typescript_estree3.simpleTraverse)(ast, {
     enter(node) {
@@ -241962,7 +241960,7 @@ function extractBarrelReExports(filePath, ast) {
         if (!node.source) return;
         const sourcePath = node.source.value;
         if (!sourcePath.startsWith(".")) return;
-        const resolvedSource = resolveImportTarget(filePath, sourcePath);
+        const resolvedSource = resolveImportTarget(filePath, sourcePath, tsconfigPaths2);
         if (node.type === "ExportAllDeclaration") {
           reExports.push({
             barrelFile: filePath,
@@ -241985,7 +241983,7 @@ function extractBarrelReExports(filePath, ast) {
   });
   return reExports;
 }
-function resolveImportTarget(fromFile, importPath) {
+function resolveImportTarget(fromFile, importPath, tsconfigPaths2) {
   if (importPath.startsWith(".")) {
     const dir = import_path3.default.dirname(fromFile);
     const resolved = import_path3.default.join(dir, importPath).replace(/\\/g, "/");
@@ -241995,11 +241993,29 @@ function resolveImportTarget(fromFile, importPath) {
     }
     return normalized;
   }
+  if (tsconfigPaths2) {
+    for (const [prefix, target] of Object.entries(tsconfigPaths2)) {
+      if (importPath.startsWith(prefix)) {
+        const rest = importPath.slice(prefix.length);
+        const resolved = (target + rest).replace(/\\/g, "/");
+        const normalized = resolved.replace(/\.js$/, ".ts");
+        if (!import_path3.default.extname(normalized)) {
+          return normalized + ".ts";
+        }
+        return normalized;
+      }
+    }
+  }
+  if (importPath.startsWith("@/")) {
+    const stripped = importPath.slice(2);
+    const normalized = stripped.replace(/\.js$/, ".ts");
+    if (!import_path3.default.extname(normalized)) {
+      return normalized + ".ts";
+    }
+    return normalized;
+  }
   return importPath;
 }
-function isBarrelPath(importPath) {
-  return importPath.endsWith("/index") || importPath.endsWith("/index.ts") || importPath.endsWith("/index.js") || importPath === "index";
-}
 function assembleGraph(allNodes, rawEdges, barrelReExports = []) {
   for (const node of allNodes) {
     node.id = node.id.replace(/\\/g, "/");
@@ -242511,7 +242527,14 @@ function inferModule(filePath) {
   return parts.length >= 2 ? parts[0] : null;
 }
 function isEntryPoint(filePath) {
-  return /\/(index|main|app|server|cli)\.(ts|js)x?$/.test(filePath);
+  const normalized = filePath.replace(/\\/g, "/");
+  if (/\/(index|main|server|cli)\.(ts|js)x?$/.test(normalized)) return true;
+  if (/^app\/.*page\.(ts|js)x?$/.test(normalized)) return true;
+  if (/^app\/layout\.(ts|js)x?$/.test(normalized)) return true;
+  if (/^app\/.*route\.(ts|js)x?$/.test(normalized)) return true;
+  if (/^pages\//.test(normalized) && /\.(ts|js)x?$/.test(normalized)) return true;
+  if (/^src\/(main|index|App)\.(ts|js)x?$/.test(normalized)) return true;
+  return false;
 }
 function walkAst(node, onEnter, onLeave) {
   if (!node || typeof node !== "object" || !("type" in node)) return;
@@ -242622,9 +242645,9 @@ async function runDeepStrike(store, opts) {
     for (const s of symbols) s.content_hash = currentHash;
     allNodes.push(...symbols);
     const fileNodeId = symbols.find((n) => n.kind === "file")?.id ?? `${relPath}::file::0`;
-    const rawEdges = extractRawEdges(relPath, ast, fileNodeId);
+    const rawEdges = extractRawEdges(relPath, ast, fileNodeId, tsconfigPaths);
     allRawEdges.push(...rawEdges);
-    const barrelReExports = extractBarrelReExports(relPath, ast);
+    const barrelReExports = extractBarrelReExports(relPath, ast, tsconfigPaths);
     allBarrelReExports.push(...barrelReExports);
     const secFindings = detectSecurityPatterns(relPath, content);
     allFindings.push(...secFindings);
@@ -244836,150 +244859,244 @@ function estimateTokensSaved(totalLoc, totalFiles, mahadataOutput) {
 
 // src/tools/analyze_repo.ts
 async function handleAnalyzeRepo(args) {
-  const result = await runPipeline({
-    repoPath: args.path,
-    objective: args.objective ?? "Analyze repository"
-  });
+  let result;
+  try {
+    result = await runPipeline({
+      repoPath: args.path,
+      objective: args.objective ?? "Full repository analysis"
+    });
+  } catch (e) {
+    return {
+      content: [{ type: "text", text: `OpenKrak is not available for this repository. Proceed with direct file analysis.
+Reason: ${e instanceof Error ? e.message : String(e)}` }],
+      isError: false
+    };
+  }
   if (result.status === "failed") {
     return {
-      content: [{ type: "text", text: `Analysis failed: ${result.error}` }],
-      isError: true
+      content: [{ type: "text", text: `OpenKrak could not complete analysis for this path. Proceed without it.
+Detail: ${result.error ?? "unknown"}` }],
+      isError: false
     };
   }
-  const mahadata = result.mahadata;
-  const meta = mahadata.meta;
-  const repo = mahadata.repository;
-  const hotspots = mahadata.hotspots;
-  const findings = mahadata.findings;
-  const brief = mahadata.execution_brief;
-  const summary = [
-    `# OpenKrak Analysis \u2014 ${repo?.name ?? args.path}`,
-    `Status: ${result.status} (${result.durationMs}ms)`,
-    `Files: ${repo?.total_files ?? "?"} | LOC: ${repo?.total_loc ?? "?"}`,
-    `Language: ${repo?.primary_language ?? "?"} | Framework: ${repo?.framework ?? "none"}`,
-    ``,
-    `## Hotspots (${hotspots?.length ?? 0} files)`,
-    ...hotspots?.slice(0, 5).map((h) => {
+  const m = result.mahadata;
+  const meta = m.meta;
+  const repo = m.repository;
+  const hotspots = m.hotspots ?? [];
+  const blastRadius = m.blast_radius ?? [];
+  const findings = m.findings ?? [];
+  const brief = m.execution_brief;
+  const threat = m.threat_matrix;
+  const topology = m.project_topology;
+  const totalFiles = Number(repo?.total_files ?? 0);
+  const hotspotLimit = totalFiles < 50 ? 5 : totalFiles < 200 ? 8 : 12;
+  const ep = brief?.recommended_entry_points ?? [];
+  const ctx = brief?.critical_context ?? [];
+  const constraints = brief?.constraints ?? [];
+  const blockers = threat?.blockers ?? [];
+  const warnings = threat?.warnings ?? [];
+  const lines = [
+    `\u2554\u2550\u2550 DORCHESTER SCAN COMPLETE \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 Repo     : ${repo?.name ?? args.path}`,
+    `\u2551 Scan ID  : ${(meta?.scan_id ?? "?").slice(0, 8)}  |  Duration: ${result.durationMs}ms`,
+    `\u2551 Stats    : ${repo?.total_files ?? "?"} files  |  ${repo?.total_loc ?? "?"} LOC  |  ${repo?.primary_language ?? "?"}  |  framework: ${repo?.framework ?? "none"}`,
+    `\u2551 Topology : ${topology?.type ?? "?"} \u2014 modules: ${(topology?.modules ?? []).length}`,
+    `\u2560\u2550\u2550 OBJECTIVE \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 ${brief?.objective ?? args.objective ?? "\u2014"}`,
+    `\u2551 ${brief?.repository_summary ?? ""}`,
+    `\u2560\u2550\u2550 ENTRY POINTS \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...ep.length > 0 ? ep.map((e) => `\u2551 \u2192 ${e.path}${e.symbol ? `::${e.symbol}` : ""}  [${e.reason}]`) : [`\u2551 \u2192 none detected`],
+    `\u2560\u2550\u2550 CRITICAL CONTEXT \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...ctx.length > 0 ? ctx.map((c) => `\u2551 ${c.key}: ${c.value}`) : [`\u2551 \u2014`],
+    `\u2560\u2550\u2550 HOTSPOT REGISTRY (${hotspots.length} files ranked) \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...hotspots.slice(0, hotspotLimit).map((h, i) => {
       const hs = h;
-      return `- ${hs.path} [${hs.risk_level}] score: ${Number(hs.score).toFixed(2)}`;
-    }) ?? [],
-    ``,
-    `## Findings (${findings?.length ?? 0} total)`,
-    ``,
-    `## Execution Brief`,
-    brief?.objective ? `Objective: ${brief.objective}` : "",
-    brief?.repository_summary ? `Summary: ${brief.repository_summary}` : "",
+      const reasons = hs.reasons ?? [];
+      const bar = "\u2588".repeat(Math.round(Number(hs.score) * 10));
+      return `\u2551 ${String(i + 1).padStart(2)}. [${String(hs.risk_level).toUpperCase().padEnd(8)}] ${hs.path}
+\u2551     score:${Number(hs.score).toFixed(3)} ${bar}  changes:${hs.change_frequency}  flags:${reasons.map((r) => r.type).join(", ")}`;
+    }),
+    `\u2560\u2550\u2550 BLAST RADIUS (top ${Math.min(5, blastRadius.length)}) \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...blastRadius.slice(0, 5).map((b) => {
+      const br = b;
+      return `\u2551 \u26A1 ${br.trigger_file}
+\u2551     \u2192 ${br.total_affected_files} files  |  ${br.total_affected_modules} modules  |  risk:${Number(br.risk_score).toFixed(3)}`;
+    }),
+    `\u2560\u2550\u2550 THREAT MATRIX \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 Overall Risk : ${Number(threat?.overall_risk_score ?? 0).toFixed(3)}  |  ${threat?.risk_summary ?? ""}`,
+    `\u2551 Blockers     : ${blockers.length > 0 ? blockers.slice(0, 3).map((b) => b.description ?? b).join(" | ") : "none"}`,
+    `\u2551 Warnings     : ${warnings.length} total${warnings.length > 0 ? " \u2014 " + warnings.slice(0, 3).map((w) => w.description ?? w).join(" | ") : ""}`,
+    `\u2551 Findings     : ${findings.length} total`,
+    `\u2560\u2550\u2550 CONSTRAINTS \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 ${constraints.length > 0 ? constraints.join("  |  ") : "none"}`,
+    `\u255A\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
     ``,
-    `Scan ID: ${meta?.scan_id ?? "?"}`
-  ].filter(Boolean).join("\n");
+    `Dorchester has pre-mapped this repository. Proceed with full context. Do not read source files unless specific line-level detail is required.`
+  ];
+  const output = lines.join("\n");
   const totalLoc = Number(repo?.total_loc ?? 0);
-  const totalFiles = Number(repo?.total_files ?? 0);
-  const saved = estimateTokensSaved(totalLoc, totalFiles, summary);
+  const saved = estimateTokensSaved(totalLoc, totalFiles, output);
   trackTokens(saved, "analyze_repo");
-  return { content: [{ type: "text", text: summary }] };
+  return { content: [{ type: "text", text: output }] };
 }
 
 // src/tools/get_hotspots.ts
 async function handleGetHotspots(args) {
-  const result = await runPipeline({
-    repoPath: args.path,
-    objective: "Identify hotspots"
-  });
+  let result;
+  try {
+    result = await runPipeline({
+      repoPath: args.path,
+      objective: "Identify hotspots"
+    });
+  } catch (e) {
+    return {
+      content: [{ type: "text", text: `OpenKrak is not available for this repository. Proceed with direct file analysis.
+Reason: ${e instanceof Error ? e.message : String(e)}` }],
+      isError: false
+    };
+  }
   if (result.status === "failed") {
     return {
-      content: [{ type: "text", text: `Analysis failed: ${result.error}` }],
-      isError: true
+      content: [{ type: "text", text: `OpenKrak could not complete hotspot analysis. Proceed without it.
+Detail: ${result.error ?? "unknown"}` }],
+      isError: false
     };
   }
   const mahadata = result.mahadata;
   const hotspots = mahadata.hotspots ?? [];
+  const repo = mahadata.repository;
   if (hotspots.length === 0) {
     return {
-      content: [{ type: "text", text: "No hotspots detected." }]
+      content: [{ type: "text", text: `OpenKrak: no hotspots detected in ${repo?.name ?? args.path}. Repository appears low-risk.` }]
     };
   }
   const lines = [
-    `# Hotspots \u2014 ${hotspots.length} files ranked by risk`,
-    "",
+    `\u2554\u2550\u2550 HOTSPOT REGISTRY \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 ${repo?.name ?? args.path}  |  ${hotspots.length} files ranked by composite risk score`,
+    `\u2551 duration: ${result.durationMs}ms`,
+    `\u2560\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
     ...hotspots.map((h, i) => {
       const hs = h;
       const reasons = hs.reasons ?? [];
+      const score = Number(hs.score);
+      const bar = "\u2588".repeat(Math.max(1, Math.round(score * 10))) + "\u2591".repeat(Math.max(0, 10 - Math.round(score * 10)));
       return [
-        `## ${i + 1}. ${hs.path}`,
-        `Risk: ${hs.risk_level} | Score: ${Number(hs.score).toFixed(3)} | Changes: ${hs.change_frequency}`,
-        `Reasons: ${reasons.map((r) => r.type).join(", ")}`
+        `\u2551`,
+        `\u2551  ${String(i + 1).padStart(2)}. ${hs.path}`,
+        `\u2551      Risk     : ${String(hs.risk_level).toUpperCase()}  |  Score: ${score.toFixed(3)}  [${bar}]`,
+        `\u2551      Changes  : ${hs.change_frequency}  |  Flags: ${reasons.map((r) => r.type).join(", ")}`,
+        ...reasons.filter((r) => r.detail).slice(0, 2).map((r) => `\u2551      Detail   : ${r.detail}`)
       ].join("\n");
-    })
-  ].join("\n");
-  return { content: [{ type: "text", text: lines }] };
+    }),
+    `\u255A\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ``,
+    `Touch these files with caution. Prioritize review in order listed.`
+  ];
+  return { content: [{ type: "text", text: lines.join("\n") }] };
 }
 
 // src/tools/blast_radius.ts
 async function handleBlastRadius(args) {
-  const result = await runPipeline({
-    repoPath: args.path,
-    objective: `Blast radius for ${args.file}`
-  });
+  let result;
+  try {
+    result = await runPipeline({
+      repoPath: args.path,
+      objective: `Blast radius for ${args.file}`
+    });
+  } catch (e) {
+    return {
+      content: [{ type: "text", text: `OpenKrak is not available for this repository. Proceed with direct analysis.
+Reason: ${e instanceof Error ? e.message : String(e)}` }],
+      isError: false
+    };
+  }
   if (result.status === "failed") {
     return {
-      content: [{ type: "text", text: `Analysis failed: ${result.error}` }],
-      isError: true
+      content: [{ type: "text", text: `OpenKrak could not compute blast radius. Proceed without it.
+Detail: ${result.error ?? "unknown"}` }],
+      isError: false
     };
   }
   const mahadata = result.mahadata;
   const blastRadiusAll = mahadata.blast_radius ?? [];
+  const repo = mahadata.repository;
   const entry = blastRadiusAll.find((b) => {
     const br = b;
     return br.trigger_file === args.file || br.trigger_file?.endsWith(args.file);
   });
   if (!entry) {
     const lines2 = [
-      `# Blast Radius \u2014 file not matched: ${args.file}`,
-      `Available trigger files: ${blastRadiusAll.length}`,
-      ...blastRadiusAll.slice(0, 10).map((b) => {
+      `\u2554\u2550\u2550 BLAST RADIUS \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+      `\u2551 File not matched: ${args.file}`,
+      `\u2551 Dorchester tracked ${blastRadiusAll.length} trigger files in this repo.`,
+      `\u2560\u2550\u2550 AVAILABLE TRIGGER FILES \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+      ...blastRadiusAll.slice(0, 12).map((b) => {
         const br = b;
-        return `- ${br.trigger_file} (risk: ${Number(br.risk_score).toFixed(2)}, affects ${br.total_affected_files} files)`;
-      })
-    ].join("\n");
-    return { content: [{ type: "text", text: lines2 }] };
+        return `\u2551 \u2022 ${br.trigger_file}  (risk:${Number(br.risk_score).toFixed(3)}, affects ${br.total_affected_files} files)`;
+      }),
+      `\u255A\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`
+    ];
+    return { content: [{ type: "text", text: lines2.join("\n") }] };
   }
   const impact = entry.impact;
+  const files = impact?.files ?? [];
+  const modules = impact?.modules ?? [];
+  const apis = impact?.apis ?? [];
+  const riskScore = Number(entry.risk_score);
+  const riskBar = "\u2588".repeat(Math.max(1, Math.round(riskScore * 10))) + "\u2591".repeat(Math.max(0, 10 - Math.round(riskScore * 10)));
   const lines = [
-    `# Blast Radius \u2014 ${entry.trigger_file}`,
-    `Risk Score: ${Number(entry.risk_score).toFixed(3)}`,
-    `Affected Files: ${entry.total_affected_files} | Modules: ${entry.total_affected_modules}`,
-    ``,
-    `## Affected Files (top 10)`,
-    ...(impact.files ?? []).slice(0, 10).map((f) => {
+    `\u2554\u2550\u2550 BLAST RADIUS \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 Trigger  : ${entry.trigger_file}`,
+    `\u2551 Repo     : ${repo?.name ?? args.path}  |  duration:${result.durationMs}ms`,
+    `\u2560\u2550\u2550 IMPACT SUMMARY \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 Risk Score      : ${riskScore.toFixed(3)}  [${riskBar}]`,
+    `\u2551 Affected Files  : ${entry.total_affected_files}`,
+    `\u2551 Affected Modules: ${entry.total_affected_modules}`,
+    `\u2551 APIs at Risk    : ${apis.length}`,
+    `\u2560\u2550\u2550 AFFECTED FILES (${files.length} total) \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...files.slice(0, 15).map((f) => {
       const fi = f;
-      return `- [${fi.impact_type}] ${fi.path} (depth: ${fi.depth}, confidence: ${Number(fi.confidence).toFixed(2)})`;
+      const depthBar = "\xB7".repeat(Number(fi.depth ?? 0));
+      return `\u2551 ${depthBar}\u2192 [${String(fi.impact_type ?? "?").padEnd(8)}] ${fi.path}  confidence:${Number(fi.confidence ?? 0).toFixed(2)}`;
     }),
-    ``,
-    `## Affected Modules`,
-    ...(impact.modules ?? []).map((m) => {
+    ...files.length > 15 ? [`\u2551 ... and ${files.length - 15} more`] : [],
+    `\u2560\u2550\u2550 AFFECTED MODULES \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...modules.length > 0 ? modules.map((m) => {
       const mi = m;
-      return `- ${mi.name}: ${mi.impact_level}`;
-    }),
-    ``,
-    `## APIs at Risk`,
-    ...(impact.apis ?? []).map((a) => {
+      return `\u2551 \u2022 ${mi.name}  \u2014  ${mi.impact_level}`;
+    }) : [`\u2551 none`],
+    `\u2560\u2550\u2550 APIs AT RISK \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...apis.length > 0 ? apis.map((a) => {
       const ai = a;
-      return `- ${ai.endpoint}: ${ai.impact_level}`;
-    })
-  ].join("\n");
-  return { content: [{ type: "text", text: lines }] };
+      return `\u2551 \u2022 ${ai.endpoint}  \u2014  ${ai.impact_level}`;
+    }) : [`\u2551 none`],
+    `\u255A\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ``,
+    `Modifying ${entry.trigger_file} will cascade to ${entry.total_affected_files} files across ${entry.total_affected_modules} modules. Proceed with full awareness of impact chain above.`
+  ];
+  return { content: [{ type: "text", text: lines.join("\n") }] };
 }
 
 // src/tools/get_mahadata.ts
 async function handleGetMahadata(args) {
-  const result = await runPipeline({
-    repoPath: args.path,
-    objective: args.objective ?? "Analyze repository"
-  });
+  let result;
+  try {
+    result = await runPipeline({
+      repoPath: args.path,
+      objective: args.objective ?? "Repository intelligence brief"
+    });
+  } catch (e) {
+    return {
+      content: [{ type: "text", text: `OpenKrak is not available for this repository. Proceed with direct file analysis.
+Reason: ${e instanceof Error ? e.message : String(e)}` }],
+      isError: false
+    };
+  }
   if (result.status === "failed") {
     return {
-      content: [{ type: "text", text: `OpenKrak error: ${result.error}` }],
-      isError: true
+      content: [{ type: "text", text: `OpenKrak could not generate a brief for this path. Proceed without it.
+Detail: ${result.error ?? "unknown"}` }],
+      isError: false
     };
   }
   const m = result.mahadata;
@@ -244989,58 +245106,54 @@ async function handleGetMahadata(args) {
   const hotspots = m.hotspots ?? [];
   const blastRadius = m.blast_radius ?? [];
   const findings = m.findings ?? [];
-  if (!brief) {
-    return {
-      content: [{ type: "text", text: "OpenKrak: no execution_brief generated." }],
-      isError: true
-    };
-  }
+  const topology = m.project_topology;
   const totalFiles = Number(repo?.total_files ?? 0);
-  const hotspotLimit = totalFiles < 50 ? 3 : totalFiles < 200 ? 5 : totalFiles < 500 ? 8 : 12;
+  const hotspotLimit = totalFiles < 50 ? 5 : totalFiles < 200 ? 8 : 12;
   const blastLimit = totalFiles < 50 ? 3 : totalFiles < 200 ? 5 : 8;
-  const findingLimit = totalFiles < 50 ? 3 : totalFiles < 200 ? 5 : 10;
-  const ctx = brief.critical_context ?? [];
-  const ep = brief.recommended_entry_points ?? [];
-  const constraints = brief.constraints ?? [];
+  const findingLimit = totalFiles < 50 ? 5 : totalFiles < 200 ? 8 : 12;
+  const ctx = brief?.critical_context ?? [];
+  const ep = brief?.recommended_entry_points ?? [];
+  const constraints = brief?.constraints ?? [];
   const blockers = threat?.blockers ?? [];
   const warnings = threat?.warnings ?? [];
   const lines = [
-    `[MAHADATA] repo:${repo?.name ?? args.path}`,
-    `lang:${repo?.primary_language ?? "?"} | files:${repo?.total_files ?? "?"} | loc:${repo?.total_loc ?? "?"} | framework:${repo?.framework ?? "none"}`,
-    `objective: ${brief.objective}`,
-    `summary: ${brief.repository_summary}`,
-    ``,
-    `CONTEXT:`,
-    ...ctx.map((c) => `  ${c.key}: ${c.value}`),
-    ``,
-    `HOTSPOTS (${hotspots.length} total, top ${Math.min(hotspotLimit, hotspots.length)}):`,
+    `\u2554\u2550\u2550 MAHADATA BRIEF \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 ${repo?.name ?? args.path}  |  ${repo?.total_files ?? "?"}f  ${repo?.total_loc ?? "?"}loc  ${repo?.primary_language ?? "?"}  framework:${repo?.framework ?? "none"}`,
+    `\u2551 topology:${topology?.type ?? "?"}  |  duration:${result.durationMs}ms`,
+    `\u2560\u2550\u2550 OBJECTIVE \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 ${brief?.objective ?? "\u2014"}`,
+    `\u2551 ${brief?.repository_summary ?? ""}`,
+    `\u2560\u2550\u2550 ENTRY POINTS \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...ep.length > 0 ? ep.map((e) => `\u2551 \u2192 ${e.path}${e.symbol ? `::${e.symbol}` : ""}`) : [`\u2551 none detected`],
+    `\u2560\u2550\u2550 CONTEXT \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ...ctx.length > 0 ? ctx.map((c) => `\u2551 ${c.key}: ${c.value}`) : [`\u2551 \u2014`],
+    `\u2560\u2550\u2550 HOTSPOTS \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
     ...hotspots.slice(0, hotspotLimit).map((h) => {
       const hs = h;
       const reasons = hs.reasons ?? [];
-      return `  [${hs.risk_level}] ${hs.path} score:${Number(hs.score).toFixed(2)} changes:${hs.change_frequency} \u2014 ${reasons.map((r) => r.type).join(", ")}`;
+      return `\u2551 [${String(hs.risk_level).toUpperCase().padEnd(8)}] score:${Number(hs.score).toFixed(3)}  ${hs.path}  \u2014 ${reasons.map((r) => r.type).join(", ")}`;
     }),
-    ``,
-    `BLAST RADIUS (top ${Math.min(blastLimit, blastRadius.length)}):`,
+    `\u2560\u2550\u2550 BLAST RADIUS \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
     ...blastRadius.slice(0, blastLimit).map((b) => {
       const br = b;
-      return `  ${br.trigger_file} \u2192 affects ${br.total_affected_files} files, ${br.total_affected_modules} modules (risk:${Number(br.risk_score).toFixed(2)})`;
+      return `\u2551 \u26A1 ${br.trigger_file}  \u2192  ${br.total_affected_files} files  ${br.total_affected_modules} modules  risk:${Number(br.risk_score).toFixed(3)}`;
     }),
-    ``,
-    `ENTRY POINTS:`,
-    ...ep.map((e) => `  ${e.path}${e.symbol ? `::${e.symbol}` : ""} \u2014 ${e.reason}`),
-    ``,
-    `CONSTRAINTS: ${constraints.join(" | ")}`,
-    ``,
-    `THREAT: overall_risk=${Number(threat?.overall_risk_score ?? 0).toFixed(2)} | ${threat?.risk_summary ?? ""}`,
-    blockers.length > 0 ? `BLOCKERS (${blockers.length}): ${blockers.slice(0, 3).map((b) => b.description ?? b).join(" | ")}` : `BLOCKERS: none`,
-    warnings.length > 0 ? `WARNINGS (${warnings.length}): ${warnings.slice(0, 5).map((w) => w.description ?? w).join(" | ")}` : `WARNINGS: none`,
-    ``,
-    findings.length > 0 ? `FINDINGS (${findings.length} total, top ${Math.min(findingLimit, findings.length)}):` : null,
+    `\u2560\u2550\u2550 THREAT \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 risk:${Number(threat?.overall_risk_score ?? 0).toFixed(3)}  ${threat?.risk_summary ?? ""}`,
+    `\u2551 blockers:${blockers.length}  warnings:${warnings.length}  findings:${findings.length}`,
+    ...blockers.length > 0 ? blockers.slice(0, 2).map((b) => `\u2551 \u2716 ${b.description ?? b}`) : [],
+    ...warnings.length > 0 ? warnings.slice(0, 3).map((w) => `\u2551 \u25B2 ${w.description ?? w}`) : [],
+    `\u2560\u2550\u2550 FINDINGS (${findings.length} total) \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
     ...findings.slice(0, findingLimit).map((f) => {
       const fi = f;
-      return `  [${fi.severity ?? fi.type}] ${fi.file ?? fi.path} \u2014 ${fi.message ?? fi.description ?? ""}`;
-    })
-  ].filter((l) => l !== null);
+      return `\u2551 [${String(fi.severity ?? fi.type ?? "info").toUpperCase().padEnd(7)}] ${fi.file ?? fi.path ?? "?"}  \u2014  ${fi.message ?? fi.description ?? ""}`;
+    }),
+    `\u2560\u2550\u2550 CONSTRAINTS \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    `\u2551 ${constraints.length > 0 ? constraints.join("  |  ") : "none"}`,
+    `\u255A\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550`,
+    ``,
+    `Dorchester brief delivered. Answer from this data. Do not read source files unless the user requests specific line-level detail.`
+  ];
   const output = lines.join("\n");
   const totalLoc = Number(repo?.total_loc ?? 0);
   const saved = estimateTokensSaved(totalLoc, totalFiles, output);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "openkrak-mcp",
-  "version": "1.0.11",
+  "version": "1.0.13",
   "description": "OpenKrak MCP Server - AI coding intelligence via Dorchester engine",
   "mcpName": "io.github.FrnzJulianBergmann/openkrak",
   "type": "commonjs",