Type Atlas

Return TypeScript's source-wide missing-import fixes as a Codex patch. The MCP does not modify files.

Show which callable symbols are invoked directly by the function at a position, grouped with exact call sites. Use this instead of references when tracing outgoing execution flow.

Show which functions call the callable symbol at a position, across every project loaded this session, grouped by caller with exact call sites. Use this instead of references when tracing incoming execution flow.

Discover quick fixes and refactors for a range, or resolve a displayed action to a Codex patch. Stable source-wide actions have dedicated tools. The MCP does not modify files.

Return a bounded completion page at a source position. Set resolve to include upstream details for that page or raw to return every unresolved candidate.

Answer several questions about code in one call, laid out how you want. `{% ask %}` declares data and renders nothing; the body you write is the answer. Every ask binds `.text`, already rendered exactly as that tool renders it. {% ask "references" as="uses" file="src/x.ts" symbol="foo" /%} {% $uses.text %} Every ask takes `as`. Positional asks take `file` and either `symbol` or one-based `line`+`character`. File and workspace asks take only the attributes shown below. Add `each=<an earlier bind, or a literal list>` to run it once per item, max 10 → { items, total, of, failureCount, text }, each item also carrying `title`. ASKS — further attributes → what it binds besides `text` inspect_symbol(includeSource?, includeTypeDefinitions?, limit?=20) → { symbol, documentation, mentions, callers, callees, implementations, typeDefinitions } hover() → { } subject() → { name, kind, file, at } references(tests?: "only" | "exclude", limit?=50) → { total, shown, beyond, any, files, paths, projects, groups } definitions(limit?=50) → { total, shown, beyond, any, files, paths, hits } type_definitions(limit?=50) → as definitions implementations(limit?=50) → as definitions // a zero can mean unsearched; text says which file_references(limit?=50) → as references // who imports this module callers() → { name, total, any, groups, standardLibrary, projects } // loaded projects callees() → { name, total, any, groups, standardLibrary } // owning project document_symbols(depth?, raw?) → { total, tree } diagnostics(files?: (path | place)[] <= 5) → { total, any, checked, of, groups } read_file(from?, to?) → { lines, startLine } list_files(directory?, glob?: string[], depth?, limit?=500, changed?) → { files, total, any } search_code(query, directory?, limit?=5, snippetLines?=10) → { hits, of, total, any, file, line, character } occurrences(query, path?, limit?=20, symbolLimit?=5) → { subjects, total, any } workspace_symbols(query, limit?=20) → { hits, answered, projects, total, shown, any, file, line, character } // loaded projects only place = { file, line, character }. `hits` and `subjects` are places, `paths` are strings; both chain into a later ask, and `file`/`line`/`character` point at the first hit. TAGS {% tree entries partial? as?="node" /%} {% each items as partial tight? /%} {% sections items level? /%} {% source lines startLine? from? to? /%} {% section title level? %} {% tight %} {% indent by? %} {% table rows columns /%} {% banner %} {% divider text? /%} {% frame source line character /%} {% summary %} / {% row label value /%} {% truncate value columns? /%} {% pad value columns /%} PARTIALS — pass the variable each reads as `as` reference-node.mdoc $node groups from references, file_references call-node.mdoc $node groups from callers, callees symbol-node.mdoc $node tree from document_symbols location-node.mdoc $node groups inside inspect_symbol: mentions, implementations, typeDefinitions target.mdoc $target the same groups, location only workspace-symbol.mdoc $item hits from workspace_symbols diagnostic-group.mdoc $group groups from diagnostics FUNCTIONS any() position() range() symbolKind() list() fraction() markup() breadcrumb() figure() article() slash() time() width() NOTES {% if %} sits on its own line, and guards on `any`, never `total` — a count renders on zero. Consecutive lines fold into one paragraph; blank-line them apart, and {% tight %} closes the gap again. `paths` and `files` are lists to hand on, not text to print. Place asks list at most `limit` and say what they cut. Asks run in document order and may read earlier binds. A failed ask is named below the answer; the rest still render.

Return definition locations at a position.

