MCP servers that ship as code — a repository or a package you install and run locally (usually over stdio). They have no hosted endpoint, so we cannot probe or grade them: instead each one shows its repository, install command, license, stars and when it was last updated.
Collected from GitHub repositories and npm, PyPI, Cargo, Go, Maven, NuGet and RubyGems packages tagged as MCP servers, the official MCP Registry, Docker's MCP catalog, ModelScope, Baidu MCP World, Cline and other public directories; one entry per repository. A server that also offers a hosted endpoint is listed under Remote instead. These entries are not counted in our reachability, verification or readiness statistics.
-
@type-crafter/mcpgithub.com/sinha-sahil/type-crafterupdated this year
MCP server for Type Crafter - generate types from YAML specifications
npm ISC -
typed-nlgithub.com/janaraj/tnlupdated this year
TNL — Typed Natural Language: structured English contracts for coding agents. CLI + MCP server + layered verifier.
npm MIT -
type-dependenciesgithub.com/AdamTovatt/type-dependenciesupdated this year
A command-line tool for analyzing and visualizing type dependencies in C# assemblies. Works as both a CLI tool and an MCP (Model Context Protocol) server for AI agents.
GPL-3.0 -
Native Model Context Protocol (MCP) server providing typed state-action schema arbitration, deterministic action dispatch, and token-saving pre-escalation filters.
MIT -
Practice judgment with AI code in VS Code: predict, inspect, and keep or reject changes with evidence. Open source; ChatGPT and MCP support.
MIT -
Font discovery and typography tools for AI agents. Explore local open and proprietary collections, refine by visual similarity, compare real text in context, and resolve exact assets through a JSON CLI and MCP. Fonts and model inference stay local; usage rights vary by source.
MIT ★ 1 -
High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic
npm Apache-2.0 -
MCP (Model Context Protocol) Server for TypeScript Type Guard Generation - Generate runtime validation functions from TypeScript types
npm MIT -
TypeScript inferred types, completions and type errors for AI coding agents and type tests: an MCP server, a CLI, and snapshot-test helpers
npm MIT -
MCP server for SkinGuide: search skincare products by Baumann skin type, product category, country, and budget. Exposes AI-friendly endpoints for dry, sensitive, and other skin types.
npm MIT -
mcp-movabletype-writergithub.com/burnworks/mcp-movabletype-writerupdated this year
MCP server for Movable Type - AI-powered draft creation and editing
MIT -
MCP server that helps AI agents explore OpenAPI specs, search endpoints, and generate TypeScript types.
npm MIT -
incur-based CLI/MCP server exposing TypeSafe jev (systemOne) typed-question calls to agents
npm MIT -
TypeScript type inference inspection tool for AI coding assistants
npm MIT ★ 1 -
@mukundakatta/mime-mcpgithub.com/mukundakatta/mime-mcpupdated this year
MCP server: look up MIME content types from file extensions and vice versa.
npm MIT -
@iflow-mcp/productdevbook-sufetchgithub.com/productdevbook/sufetchupdated this year
Type-safe OpenAPI clients with MCP server for AI-driven API exploration
npm MIT -
TypeScript diagnostics MCP server with monorepo support - live type checking without constant recompilation
npm MIT -
@aidevkit/graphgithub.com/semihkayan/aidevkit-graphupdated this year
Codebase graph analysis for AI agents — AST + call graph + type graph + hybrid semantic search via MCP
npm Apache-2.0 -
@codeweave/mcpgithub.com/semihkayan/codeweave-mcpupdated this year
Codebase graph analysis for AI agents — AST + call graph + type graph + hybrid semantic search via MCP
npm Apache-2.0 -
MCP server for interactive Agda type-checking and proof development. Mutating or Non-Mutating.
MIT -
MCP server exposing MetaTrader 5 market data to LLM agents as typed, read-only tools. No order placement code exists in it
MIT -
A local stdio MCP server exposing one tool, jev_decide, for typed Jev decisions (choice, score, and yes/no probabilities) through any SDK-compatible decision API endpoint
npm MIT -
Open-source professional font editor for macOS, Windows and Linux — Rust core with a first-class MCP server, so AI agents can design type alongside you.
Apache-2.0 -
MCP server for Laya typed decisions (noul / choice / score): a warm model sidecar, token-budget preflight, and honest confidence. Node entry point for the Python package.
npm Apache-2.0 -
A secure, production‑ready Cloudflare Worker API integrating Hotels.com search and booking via RapidAPI for Claude Desktop MCP — built with type safety, robust error handling, and strict secret management.
-
Claude-personal-stylistgithub.com/wat-hiroaki/Claude-personal-stylistupdated this year
AI personal stylist powered by Claude MCP + Playwright. Analyzes your body type, personal color, and taste to recommend what to buy from any fashion site (UNIQLO, ZARA, SSENSE, etc.)
MIT ★ 2 -
Human Design API. Bodygraph in one call: energy type, strategy, inner authority, profile, definition, incarnation cross, nine centers, channels, gates.
MIT ★ 1 -
Complete example MCP server implementation with full specification support, type safety, and production-ready architecture. Demonstrates OAuth 2.1, tools, prompts, sampling, and notifications using Reddit as a real-world integration.
npm MIT -
Substrate - AI native, strongly-typed, real-time extensible data-substrate for agents and meat popsicles alike. Plugins declare typed namespaces; every type gets query, mutate and subscribe over HTTP, MCP, WebSocket and SSE with no handler code. Postgres + pgvector, semantic recall, runtime schema proposals.
npm Apache-2.0 -
MCP server for Trilium Notes — an AI assistant authors and manages typed notes via the ETAPI, with each type's format defined in Trilium itself.
MIT -
MCP server for SkinGuide: search skincare products by Baumann skin type, product category, country, and budget. Exposes AI-friendly endpoints for dry, sensitive, and other skin types
★ 1 -
google-forms-mcp-extendedgithub.com/xari-ya/google-forms-mcp-extendedupdated this year
A secure, feature-rich Python MCP server for Google Forms. Create and manage forms, advanced question types, quizzes, media, publishing, and responses through 22 typed tools with least-privilege OAuth authentication.
MIT -
Video link to answers over MCP: downloads with audio merged, transcribes, embeds frames and transcript with jina-embeddings-v4, and returns typed, timestamped evidence with the frames. 19 typed tools, resources and prompts.
NOASSERTION -
MCP tools for code generation from compact JSON recipes, type graphs, and OpenAPI, GraphQL, Protobuf, or SQL schemas. Generate linked types and custom code with imports across 11 languages.
npm MIT -
Executive-ready slides, one API call away. API-first AI presentation engine with 32 slide types, 24 chart types, 15 themes, finance vertical. PPTX + Google Slides. MCP server for AI agents. TypeScript SDK.
MIT ★ 7 -
Give coding agents the TypeScript compiler's actual reasoning — an MCP server and CLI that turn type errors into because-chains pointing at the declaration to fix. Also a library: explain-trees, inference bindings, conditional-type traces.
npm MIT -
kd-gengithub.com/khuong02/kd-genupdated this year
The kd-gen is a Go code generation tool designed to create type-safe enums from YAML configuration files. This tool automates the generation of Go enum types along with their associated helper methods, enhancing code safety and reducing boilerplate.
MIT ★ 4 -
eslint-typescript-mcpgithub.com/w334-jpg/eslint-typescript-mcpupdated this year
MCP server that brings ESLint and TypeScript type-checking diagnostics to Claude Code — enables LLMs to lint, fix, and type-check code automatically, with per-file targeting and dry-run support for multi-agent workflows
npm MIT -
The open ontology store. Every value typed, traced and verifiable: an ontology types every write, every field keeps its source and time, a hash-chained log anyone can check. Local MCP, Apache-2.0. The engine The Wild is built on.
Apache-2.0 -
mcp-photo-editgithub.com/joshua5201/mcp-photo-editupdated this year
MCP orchestration for session-based RAW editing through typed backends
pypi GNU GENERAL PUBLIC LICENSE Version 3, 29 June 200 -
naturogithub.com/acepeak/naturoupdated this year
Windows desktop automation engine — see, click, type, automate.
pypi MIT -
A Linear MCP implementation that handles all Linear resource types.
★ 2 -
LSBible API client - structured, type-safe Bible SDK
pypi MIT -
MCP server to efficiently check all Mermaid diagram types for syntax errors
MIT ★ 5 -
Community-maintained typed MCP server for bounded Nexterm administration.
MIT -
mcp-git-leak-huntergithub.com/nezte/mcp-git-leak-hunterupdated this year
MCP Server for scanning GitHub repos for leaked secrets. 24 secret types, auto-verification.
-
MCP server and typed components for German, Austrian and EU legal research
npm GPL-3.0 -
Type-safe OpenAPI clients with MCP server for AI-driven API exploration
MIT ★ 19 -
pabal-resource-mcpgithub.com/quartz-labs-dev/pabal-resource-mcpupdated this year
MCP server for ASO data management with shared types and utilities
npm MIT -
Typed Python client and local MCP server for Riot Games APIs.
pypi MIT -
Security-focused local MCP server exposing strongly typed READ tools for pfSense.
pypi MIT -
MCP server exposing the ATimeLogger REST API (activities, reports, types)
npm MIT -
@nones/kaiten-mcpgithub.com/zeizel/kaiten-mcpupdated this year
MCP server, CLI and typed SDK for the Kaiten API
npm MIT -
A modern, strongly-typed Python SDK for the Affinity CRM API
pypi MIT -
File content type aware search with attribute and cel support
MIT ★ 5 -
MCP server: look up MIME content types from file extensions and vice versa.
MIT -
Typed MCP server for curated DBackup backup administration through its authenticated API.
MIT -
Typed, bounded Model Context Protocol server for RomM library management.
MIT -
MCP server giving Claude Code real macOS GUI control (click/type/inspect)
MIT -
@aiwerk/mcp-server-calgithub.com/aiwerk/mcp-server-calupdated this year
Cal.com scheduling MCP server - manage bookings, event types, and availability
npm MIT