universal-ast-mapper 0.8.6 → 1.1.0

package/README.md

@@ -96,6 +96,8 @@ ast-map cycles   <dir>
 ast-map duplicates <dir>           [alias: dupes]
 ast-map complexity <path>          [alias: cx] [--min N]
 ast-map unused-params <path>       [alias: unused]
+ast-map trace-type <type> [dir]    [alias: flow]
+ast-map workspace [dir]            [alias: ws]
 ast-map search   <pattern> [dir]   [-m contains|exact|regex] [-k kind] [-e]
 ast-map deps     <file>            [--scan <dir>]
 ast-map top      <dir>             [-n 10]
@@ -309,6 +311,37 @@ Scan a file or directory for **named functions/methods with parameters that are
 
 ---
 
+### `trace_type`
+**Scoped type-flow tracing.** Find everywhere a named type flows through a directory — function **parameters** and **return types**, typed **variables**, and class **fields**. AST-based (no full type inference), so it tracks where a type is *named* in signatures; works best for TS/Python but resolves return/param types in any language that annotates them.
+
+```json
+{
+  "type": "Inventory",
+  "byRole": { "param": 3, "return": 2, "variable": 1, "field": 1 },
+  "refs": [ { "file": "src/svc.ts", "symbol": "make", "role": "return", "line": 4 } ]
+}
+```
+
+**Params:** `type`, `path`
+
+---
+
+### `analyze_workspace`
+**Monorepo support.** Discover the packages in a JS/TS monorepo (npm/yarn `workspaces`, `pnpm-workspace.yaml`, or `lerna.json`) and the dependency edges between them. Returns each package's name, directory, and workspace-internal dependencies, plus any circular dependencies between packages.
+
+```json
+{
+  "tool": "npm", "packageCount": 3,
+  "packages": [ { "name": "@demo/a", "dir": "packages/a", "internalDeps": ["@demo/b"] } ],
+  "edges": [ { "from": "@demo/a", "to": "@demo/b" } ],
+  "packageCycles": []
+}
+```
+
+**Params:** `path` (optional, defaults to root)
+
+---
+
 ### `get_change_impact`
 Given a file + symbol, reverse-traverse the import graph to compute **blast radius**.
 
@@ -527,10 +560,53 @@ src/
 
 ---
 
+## GitHub Action — architecture gate in CI
+
+Use AST-MCP as a CI check with the bundled composite action (`action.yml`):
+
+```yaml
+# .github/workflows/architecture.yml
+name: Architecture
+on: [pull_request]
+jobs:
+  validate:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-node@v4
+        with: { node-version: "20" }
+      - uses: 6ixthxense/AST-MCP@v1.0.0
+        with:
+          path: src
+          max-lines: "400"
+          max-imports: "20"
+          max-exports: "15"
+```
+
+The action runs `ast-map validate` and fails the job on threshold violations. You can also call any CLI command directly with `npx -p universal-ast-mapper ast-map <command>`.
+
+---
+
+## Stability (1.0)
+
+As of **v1.0.0**, the public surface is stable across the `1.x` line:
+
+- **MCP tool names and input schemas** — no breaking changes; new tools and new *optional* inputs may be added.
+- **CLI commands and flags** — stable; new commands/flags may be added.
+- **Skeleton JSON** — `schemaVersion` follows additive-compatible evolution; new *optional* fields (e.g. `props`, `decorators`) may appear without a major bump.
+
+Not part of the public API: the internal `src/` module layout and the generated HTML markup.
+
+---
+
 ## Changelog
 
 | Version | What changed |
 |---------|--------------|