Report diagnostics for the TypeScript projects you have touched — the compiler's own whole-program check, run once per project.

Return same-document semantic usages at a position.

Return resolved links discovered by the active language service in a Markdown or JSON document.

Return the top-level document outline and source ranges. Set depth to include nested symbols or raw to return the complete hierarchy.

Combine exact definitions, types, implementations, callers, calls, and references for one symbol with structurally similar code. Verified relationships and similarity are separate.

Return a bounded page of module references from the TypeScript project selected by file. Set raw to return every project-scoped reference.

Establish what happened to a symbol that no longer resolves: whether it still exists somewhere, or was withdrawn, and what currently occupies its role. Use this before concluding a capability is gone — a name that returns nothing from search is the case this answers, not evidence of removal.

Return TypeScript's source-wide fix-all action as a Codex patch when applicable. The MCP does not modify files.

Return a Codex patch containing document-formatting edits. The MCP does not modify files.

Return type and documentation hover at a position.

Experimental: weigh a change to the symbol at a position — uses in loaded projects, grouped by package, with how many sit in tests. Composed for the decision, not the enumeration; references lists the sites themselves.

Return implementation locations at a position.

Return inline type and parameter hints for a source range.

Return a bounded working view of a symbol: type and documentation, exact definition/body ranges, distinct implementations and types, callers, direct calls, remaining references, project scope, and optional source. Select by exact file-local symbol name or source position.

Retrieve ranked code for an implementation question and attach verified relationships to the exact identifier match or a bounded set of distinct candidates. Structural similarity is optional and remains separate.

Show one bounded workspace-relative file tree rooted at the selected directory, with directories before files. Rows carry `git status` inline with editor-standard letters — `· M +2 -1`, `· R old.ts →`, `· U`, `· 2 changed` on directories — so one call answers structure, reading cost, and working-tree state together; no separate git call is needed to see what changed. Results honor .gitignore, omit dependency and VCS internals, and treat Git submodules as separate workspaces by default.

Inspect the usable module surface visible from an importing TypeScript file. Returns runtime signatures by default, declared package subpaths at package roots, nested runtime paths on request, and exported types or their members as opt-ins.

Find exact identifiers or expressions without knowing their files. Identifier queries resolve semantic references; expression queries match AST structure and receive Volar annotations. Use search_code for meaning-based retrieval.

Return the TypeScript organize-imports action as a Codex patch. The MCP does not modify files.

Return the TypeScript configuration selected for a source file.

Expand the transitive reference closure of a symbol, breadth-first, reporting every site with its source line and the declaration enclosing it, plus the frontier that was not expanded. Use before removing or replacing something, when you need the whole blast radius rather than one hop.

Read one or more UTF-8 text files, including source, Markdown, and JSON, with stable line numbers. Pass every path in one call rather than calling repeatedly. Function bodies fold to their signatures by default; startLine, endLine, and fold apply to every path in the call.

Return a bounded page of reference locations, across every project loaded this session unless scope narrows it. Set raw to return the complete scope instead of one page.

Find structurally similar code for a source line and anchor each match to an exact language-server symbol. Similarity is not a call, reference, or runtime relationship.

Return TypeScript's source-wide unused-code removal as a Codex patch. The MCP does not modify files.

Return a Codex patch that moves files and updates affected references. The MCP does not modify files.

Return a Codex patch for a TypeScript-project symbol rename at a source position. The MCP does not modify files.

Find code by behavior or concept and anchor each match to an exact language-server symbol. The first search of a repository builds its index and takes seconds; later searches answer in milliseconds.

Search installed package code and its matching public runtime API without indexing all of node_modules. Use path for a known namespace or type for instance and chained methods. The importing file selects the exact package versions visible to that project.

Return the nested structural ranges an editor expands through from one or more source positions.

Return overload and parameter information at a call site.

Return type-definition locations at a position.

Search symbols across TypeScript projects activated in this workspace session. Potentially expensive in large monorepos: each call may search many project files, and limit only bounds returned output. Use document_symbols when the file is known; avoid parallel or repeated speculative searches.