typeprobe

MCPcommunity
v4.0.0MITUpdated 2d agonpmGitHub

TypeScript inferred types, completions and type errors for AI coding agents and type tests: an MCP server, a CLI, and snapshot-test helpers

Works in
ClaudeCursorCopilotGemini

Inferred from the transports this listing declares (stdio). A client not listed here hasn’t been ruled out — it just isn’t something Forge can confirm.

Automatically indexed from public sources. Not yet verified by the developer on Forge.Claim this listing →
1GitHub stars
2d agoLast update
Package
Author
LicenseMIT
Version4.0.0
Sourcenpm+mcp-registry
Trust Status
B
60/100Good
✓Listed in Forge index+10/10
—Publisher identity verified+0/20
→ Publisher: run `forge publish` from the package repo to claim ownership
—Ed25519 publish signature+0/5
→ Included automatically when the publisher runs `forge publish`
—Domain verification+0/5
→ Publisher: host /.well-known/forge.json on the package homepage with { "publisher": "<github-login>" }
—npm Trusted Publishing (Sigstore)+0/5
→ Publish from GitHub Actions with --provenance so the attestation binds this package to this repo
—npm maintainer match+0/5
→ Earned once your identity is verified above and that login is an npm maintainer of this package
✓CVE scan · clean+30/30
✓Static analysis · clean+20/20
Paste into Claude Code, Cursor, or any AI assistant to fix all gaps
StatusCommunity-indexed
PublisherUnverified
SignatureUnsigned
Domain—
Provenance—
Dependencies✓ 4 resolved · none vulnerable
Tool surface6 tools · none privileged
Security scan✓ Cleanv4.0.0 · todayHow well does this scan work?
EvalsNone
IndexedOct 11, 2026

Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts.

Tools

6 tools · none privileged
Statically extracted from the published packagev4.0.0 · 21h ago

Read out of the source npm actually ships, at scan time. The package was never executed. Tools registered dynamically at runtime, or hidden inside bundled or minified code, can be missed — so this is a floor on the tool surface, not a complete census of it.

hover_by_nameThe type TypeScript infers for a named variable, function, parameter, property, or type. Use before writing an annotation, when unsure what a generic or call resolves to, or instead of reading .d.ts files.

The type TypeScript infers for a named variable, function, parameter, property, or type. Use before writing an annotation, when unsure what a generic or call resolves to, or instead of reading .d.ts files.

No input schema was published for this tool.

hoverThe type at a token on a line, like an editor hover; generic calls show their instantiated types. Use when hover_by_name can't name the token: callback parameters, expressions, repeated names.

The type at a token on a line, like an editor hover; generic calls show their instantiated types. Use when hover_by_name can't name the token: callback parameters, expressions, repeated names.

No input schema was published for this tool.

batch_hoverNo description published

This tool published no description. Forge does not invent one.

completionsNo description published

This tool published no description. Forge does not invent one.

diagnosticsCheck one file for type errors without running tsc on the whole project. Call it on each file you edit; the edit is done when none reports an error.

Check one file for type errors without running tsc on the whole project. Call it on each file you edit; the edit is done when none reports an error.

No input schema was published for this tool.

annotationsType annotations in one file that TypeScript would infer anyway (redundant) or that are wider than the inferred type (widening, often an intended contract). Use when reviewing or cleaning up types.

Type annotations in one file that TypeScript would infer anyway (redundant) or that are wider than the inferred type (widening, often an intended contract). Use when reviewing or cleaning up types.

No input schema was published for this tool.

4 of 6 tools published a description.

Tool names and descriptions are written by the publisher and shown verbatim as inert text. They are the strings an MCP client passes to a model, so Forge scans them for prompt-injection patterns — any finding appears with the security scan above. “Privileged” is a keyword match on the tool name, not an audit of what the tool does: a benign-sounding name can still do anything.

About

TypeScript inferred types, completions and type errors for AI coding agents and type tests: an MCP server, a CLI, and snapshot-test helpers

Keywords
mcpmcp-servermodel-context-protocolaiagentclaudeclaude-codecodexcursorllmtypescripttype-inferencetypeshoverlspinspectionclitestingtype-testingsnapshottype-testsprinfer
Alternatives
Comparing tool surfaces…

Dependency tree

What one Forge scan resolved from npm metadata on 2026-10-12 — observed resolution, not a publisher declaration.

4 packages resolved · 3 direct · none carrying advisories Resolution stops at depth 4 and 60 packages.

Declared but not resolved

1 declared dependencies never landed in the tree. They are missing from Forge's resolution, not from the package.

Topics

Related in testing & ci