+| **1.1.0** | **Monorepo support** — new `analyze_workspace` MCP tool + `ast-map workspace` (alias `ws`) CLI: discovers packages from npm/yarn `workspaces`, `pnpm-workspace.yaml`, or `lerna.json`, maps internal package dependencies, and flags circular package deps. **19 MCP tools**. |
+| **1.0.0** | **Stable release.** Locks the public API (MCP tool names + schemas, CLI surface) for the 1.x line. Adds a **GitHub Action** (`action.yml`) to run `ast-map validate` as a CI architecture gate, plus a project CI workflow. Caps a 12-language engine with 18 MCP tools / 17 CLI commands spanning skeletons, dependency graphs, and deep analysis (dead code · cycles · impact · complexity · duplicates · unused params · decorators · type flow). |
+| **0.9.0** | **Scoped type-flow tracing** — new `trace_type` MCP tool + `ast-map trace-type` (alias `flow`) CLI: follow a named type through function params, return types, typed variables, and class fields across a directory. Completes the deeper-analysis suite (dead code · cycles · impact · complexity · duplicates · unused params · type flow). **18 MCP tools**. |
+| **0.8.7** | **Python decorators in the call graph** — function/method symbols now carry a `decorators` field (`@router.get("/x")` → `router.get("/x")`), surfaced in skeletons (outline + full) and in `get_call_graph`. Traces framework wiring like FastAPI/Flask routes and `@staticmethod`/`@property` stacks to their handler. |
 | **0.8.6** | **Unused parameter detection** — new `find_unused_params` MCP tool + `ast-map unused-params` (alias `unused`) CLI: named functions whose params are never referenced. Skips `_`-prefixed/destructured/anonymous and treats object-shorthand as a use (low false-positive). Server now 17 tools. |
 | **0.8.5** | **Cyclomatic complexity** — new `get_complexity` MCP tool + `ast-map complexity` (alias `cx`, `--min N`) CLI: per-function AST-based complexity score (`1 + if/for/while/case/catch/ternary/&&/\|\|`) with low/moderate/high/very-high ratings and directory hotspots. Server now 16 tools. |
 | **0.8.4** | **Duplicate symbol detection** — new `find_duplicate_symbols` MCP tool + `ast-map duplicates` (alias `dupes`) CLI command: finds symbol names exported from more than one file, with every file/kind that declares each name. |

package/dist/callgraph.js

@@ -243,6 +243,17 @@ async function fileCallsSymbol(fileAbs, funcName) {
     return false;
 }
 // ─── Public API ───────────────────────────────────────────────────────────────
+/** Recursively find the first symbol with the given name and return its decorators. */
+function findDecorators(symbols, name) {
+    for (const s of symbols) {
+        if (s.name === name && s.decorators && s.decorators.length > 0)
+            return s.decorators;
+        const nested = findDecorators(s.children, name);
+        if (nested)
+            return nested;
+    }
+    return undefined;
+}
 export async function buildCallGraph(filePath, funcName, root, allSkeletons) {
     const langEntry = detectLanguage(filePath);
     if (!langEntry)
@@ -427,6 +438,7 @@ export async function buildCallGraph(filePath, funcName, root, allSkeletons) {
             }
         }
     }
+    const decorators = findDecorators(skel.symbols, funcName);
     return {
         file: relPath,
         function: funcName,
@@ -434,6 +446,7 @@ export async function buildCallGraph(filePath, funcName, root, allSkeletons) {
             startLine: funcNode.startPosition.row + 1,
             endLine: funcNode.endPosition.row + 1,
         },
+        ...(decorators ? { decorators } : {}),
         calls,
         calledBy,
     };

package/dist/cli.js

@@ -12,6 +12,8 @@ import { buildSymbolGraph } from "./graph.js";
 import { findDeadExports, findCircularDeps, getChangeImpact, getFileDeps, getTopSymbols, findDuplicateSymbols } from "./graph-analysis.js";
 import { computeFileComplexity } from "./complexity.js";
 import { findUnusedParams } from "./unused-params.js";
+import { traceTypeInFile } from "./typeflow.js";
+import { discoverWorkspace, findPackageCycles } from "./workspace.js";
 import { buildCallGraph } from "./callgraph.js";
 import { searchSymbols } from "./search.js";
 const ROOT = path.resolve(process.env.AST_MAP_ROOT ?? process.cwd());
@@ -368,6 +370,73 @@ program
     }
     console.log();
 });
