"TypeScript type checking tool or function" matching MCP servers:

Encoding-aware, indentation-smart file tools for AI coding agents. 20+ tools including read/edit with automatic encoding detection, smart indentation conversion, SSH, SFTP, process management, and system utilities.

An MCP server that provides utility tools for text analysis, URL metadata fetching, and temperature conversion.

Provides an MCP interface to the ROBOT command-line tool for OWL ontology editing, enabling operations like merging, reasoning, and conversion via natural language.

MCP server connecting Claude/Cursor to Codex CLI, enabling code analysis via @ file references, multi-turn conversations, sandboxed edits, and structured change mode.

Integrates the Atlassian Rovo Dev CLI with the Model Context Protocol, allowing AI assistants to perform deep code analysis using Rovo Dev's large context capabilities. It enables features like repository-wide queries, file-specific analysis, and specialized coding modes through a standard MCP interface.

This is a powerful Model Context Protocol (MCP) server that integrates multiple AI coding agents—Anthropic Claude Code, OpenAI Codex, and Google Gemini—directly into your workflow. It enables seamless cross-provider analysis, leveraging Gemini's massive token window, Codex's specialized coding capabilities, and Claude's advanced reasoning.

MCP server that integrates Google Gemini CLI with AI assistants, enabling large file analysis and natural language queries without an API key.

A Model Context Protocol server that enables AI assistants to interact with Google Gemini CLI, allowing them to leverage Gemini's large token window for analyzing files and codebases using natural language commands.

Enables access to Semrush Keyword Magic Tool API for SEO keyword research, including keyword overview analysis, finding millions of keyword suggestions, and discovering question-based keywords across different countries and languages.

Model Context Protocol (MCP) server implementation for DataForSEO, enabling AI assistants to interact with selected DataForSEO APIs and obtain SEO data through a standardized interface.

Provides comprehensive filesystem operations, text search/replace, image processing, and Tesseract OCR capabilities for AI agents via the Model Context Protocol.

Stop grepping. Start knowing. EdgeHop turns a codebase into a queryable graph and serves it over MCP — find where a symbol lives, who calls a function, the type hierarchy, and the shortest path between two symbols, resolved from the compiler's semantic model instead of text search. Language support is pluggable: C#/Razor and JavaScript/TypeScript today, with more extractors on the way — and it re

A local MCP server for generative image description, providing prose captions, OCR, and LoRA dataset caption sidecars via Florence-2, with deterministic decoding and an honesty contract.

A comprehensive MCP server for checking package versions and rating package quality across Python (PyPI), JavaScript/TypeScript (npm), Dart (pub.dev), and Rust (crates.io) ecosystems.

Provides an MCP interface for Agda's JSON interaction protocol, enabling type checking and interactive editing of Agda modules with support for workspace management and non-blocking operations.

This MCP server enables grammar and style checking of text using LanguageTool, providing a tool to check text and receive suggestions for issues.

This MCP server provides direct access to ruff linting, formatting checks, and ty type-checking for Python projects, with token-efficient, structured output.

An MCP server that exposes Pyright language server functionality for Python, providing tools for type checking, code completions, and finding definitions. It enables AI models to perform static analysis and code formatting through the Model Context Protocol.

Enables querying WAZ zone definitions, mapping ADIF DXCC entities and subdivisions to zone codes, searching zones by name or prefix, and checking zone validity with source citations. Runs locally without network access or authentication.

An MCP server that performs comprehensive Python code analysis using Ruff, ty, and Vulture for linting, type checking, and dead code detection.