# Type Atlas (npm · @type-atlas/mcp)

Editor-grade TypeScript, Markdown, and JSON intelligence for coding agents.

- Trust score: 74/100 (medium)
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-08-03

## Components

- npm · `@type-atlas/mcp`: 74/100 (this document), [markdown](https://verifymcp.io/servers/tyler-mitchell-type-atlas/type-atlas-mcp.md), [page](https://verifymcp.io/servers/tyler-mitchell-type-atlas/type-atlas-mcp)

## Channel facts

- Registry: `npm`
- Package: `@type-atlas/mcp`
- Version: `0.1.1`
- Transport: `stdio`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-08-03.

- **Supply Chain Security**: 91/100
  - No malware found by supply-chain analysis.
  - No known CVEs affecting this package version or its production dependencies.
  - No install/post-install scripts declared.
  - 87 of 108 dependencies flagged as unhealthy (81 deprecated).
- **Provenance & Transparency**: 97/100
  - Source repository is publicly reachable at the declared URL.
  - Cryptographically verified build provenance (signed, bound to tyler-mitchell/type-atlas).
  - Clear OSI-approved license (Apache-2.0).
  - Actively maintained (last published 0 days ago).
  - Disclosure check failed: no security disclosure policy was found in the source repository.
- **Schema Quality & AI Usability**: 65/100
  - AI-judged instruction clarity (good).
  - Context-footprint check failed: tool/resource definitions use about 4297 tokens (~122/item across 35 items; 35 tools + 0 resources), over budget; trim descriptions and params.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 0/100
  - Stability not yet verified: not enough scan history yet (needs a 30-day window).
- **Tool Coverage**: 94/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 81% of tool parameters carry a description.
- **Capabilities**: 100/100
  - Implements a current MCP spec version (2026-07-28).

**Unverified: 1 category.** A category scored 0 because we could not verify it: a data source with nothing on this package, evidence we could not reach, or a check we could not run. We only credit what we can confirm.

## Install

### Claude

```bash
claude mcp add tyler-mitchell-type-atlas -- npx -y @type-atlas/mcp
```

### Codex

```bash
codex mcp add tyler-mitchell-type-atlas -- npx -y @type-atlas/mcp
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "tyler-mitchell-type-atlas": {
      "type": "local",
      "command": [
        "npx",
        "-y",
        "@type-atlas/mcp"
      ],
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add tyler-mitchell-type-atlas --command npx --arg -y --arg @type-atlas/mcp
```

### Hermes

```yaml
mcp_servers:
  tyler-mitchell-type-atlas:
    command: "npx"
    args: ["-y", "@type-atlas/mcp"]
```

### Other

```json
{
  "mcpServers": {
    "tyler-mitchell-type-atlas": {
      "command": "npx",
      "args": [
        "-y",
        "@type-atlas/mcp"
      ]
    }
  }
}
```

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-08-02 (score 74)

First indexed and scored.

## MCP tools (35)

### `read_file` (~180 tokens)

Read files

Read one or more UTF-8 text files, including source, Markdown, and JSON, with stable line numbers. Pass a path or { path, startLine, endLine, fold } view, or an array of either. Native folding is used when available.

Input parameters:

- `endLine` (integer): Default last inclusive 1-based source line for file views.
- `file` (required): A file path, or file views to read together.
- `fold` (boolean): Default folding behavior for file views that do not override it.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `startLine` (integer): Default first 1-based source line for file views.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `list_files` (~209 tokens)

List files

Show a bounded workspace-relative project structure. The default file view groups edit targets by directory; use the directory view for compact architecture orientation. Results honor .gitignore, omit dependency and VCS internals, and treat Git submodules as separate workspaces by default.

Input parameters:

- `depth` (integer): Directory levels to include. Defaults to 10 with glob and 1 otherwise.
- `directory` (string): Workspace-relative directory to list.
- `glob` (array): One or more OR-combined Picomatch patterns relative to the selected directory.
- `includeHidden` (boolean): Include paths whose names begin with a dot.
- `includeIgnored` (boolean): Include files matched by applicable .gitignore files.
- `includeSubmodules` (boolean): Descend into Git submodules instead of treating them as separate workspaces.
- `limit` (integer): Maximum files or directories returned.
- `view`
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `diagnostics` (~78 tokens)

Diagnostics

Return the full diagnostic report for a file. File-scoped tools already surface ambient errors and warnings; use this only to expand that notice or deliberately inspect diagnostics. A clean report returns no content.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `document_links` (~86 tokens)

Document links

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `document_symbols` (~108 tokens)

Document symbols

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

Input parameters:

- `depth` (integer)
- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `raw` (boolean)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `selection_ranges` (~101 tokens)

Selection ranges

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (required): One source position, or multiple positions to inspect together.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `project_config` (~51 tokens)

Project configuration

Return the TypeScript configuration selected for a source file.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `hover` (~85 tokens)

Hover

Return type and documentation hover at a position.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `signature_help` (~87 tokens)

Signature help

Return overload and parameter information at a call site.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `completions` (~132 tokens)

Completions

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.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `limit` (integer)
- `offset` (integer)
- `position` (object, required)
- `raw` (boolean)
- `resolve` (boolean)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `inlay_hints` (~90 tokens)

Inlay hints

Return inline type and parameter hints for a source range.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `range` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `list_module_exports` (~306 tokens)

Inspect module

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.

Input parameters:

- `fromFile` (string, required): Workspace-relative or absolute importing file that determines the exact TypeScript project and package versions.
- `includeDetails` (boolean): Resolve the displayed exports to include signatures and declared shapes.
- `includeDocs` (boolean): Include upstream documentation for the displayed exports.
- `includeSubpaths` (boolean): Include declared importable subpaths when inspecting a package root.
- `limit` (integer): Maximum exports returned.
- `module` (string, required): Module specifier to inspect, such as react, @scope/package, or ./local-module.js.
- `offset` (integer): Zero-based offset into the completion results.
- `path` (array): Nested member path to inspect, such as ["d"], ["default"], or ["device"] with an exported type.
- `query` (string): Optional case-insensitive text filter over Volar's completion labels.
- `surface`: Runtime exports by default; use all to include top-level type exports. Nested paths are runtime surfaces.
- `type` (string): Module-scoped exported type expression whose instance members to inspect, such as TgpuRoot or TgpuBuffer<any>. Type-only surfaces are opt-in.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `inspect_symbol` (~57 tokens)

Inspect symbol

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.

### `workspace_symbols` (~158 tokens)

Workspace symbols

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.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `limit` (integer): Maximum results returned; this does not reduce the underlying workspace search.
- `offset` (integer)
- `query` (string, required): Use a specific symbol name; avoid broad speculative queries in large workspaces.
- `raw` (boolean): Return every matching symbol; potentially very large in monorepos.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `definitions` (~83 tokens)

Definitions

Return definition locations at a position.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `type_definitions` (~86 tokens)

Type definitions

Return type-definition locations at a position.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `implementations` (~83 tokens)

Implementations

Return implementation locations at a position.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `callers` (~106 tokens)

Callers

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `callees` (~108 tokens)

Callees

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.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `references` (~131 tokens)

References

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDeclaration` (boolean)
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `limit` (integer)
- `offset` (integer)
- `position` (object, required)
- `raw` (boolean)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `file_references` (~118 tokens)

File references

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `limit` (integer)
- `offset` (integer)
- `raw` (boolean)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `document_highlights` (~87 tokens)

Document highlights

Return same-document semantic usages at a position.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `rename_symbol` (~79 tokens)

Rename symbol

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `newName` (string, required)
- `position` (object, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `rename_files` (~54 tokens)

Rename files

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

Input parameters:

- `files` (array, required)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `format_document` (~103 tokens)

Format document

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `insertFinalNewline` (boolean)
- `insertSpaces` (boolean)
- `tabSize` (integer)
- `trimFinalNewlines` (boolean)
- `trimTrailingWhitespace` (boolean)
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `code_actions` (~193 tokens)

Code actions

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.

Input parameters:

- `action` (integer): Resolve the corresponding action number from discovery.
- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `includeUnavailable` (boolean): Include actions that the language service marks unavailable.
- `insertSpaces` (boolean): Use spaces rather than tabs in TypeScript code-action edits.
- `only`: Restrict discovery to quick fixes or refactors.
- `range` (object, required)
- `tabSize` (integer): Indentation width used by TypeScript code actions.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `organize_imports` (~128 tokens)

Organize imports

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `insertSpaces` (boolean): Use spaces rather than tabs in TypeScript code-action edits.
- `tabSize` (integer): Indentation width used by TypeScript code actions.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `remove_unused_code` (~129 tokens)

Remove unused code

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `insertSpaces` (boolean): Use spaces rather than tabs in TypeScript code-action edits.
- `tabSize` (integer): Indentation width used by TypeScript code actions.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `add_missing_imports` (~130 tokens)

Add missing imports

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `insertSpaces` (boolean): Use spaces rather than tabs in TypeScript code-action edits.
- `tabSize` (integer): Indentation width used by TypeScript code actions.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `fix_all` (~130 tokens)

Fix all

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

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeDiagnostics`: Include one complete diagnostic plus file totals when present, use 'verbose' for the full report, or false to omit diagnostics.
- `insertSpaces` (boolean): Use spaces rather than tabs in TypeScript code-action edits.
- `tabSize` (integer): Indentation width used by TypeScript code actions.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `search_dependency_code` (~219 tokens)

Search dependency code

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.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `limit` (integer): Maximum retrieval matches returned (1-20).
- `package` (required): Installed package name, or package names, resolved from the importing file.
- `path` (array): Nested runtime export path to search, such as ["Effect"] or ["default"].
- `query` (string, required): Behavior, concept, or identifier to find in package code.
- `snippetLines`: Source lines included for each retrieval match (0-30); pass null for the complete chunk.
- `surface`: Runtime exports by default; use all when type-only exports are relevant.
- `type` (string): Exported type whose instance or chained methods should be searched.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `search_code` (~159 tokens)

Search code

Find code by behavior, concept, or identifier and anchor each match to an exact language-server symbol. Use workspace_symbols for an exact known name.

Input parameters:

- `includeTypes` (boolean): Include hover types and documentation for every match.
- `limit` (integer): Maximum retrieval matches returned (1-20).
- `query` (string, required): Natural-language behavior, concept, or code to find.
- `scope` (string): Optional workspace-relative directory to search. Each distinct scope has a separate Semble index; prefer a stable package or app boundary.
- `snippetLines`: Source lines included for each retrieval match (0-30); pass null for the complete chunk.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `related_code` (~177 tokens)

Related code

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.

Input parameters:

- `file` (string, required): Workspace-relative or absolute file path.
- `includeTypes` (boolean): Include hover types and documentation for every match.
- `limit` (integer): Maximum retrieval matches returned (1-20).
- `line` (integer, required): Zero-based source line from a search result or known location.
- `scope` (string): Optional workspace-relative directory to search. Each distinct scope has a separate Semble index; prefer a stable package or app boundary.
- `snippetLines`: Source lines included for each retrieval match (0-30); pass null for the complete chunk.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

### `explore_symbol` (~38 tokens)

Explore symbol

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

### `investigate_code` (~228 tokens)

Investigate code

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.

Input parameters:

- `candidateLimit` (integer): Maximum retrieval matches returned (1-20).
- `includeSource` (boolean): Include complete source for the inspected symbol or symbols.
- `inspectionLimit` (integer): Maximum distinct retrieved candidates given verified relationships (1-5). Exact identifier matches inspect only that symbol.
- `question` (string, required): Implementation question or behavior to investigate.
- `relatedLimit` (integer): Optional structurally similar results derived from the first inspected candidate (0-20).
- `relationshipLimit` (integer): Maximum verified relationships shown per section (1-100).
- `scope` (string): Optional workspace-relative directory to search. Each distinct scope has a separate Semble index; prefer a stable package or app boundary.
- `snippetLines`: Source lines included for each retrieval match (0-30); pass null for the complete chunk.
- `workspace` (string, required): Workspace root. Relative paths resolve from the MCP process working directory.

## Diagnostics

Captured diagnostic sections: Provenance, Dependencies. The full working is on the page: https://verifymcp.io/servers/tyler-mitchell-type-atlas/type-atlas-mcp#diagnostics

## Score history

- 2026-08-03: 74
- 2026-08-02: 74

## Links

- npm package: https://www.npmjs.com/package/@type-atlas/mcp
- Socket report: https://socket.dev/npm/package/@type-atlas/mcp
- Repository: https://github.com/tyler-mitchell/type-atlas
- Changelog RSS feed: https://verifymcp.io/servers/tyler-mitchell-type-atlas/type-atlas-mcp/changelog.xml
- Changelog JSON feed: https://verifymcp.io/servers/tyler-mitchell-type-atlas/type-atlas-mcp/changelog.json
- HTML version of this page: https://verifymcp.io/servers/tyler-mitchell-type-atlas/type-atlas-mcp