MCP server for navigating Model Context Protocol specifications with dynamic markdown tree generation
Specnavigator mcp server connects Specnavigator to AI assistants that speak the Model Context Protocol. MCP server for navigating Model Context Protocol specifications with dynamic markdown tree generation.
An intelligent MCP (Model Context Protocol) server for navigating, exploring, and understanding the Model Context Protocol specification with dynamic markdown tree generation, intelligent section navigation, and upstream synchronization.
Once connected, the assistant can call these 2 tools directly:
Linting — The Linting tool exposed by this serverFormatting — The Formatting tool exposed by this serverThe server is distributed via npm as @lepion/mcp-server-specnavigator, so most clients can run it without a manual build step. Add it to your MCP client's configuration and restart the client to pick it up — the copy-paste configs for Claude Desktop, Claude Code and Cursor are on this page.
Developer-tool servers are usually the first ones people connect, because they turn "help me with this code" into an assistant that can actually read the repo and act on it. Specnavigator sits in that group, and the shape of its toolset — Linting, Formatting — tells you what it is really for. Worth comparing against the other developer tools servers in this directory before you commit to one, since several overlap in scope but differ sharply in setup cost and permissions.
| Tool | What it does |
|---|---|
| Linting | The Linting tool exposed by this server. |
| Formatting | The Formatting tool exposed by this server. |
{
"mcpServers": {
"specnavigator": {
"command": "npx",
"args": ["@lepion/mcp-server-specnavigator"],
"env": {
"NODE_ENV": "production"
}
}
}
}Configuration as documented by the project. Restart the client after saving.
Kill hallucinated APIs — version-accurate, up-to-date library documentation injected straight into context.
Microsoft's official browser automation server — drive a real browser through the accessibility tree, no screenshots needed.
GitHub's official server — repos, issues, pull requests, Actions and code security, straight from your assistant.
Issue tracking at the speed of conversation — Linear's official hosted server with OAuth and zero install.
Local repository surgery — status, diffs, commits, branches and history for any repo on disk.
Timezone sanity for AI — current time anywhere and correct conversions, without the model doing date math.