+// ─── Command: workspace ───────────────────────────────────────────────────────
+program
+    .command("workspace [dir]")
+    .alias("ws")
+    .description("Discover monorepo packages and their internal dependency graph")
+    .option("--json", "Output as JSON")
+    .action(async (dir, opts) => {
+    const { abs, rel } = resolveArg(dir ?? ".");
+    if (!fs.statSync(abs).isDirectory())
+        die(`"${rel}" is not a directory`);
+    const info = discoverWorkspace(abs);
+    const cycles = findPackageCycles(info);
+    if (opts.json) {
+        return jsonOut({ root: rel, tool: info.tool, packageCount: info.packages.length, packages: info.packages, edges: info.edges, packageCycles: cycles });
+    }
+    header(`Workspace — ${rel}/  ${dim(`(${info.tool}, ${info.packages.length} package(s))`)}`);
+    if (info.packages.length === 0) {
+        console.log(indent(dim("No workspace packages found (no workspaces/pnpm-workspace.yaml/lerna.json).")));
+    }
+    else {
+        table(info.packages.map((p) => [
+            p.name,
+            p.dir,
+            p.internalDeps.length > 0 ? yellow(`→ ${p.internalDeps.join(", ")}`) : dim("(no internal deps)"),
+        ]), [["Package", 24], ["Dir", 22], ["Internal deps", 34]]);
+        if (cycles.length > 0) {
+            console.log(`\n${indent(bold(yellow("Circular package dependencies:")))}`);
+            for (const c of cycles)
+                console.log(indent(`${yellow("↻")}  ${c.join(dim(" → "))}`));
+        }
+        console.log(`\n  ${info.edges.length} internal edge(s)` + (cycles.length ? ` · ${yellow(`${cycles.length} cycle(s)`)}` : ""));
+    }
+    console.log();
+});
+// ─── Command: trace-type ──────────────────────────────────────────────────────
+program
+    .command("trace-type <type> [dir]")
+    .alias("flow")
+    .description("Trace a type through params, returns, variables and fields")
+    .option("--json", "Output as JSON")
+    .action(async (typeName, dir, opts) => {
+    const { abs, rel } = resolveArg(dir ?? ".");
+    if (!fs.statSync(abs).isDirectory())
+        die(`"${rel}" is not a directory`);
+    const sopts = resolveOptions({ detail: "outline", emitHtml: false });
+    const refs = [];
+    for (const file of collectSourceFiles(abs, sopts)) {
+        const fileRel = path.relative(ROOT, file).split(path.sep).join("/");
+        refs.push(...(await traceTypeInFile(file, fileRel, typeName)));
+    }
+    if (opts.json)
+        return jsonOut({ type: typeName, dir: rel, refCount: refs.length, refs });
+    header(`Type Flow: ${bold(typeName)} — ${rel}/  ${dim(`(${refs.length} ref(s))`)}`);
+    if (refs.length === 0) {
+        console.log(indent(dim(`No references to type "${typeName}" found in signatures.`)));
+    }
+    else {
+        const roleColor = (r) => (r === "return" ? green : r === "param" ? yellow : dim);
+        table(refs.map((r) => [
+            roleColor(r.role)(r.role),
+            r.symbol + (r.detail ? `(${r.detail})` : ""),
+            `:${r.line}`,
+            r.file,
+        ]), [["Role", 9], ["Symbol", 24], ["Line", 6], ["File", 34]]);
+    }
+    console.log();
+});
 // ─── Command: unused-params ───────────────────────────────────────────────────
 program
     .command("unused-params <path>")

package/dist/extractors/common.js

@@ -49,6 +49,8 @@ export function toOutline(symbols) {
         };
         if (s.exported !== undefined)
             out.exported = s.exported;
+        if (s.decorators)
+            out.decorators = s.decorators;
         return out;
     });
 }

package/dist/extractors/python.js

