ast-mcp-server 0.14.2 → 0.15.0

package/dist/tools/find_references.js

@@ -1,7 +1,7 @@
 import { z } from "zod";
 import { PaginationInputSchema, PaginationOutputSchema } from "../services/pagination.js";
 import { findDeclarationByName, getSourceFileOrThrow, withProject } from "../services/project.js";
-import { collectSymbolReferences } from "../services/references.js";
+import { collectSymbolReferencesWithTemplates } from "../services/references.js";
 import { createRequestContext } from "../services/request-context.js";
 import { createToolErrorContext, errorResult, formattedResult, ToolOutputFormatInputSchema, } from "./result.js";
 const TOOL_NAME = "ast_find_references";
@@ -25,13 +25,34 @@ const ContextReferenceSchema = z.object({
     is_declaration: z.boolean(),
     context: z.string(),
 });
-const LocationReferenceSchema = ContextReferenceSchema.omit({ context: true });
+const ContextReferenceSchemaWithOrigin = ContextReferenceSchema.extend({
+    origin: z.enum(["compiler", "template_external", "template_inline"]).optional(),
+});
+const LocationReferenceSchema = ContextReferenceSchemaWithOrigin.omit({ context: true });
+const TemplateCoverageSchema = z.object({
+    status: z.enum(["completed", "unfinished", "unsupported"]),
+    reason: z
+        .enum([
+        "compiler_missing",
+        "compiler_unsupported",
+        "template_unresolved",
+        "template_unsafe",
+        "template_parse_error",
+        "size_exceeded",
+        "work_exhausted",
+        "inherited_member",
+    ])
+        .optional(),
+    templates: z.number().int().min(0).optional(),
+});
 const ReferenceOutputBase = {
     symbol: z.string(),
     include_declaration: z.boolean(),
     declaration_count: z.number().int().min(0),
     reference_count: z.number().int().min(0),
     affected_files: z.array(z.string()),
+    template_coverage: TemplateCoverageSchema.optional(),
+    template_reference_count: z.number().int().min(0).optional(),
     ...PaginationOutputSchema,
 };
 const ReferenceOutputSchemas = {
@@ -41,13 +62,13 @@ const ReferenceOutputSchemas = {
     }),
     context: z.object({
         ...ReferenceOutputBase,
-        references: z.array(ContextReferenceSchema),
+        references: z.array(ContextReferenceSchemaWithOrigin),
     }),
 };
 export function registerFindReferences(server) {
     server.registerTool(TOOL_NAME, {
         title: "Find semantic symbol references",
-        description: "Finds type-resolved references and returns bounded project-relative locations, including declaration impact by default.",
+        description: "Finds type-resolved references and returns bounded project-relative locations, including declaration impact by default. When @angular/compiler resolves, it also reports Angular template usages tagged by origin with a template_coverage verdict; incomplete coverage does not prove absence, and template errors are not diagnosed.",
         inputSchema: AstFindReferencesInputSchema,
         annotations: {
             readOnlyHint: true,
@@ -58,18 +79,31 @@ export function registerFindReferences(server) {
     }, async ({ project_root, file_path, symbol_path, include_declaration, detail, output_format, offset, limit, }, extra) => {
         const requestContext = createRequestContext(extra.signal);
         try {
-            const structuredContent = await withProject(project_root, ({ project, projectRoot }, operationContext) => {
-                const sourceFile = getSourceFileOrThrow(project, file_path);
+            const structuredContent = await withProject(project_root, async (context, operationContext) => {
+                const sourceFile = getSourceFileOrThrow(context.project, file_path);
                 const node = findDeclarationByName(sourceFile, symbol_path);
-                const collected = collectSymbolReferences(node, projectRoot, symbol_path, include_declaration, detail, offset, limit, operationContext);
+                const collected = await collectSymbolReferencesWithTemplates(node, context, {
+                    symbolPath: symbol_path,
+                    includeDeclaration: include_declaration,
+                    detail,
+                    offset,
+                    limit,
+                }, operationContext);
                 const { references, ...metadata } = collected;
                 return {
                     ...metadata,
                     references: detail === "context"
                         ? references
-                        : references.map(({ file, line, column, kind, is_declaration }) => {
+                        : references.map(({ file, line, column, kind, is_declaration, origin }) => {
                             operationContext.checkpoint();
-                            return { file, line, column, kind, is_declaration };
+                            return {
+                                file,
+                                line,
+                                column,
+                                kind,
+                                is_declaration,
+                                ...(origin === undefined ? {} : { origin }),
+                            };
                         }),
                 };
             }, requestContext);

package/dist/tools/rename_symbol.js

@@ -21,7 +21,7 @@ const AstRenameSymbolInputSchema = z.object({
 export function registerRenameSymbol(server) {
     server.registerTool(TOOL_NAME, {
         title: "Prepare a project-wide structural rename",
-        description: "Prepares an exact hash-bound rename plan without writing. Review the preview and apply its operation_id with ast_apply_operation.",
+        description: "Prepares an exact hash-bound rename plan without writing. Review the preview and apply its operation_id with ast_apply_operation. The plan also rewrites external Angular templates hash-bound to the workspace snapshot; diagnostics stay TypeScript-only.",
         inputSchema: AstRenameSymbolInputSchema,
         outputSchema: PreparedOperationOutputSchema,
         annotations: {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ast-mcp-server",
-  "version": "0.14.2",
+  "version": "0.15.0",
   "description": "Structural code MCP server and batch CLI for compact TypeScript/JavaScript reads and hash-bound AST edits.",
   "keywords": [
     "mcp",
@@ -60,8 +60,10 @@
     "node": ">=22.13.0"
   },
   "resolutions": {
+    "@hono/node-server": "2.1.5",
     "fast-uri": "3.1.9",
     "hono": "4.13.13",
+    "minimatch": "11.0.3",
     "nanoid": "3.3.18",
     "qs": "6.16.1"
   },
@@ -107,17 +109,29 @@
     "ts-morph": "28.0.0",
     "zod": "^4.6.7"
   },
+  "peerDependencies": {
+    "@angular/compiler": ">=20.0.0 <23.0.0"
+  },
+  "peerDependenciesMeta": {
+    "@angular/compiler": {
+      "optional": true
+    }
+  },
   "devDependencies": {
     "@eslint/js": "^10.0.1",
     "@types/node": "^26.6.5",
+    "angular-compiler-v20": "npm:@angular/compiler@20.3.34",
+    "angular-compiler-v21": "npm:@angular/compiler@21.2.25",
+    "angular-compiler-v22": "npm:@angular/compiler@22.2.4",
     "eslint": "^10.8.0",
     "gpt-tokenizer": "4.1.0",
     "prettier": "^3.9.6",
+    "tar": "7.5.22",
     "typescript": "^5.6.0",
     "typescript-eslint": "^8.65.0",
     "vite": "^8.3.4",
     "vitest": "^5.0.5",
     "yaml": "^2.9.0"
   },
-  "gitHead": "425a967002178dde685cae1dcf0ec5fad533ff54"
+  "gitHead": "5b2d483001d21ef29a760a9c0ae538dc719f11ea"
 }

package/skills/structural-code-editing/SKILL.md

@@ -43,6 +43,20 @@ La selección default conserva los siete kinds. `contains` aplicable es `unsuppo
 
 For each dimension, `groups.length + omitted_group_count = total_group_count` and group counts sum to `covered_diagnostic_count`. Code coverage plus omitted diagnostics equals the total; file coverage additionally includes `unfiled_diagnostic_count`. File groups expose normalized project-relative paths only and may include paths absent from the raw page.
 
+## Angular templates
+
+In an Angular project (`@angular/core` resolvable from the tsconfig directory), `ast_find_references` also reports usages of a component member inside its external `templateUrl` template and inline `template`. Each item carries `origin` (`compiler`, `template_external` or `template_inline`), and the response adds `template_coverage` and `template_reference_count`. `reference_count` stays TypeScript-only; `total` counts both kinds.
+
+Read `template_coverage` before inferring absence. Only `completed` proves every template of the declaring component was examined. `unfinished` (for example `compiler_missing`, `compiler_unsupported`, `template_unresolved`, `template_parse_error`, `size_exceeded`) and `unsupported` (for example an inherited member) never prove that no template usage exists. `not_applicable` means the feature is off and the response is unchanged.
+
+`ast_rename_symbol` updates external templates in the same reviewed plan and rewrites them only through `ast_apply_operation`. It fails closed: coverage `unfinished` or `unsupported` returns `INCOMPLETE_EVIDENCE`, and an inline template usage, a new name that collides with a template local, or `$any` returns `MUTATION_BLOCKED`. Pipe names, `#ref`/`let-` targets, child inputs and outputs, host bindings and `styleUrls` are not renamed. Apply is sequential, not globally atomic; rollback restores the owned templates.
+
+Limits to state when reporting:
+
+- `ast_explore` is TypeScript-only: its references omit template usages. This is tracked in issue #380. Use `ast_find_references` for template evidence; rename still blocks independently.
+- Diagnostics stay TypeScript-only: `ast_get_diagnostics` and the post-apply delta do not detect template errors. A template-only breakage produces no diagnostic, so run the project's Angular build or tests after a rename.
+- Detection uses the user's own `@angular/compiler`, never a bundled one. It is an optional peer (`>=20.0.0 <23.0.0`) that the project already installs with Angular. If it is missing or out of range, coverage is `unfinished` and rename is blocked. Yarn PnP projects without `node_modules` resolve nothing and report `unfinished`.
+
 ## Contributor contract
 
 Al agregar o modificar una tool, mantener schemas, metadata, annotations, handler, errores y serialización en su módulo. Exportar un descriptor congelado y ubicarlo deliberadamente en `src/tools/catalog.ts`; el catálogo solo admite hechos estáticos de efecto, batch, compatibilidad y formatos directos.

package/skills/structural-code-editing/references/operations.md

@@ -20,6 +20,12 @@ El setup falla cerrado ante un registro `ast` conflictivo. No borrar ni reemplaz
 
 Preferir `file_path` relativo; un suffix ambiguo debe devolver candidatos. `ast_get_file` solo admite archivos del tsconfig activo y `snapshot_state: "fresh"` no implica cero diagnostics. `ast_explore` es read-only: revisar `budget`, `completeness`, `unresolved` y `truncation`; sus `call_spines` son recorridos estáticos, no stacks de runtime.
 
+### Angular templates
+
+`ast_find_references` adds template usages (`origin: "template_external" | "template_inline"`, `template_coverage`, `template_reference_count`) only when `@angular/core` resolves; otherwise the response is unchanged. Treat `template_coverage.status` other than `completed` as not proving absence. `ast_explore` is TypeScript-only for references (tracked in issue #380), and diagnostics stay TypeScript-only, so template errors are never detected.
+
+`ast_rename_symbol` edits external templates and returns `INCOMPLETE_EVIDENCE` (coverage `unfinished` or `unsupported`) or `MUTATION_BLOCKED` (inline usage, template-local collision, `$any`). The user's `@angular/compiler` is an optional peer, never bundled; Yarn PnP projects without `node_modules` report `unfinished`. See the Angular templates section of `SKILL.md`.
+
 ## Trust, freshness y ausencia
 
 Solo `provenance: "compiler"`, `confidence: "exact"`, `resolution: "resolved"` y `freshness.state: "fresh"` producen evidencia autoritativa. `syntax` describe estructura; `heuristic` nunca autoriza una mutación. El índice acelera, pero el compilador valida. Administrar su cache derivada solo con `ast-tool cache inspect` y `ast-tool cache clear --yes`, nunca borrándola manualmente. La ausencia usa el contrato específico: solo `ast_find_test_candidates` usa `completeness.proven_empty` para evidencia vacía de tests afectados; `ast_explore.call_spines` usa `empty_proven`; listados, búsquedas y referencias agotan paginación con `total`, `has_more` y `next_offset` según corresponda, nunca con `proven_empty`.

package/skills/structural-code-editing/releases.json

@@ -6,11 +6,11 @@
     "files": [
       {
         "path": "SKILL.md",
-        "sha256": "33d0c6520c1ed54d42a502251a08baed86153bf9b6c275aed4525b2968f1553b"
+        "sha256": "94ff4ce2a97d33cad56b7c1ed8057d0ff7ca22988aebd7923b21319326307c18"
       },
       {
         "path": "references/operations.md",
-        "sha256": "d52f01637e33e65ce523d19a810ce9488ab92228809768ec66a584120c24ad98"
+        "sha256": "ee5dd8138b4f4570ee256c820c69b94d650a3d454119fff80b1dc08a6297b380"
       }
     ]
   },