@@ -15,7 +15,18 @@ function collect(nodes, insideClass) {
 function handle(node, insideClass) {
     if (node.type === "decorated_definition") {
         const inner = innerDefinition(node);
-        return inner ? handle(inner, insideClass) : null;
+        if (!inner)
+            return null;
+        const sym = handle(inner, insideClass);
+        if (sym) {
+            const decs = namedChildren(node)
+                .filter((c) => c.type === "decorator")
+                .map((d) => d.text.replace(/^@\s*/, "").replace(/\s+/g, " ").trim())
+                .filter((t) => t.length > 0);
+            if (decs.length > 0)
+                sym.decorators = decs;
+        }
+        return sym;
     }
     if (node.type === "class_definition") {
         const name = nameOf(node) ?? "(class)";

package/dist/index.js

@@ -17,6 +17,8 @@ import { buildCallGraph } from "./callgraph.js";
 import { searchSymbols } from "./search.js";
 import { computeFileComplexity } from "./complexity.js";
 import { findUnusedParams } from "./unused-params.js";
+import { traceTypeInFile } from "./typeflow.js";
+import { discoverWorkspace, findPackageCycles } from "./workspace.js";
 /** Files may only be read inside this root (override with AST_MAP_ROOT). */
 const ROOT = path.resolve(process.env.AST_MAP_ROOT ?? process.cwd());
 function resolveInRoot(input) {
@@ -667,6 +669,82 @@ server.registerTool("find_unused_params", {
         return errorText(describeError(err));
     }
 });
+/* ─────────────────── tool: trace_type ──────────────────────────────────── */
+server.registerTool("trace_type", {
+    title: "Trace a type through the code",
+    description: "Find everywhere a named type flows through a directory: function parameters and return " +
+        "types, typed variables, and class fields. A scoped, AST-based type-flow view (best for " +
+        "TS/Python) \u2014 no full type inference, so it tracks where the type is *named* in signatures.",
+    inputSchema: {
+        type: z.string().describe('Type name to trace, e.g. "Inventory".'),
+        path: z.string().describe("Directory to scan, relative to project root or absolute within it."),
+    },
+}, async ({ type: typeName, path: input }) => {
+    try {
+        const { abs, rel } = resolveInRoot(input);
+        if (!fs.statSync(abs).isDirectory()) {
+            return errorText(`"${input}" is not a directory. trace_type requires a directory.`);
+        }
+        const opts = resolveOptions({ detail: "outline", emitHtml: false });
+        const files = collectSourceFiles(abs, opts);
+        const refs = [];
+        const errors = [];
+        for (const file of files) {
+            const fileRel = path.relative(ROOT, file).split(path.sep).join("/");
+            try {
+                refs.push(...(await traceTypeInFile(file, fileRel, typeName)));
+            }
+            catch (err) {
+                errors.push({ file: fileRel, error: describeError(err) });
+            }
+        }
+        const byRole = { param: 0, return: 0, variable: 0, field: 0 };
+        for (const r of refs)
+            byRole[r.role]++;
+        return jsonText({
+            type: typeName,
+            directory: rel.split(path.sep).join("/"),
+            scanned: files.length,
+            refCount: refs.length,
+            byRole,
+            ...(errors.length > 0 ? { errors } : {}),
+            refs,
+        });
+    }
+    catch (err) {
+        return errorText(describeError(err));
+    }
+});
+/* ─────────────────── tool: analyze_workspace ───────────────────────────── */
+server.registerTool("analyze_workspace", {
+    title: "Analyze a monorepo workspace",
+    description: "Discover the packages in a JS/TS monorepo (npm/yarn `workspaces`, pnpm-workspace.yaml, or " +
+        "lerna.json) and the dependency edges between them. Returns each package's name, directory, " +
+        "and workspace-internal dependencies, plus any circular dependencies between packages.",
+    inputSchema: {
+        path: z.string().optional().describe("Workspace root directory. Defaults to the project root."),
+    },
+}, async ({ path: input }) => {
+    try {
+        const { abs, rel } = resolveInRoot(input ?? ".");
+        if (!fs.statSync(abs).isDirectory()) {
+            return errorText(`"${input}" is not a directory. analyze_workspace requires a directory.`);
+        }
+        const info = discoverWorkspace(abs);
+        const cycles = findPackageCycles(info);
+        return jsonText({
+            root: rel.split(path.sep).join("/") || ".",
+            tool: info.tool,
+            packageCount: info.packages.length,
+            packages: info.packages,
+            edges: info.edges,
+            packageCycles: cycles,
+        });
+    }
+    catch (err) {
+        return errorText(describeError(err));
+    }
+});
 /* ─────────────────── tool: get_change_impact ───────────────────────────── */
 server.registerTool("get_change_impact", {
     title: "Get change impact (blast radius)",

package/dist/typeflow.js

@@ -0,0 +1,124 @@
+import fs from "node:fs";
+import { parseSource } from "./parser.js";
+import { detectLanguage } from "./registry.js";
+const FN_TYPES = new Set([
+    "function_declaration", "generator_function_declaration", "function_definition",
+    "async_function_definition", "method_definition", "method_declaration",
+    "constructor_declaration", "function_item",
+]);
+const ID_TYPES = new Set(["identifier", "simple_identifier"]);
+const TYPE_ID_TYPES = new Set(["type_identifier", "identifier"]);
+const PARAM_CONTAINERS = new Set([
+    "formal_parameters", "parameters", "parameter_list", "function_value_parameters",
+]);
+function fnName(node) {
+    const nm = node.childForFieldName("name");
+    if (nm)
+        return nm.text;
+    for (let i = 0; i < node.namedChildCount; i++) {
+        const c = node.namedChild(i);
+        if (c && c.type === "simple_identifier")
+            return c.text;
+    }
+    return "(anonymous)";
+}
+/** Does this type-annotation subtree reference the bare type name `name`? */
+function typeRefsName(node, name) {
+    if (!node)
+        return false;
+    let hit = false;
+    const walk = (n) => {
+        if (hit)
+            return;
+        if (TYPE_ID_TYPES.has(n.type) && n.text === name) {
+            hit = true;
+            return;
+        }
+        for (let i = 0; i < n.namedChildCount; i++) {
+            const c = n.namedChild(i);
+            if (c)
+                walk(c);
+        }
+    };
+    walk(node);
+    return hit;
+}
+function paramName(p) {
+    if (ID_TYPES.has(p.type))
+        return p.text;
+    const pat = p.childForFieldName("pattern");
+    if (pat && ID_TYPES.has(pat.type))
+        return pat.text;
+    const nm = p.childForFieldName("name");
+    if (nm && ID_TYPES.has(nm.type))
+        return nm.text;
+    return undefined;
+}
+function paramsNode(fn) {
+    const p = fn.childForFieldName("parameters");
+    if (p)
+        return p;
+    for (let i = 0; i < fn.namedChildCount; i++) {
+        const c = fn.namedChild(i);
+        if (c && PARAM_CONTAINERS.has(c.type))
+            return c;
+    }
+    return null;
+}
+export async function traceTypeInFile(absPath, relPath, typeName) {
+    const lang = detectLanguage(absPath);
+    if (!lang)
+        return [];
+    const source = fs.readFileSync(absPath, "utf8");
+    const root = await parseSource(lang.grammar, source);
+    const refs = [];
+    const walk = (node) => {
+        if (FN_TYPES.has(node.type)) {
+            const name = fnName(node);
+            // return type
+            const rt = node.childForFieldName("return_type");
+            if (typeRefsName(rt, typeName)) {
+                refs.push({ file: relPath, symbol: name, role: "return", line: node.startPosition.row + 1 });
+            }
+            // params
+            const pnode = paramsNode(node);
+            if (pnode) {
+                for (let i = 0; i < pnode.namedChildCount; i++) {
+                    const p = pnode.namedChild(i);
+                    if (!p)
+                        continue;
+                    const ty = p.childForFieldName("type");
+                    if (typeRefsName(ty, typeName)) {
+                        const pn = paramName(p);
+                        refs.push({
+                            file: relPath, symbol: name, role: "param",
+                            ...(pn ? { detail: pn } : {}),
+                            line: p.startPosition.row + 1,
+                        });
+                    }
+                }
+            }
+        }
+        else if (node.type === "variable_declarator") {
+            const ty = node.childForFieldName("type");
+            const nm = node.childForFieldName("name");
+            if (ty && nm && typeRefsName(ty, typeName)) {
+                refs.push({ file: relPath, symbol: nm.text, role: "variable", line: node.startPosition.row + 1 });
+            }
+        }
+        else if (node.type === "public_field_definition" || node.type === "field_definition") {
+            const ty = node.childForFieldName("type");
+            const nm = node.childForFieldName("name");
+            if (ty && nm && typeRefsName(ty, typeName)) {
+                refs.push({ file: relPath, symbol: nm.text, role: "field", line: node.startPosition.row + 1 });
+            }
+        }
+        for (let i = 0; i < node.namedChildCount; i++) {
+            const c = node.namedChild(i);
+            if (c)
+                walk(c);
+        }
+    };
+    walk(root);
+    return refs;
+}

package/dist/workspace.js

@@ -0,0 +1,207 @@
+import fs from "node:fs";
+import path from "node:path";
+const IGNORE_DIRS = new Set(["node_modules", ".git", "dist", "build", ".next", "coverage"]);
+function readJson(file) {
+    try {
+        return JSON.parse(fs.readFileSync(file, "utf8"));
+    }
+    catch {
+        return null;
+    }
+}
+/** Minimal `packages:` list reader for pnpm-workspace.yaml (no YAML dep). */
+function readPnpmPatterns(file) {
+    let text;
+    try {
+        text = fs.readFileSync(file, "utf8");
+    }
+    catch {
+        return [];
+    }
+    const out = [];
+    let inPackages = false;
+    for (const raw of text.split(/\r?\n/)) {
+        const line = raw.replace(/#.*$/, "");
+        if (/^packages\s*:/.test(line)) {
+            inPackages = true;
+            continue;
+        }
+        if (inPackages) {
+            const m = line.match(/^\s*-\s*['"]?([^'"]+?)['"]?\s*$/);
+            if (m)
+                out.push(m[1].trim());
+            else if (/^\S/.test(line))
+                break; // next top-level key
+        }
+    }
+    return out;
+}
+/** Expand a workspace glob pattern to package directories containing package.json. */
+function expandPattern(rootAbs, pattern) {
+    const clean = pattern.replace(/\/+$/, "");
+    const dirs = [];
+    const hasPkg = (dir) => fs.existsSync(path.join(dir, "package.json"));
+    if (!clean.includes("*")) {
+        const abs = path.resolve(rootAbs, clean);
+        if (hasPkg(abs))
+            dirs.push(abs);
+        return dirs;
+    }
+    if (clean.endsWith("/**")) {
+        const base = path.resolve(rootAbs, clean.slice(0, -3));
+        walkForPackages(base, dirs, 6);
+        return dirs;
+    }
+    // `prefix/*` — immediate subdirectories.
+    if (clean.endsWith("/*")) {
+        const base = path.resolve(rootAbs, clean.slice(0, -2));
+        let entries = [];
+        try {
+            entries = fs.readdirSync(base, { withFileTypes: true });
+        }
+        catch {
+            return dirs;
+        }
+        for (const e of entries) {
+            if (e.isDirectory() && !IGNORE_DIRS.has(e.name) && hasPkg(path.join(base, e.name))) {
+                dirs.push(path.join(base, e.name));
+            }
+        }
+        return dirs;
+    }
+    // Fallback: bounded recursive scan under the non-glob prefix.
+    const prefix = clean.split("*")[0];
+    walkForPackages(path.resolve(rootAbs, prefix), dirs, 6);
+    return dirs;
+}
+function walkForPackages(base, out, depth) {
+    if (depth < 0)
+        return;
+    let entries;
+    try {
+        entries = fs.readdirSync(base, { withFileTypes: true });
+    }
+    catch {
+        return;
+    }
+    if (fs.existsSync(path.join(base, "package.json")))
+        out.push(base);
+    for (const e of entries) {
+        if (e.isDirectory() && !IGNORE_DIRS.has(e.name)) {
+            walkForPackages(path.join(base, e.name), out, depth - 1);
+        }
+    }
+}
+function depNames(pkg) {
+    const out = new Set();
+    for (const key of ["dependencies", "devDependencies", "peerDependencies", "optionalDependencies"]) {
+        const d = pkg?.[key];
+        if (d && typeof d === "object")
+            for (const k of Object.keys(d))
+                out.add(k);
+    }
+    return [...out];
+}
+/**
+ * Discover the packages in a JS/TS monorepo and the dependency edges between
+ * them. Supports npm/yarn `workspaces`, pnpm-workspace.yaml, and lerna.json.
+ */
+export function discoverWorkspace(rootAbs) {
+    const rootPkg = readJson(path.join(rootAbs, "package.json"));
+    let tool = "none";
+    const patterns = [];
+    // npm / yarn workspaces
+    const ws = rootPkg?.workspaces;
+    if (Array.isArray(ws)) {
+        patterns.push(...ws);
+        tool = "npm";
+    }
+    else if (ws && Array.isArray(ws.packages)) {
+        patterns.push(...ws.packages);
+        tool = "npm";
+    }
+    // pnpm
+    const pnpmFile = path.join(rootAbs, "pnpm-workspace.yaml");
+    if (fs.existsSync(pnpmFile)) {
+        patterns.push(...readPnpmPatterns(pnpmFile));
+        tool = "pnpm";
+    }
+    // lerna
+    const lerna = readJson(path.join(rootAbs, "lerna.json"));
+    if (lerna && Array.isArray(lerna.packages)) {
+        patterns.push(...lerna.packages);
+        if (tool === "none")
+            tool = "lerna";
+    }
+    // Dedupe patterns, expand to package dirs.
+    const dirSet = new Set();
+    for (const p of [...new Set(patterns)]) {
+        for (const d of expandPattern(rootAbs, p))
+            dirSet.add(d);
+    }
+    const packages = [];
+    const nameToPkg = new Map();
+    const pending = [];
+    for (const dirAbs of [...dirSet].sort()) {
+        const pj = readJson(path.join(dirAbs, "package.json"));
+        if (!pj || !pj.name)
+            continue;
+        const rel = path.relative(rootAbs, dirAbs).split(path.sep).join("/");
+        const allDeps = depNames(pj);
+        const wp = { name: pj.name, dir: rel || ".", internalDeps: [], allDeps };
+        packages.push(wp);
+        nameToPkg.set(pj.name, wp);
+        pending.push({ pkg: wp, deps: allDeps });
+    }
+    // Resolve internal deps now that all package names are known.
+    const edges = [];
+    for (const { pkg, deps } of pending) {
+        for (const d of deps) {
+            if (nameToPkg.has(d) && d !== pkg.name) {
+                pkg.internalDeps.push(d);
+                edges.push({ from: pkg.name, to: d });
+            }
+        }
+        pkg.internalDeps.sort();
+    }
+    return { root: rootAbs, tool, packages, edges };
+}
+/** Detect circular dependencies among workspace packages (package-level). */
+export function findPackageCycles(info) {
+    const adj = new Map();
+    for (const p of info.packages)
+        adj.set(p.name, p.internalDeps.slice());
+    const color = new Map();
+    for (const k of adj.keys())
+        color.set(k, "white");
+    const cycles = [];
+    const seen = new Set();
+    const path = [];
+    const dfs = (node) => {
+        color.set(node, "gray");
+        path.push(node);
+        for (const next of adj.get(node) ?? []) {
+            const c = color.get(next);
+            if (c === "gray") {
+                const start = path.indexOf(next);
+                const raw = path.slice(start);
+                const min = raw.reduce((b, n, i) => (n < raw[b] ? i : b), 0);
+                const canon = [...raw.slice(min), ...raw.slice(0, min)];
+                const key = canon.join(">");
+                if (!seen.has(key)) {
+                    seen.add(key);
+                    cycles.push([...canon, canon[0]]);
+                }
+            }
+            else if (c === "white") {
+                dfs(next);
+            }
+        }
+        path.pop();
+        color.set(node, "black");
+    };
+    for (const k of adj.keys())
+        if (color.get(k) === "white")
+            dfs(k);
+    return cycles;
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "universal-ast-mapper",
-  "version": "0.8.6",
+  "version": "1.1.0",
   "description": "MCP server that maps source files into a normalized code skeleton (JSON + HTML) using tree-sitter.",
   "type": "module",
   "main": "dist/index.js",