Discover Model Context Protocol servers from the official registry. Publisher metadata with transparent provenance — not a security certification.
11 894 records · Registry listing ≠ independent verification by NexIP
io.github.razroo/state-trace
Bounded working memory for coding agents — typed nodes, current-vs-stale state, MCP-mountable.
io.github.ramdhavepreetam/nervapack
Offline codebase knowledge graph: 91% token reduction vs naive RAG, plus cross-session agent memory.
io.github.raintree-technology/hig-doctor
Apple Human Interface Guidelines search, lookup, and project audits for AI coding agents.
io.github.raimondasl/isitdone
Make a coding agent prove it: run the repo's real tests, typecheck and lint before it says done.
io.github.rafalpodles/board-planner
Project board for teams and coding agents: Kanban, sprints, 46 tools, OAuth 2.1 or API tokens.
io.github.racstan/progressor-mcp
Keeps an AI coding agent on its plan across context compression, with a live local dashboard.
io.github.questdb/mcp-server-questdb
Connects coding agents to a running QuestDB Web Console: notebook cells, SQL queries, and charts.
io.github.quantamixsol/graqle
Graph-powered codebase reasoning, impact analysis, and governance tools over MCP.
io.github.qtorb/uxmachine
Website checker for AI coding agents. Measures your site in a real browser, with evidence.
io.github.pvnc228/local-coding-agent
Delegate small coding tasks to local Ollama/llama.cpp models; patches gated by real test runs.
io.github.puneethdc99/dotnetsearch
Token-efficient MCP server for codebase search, NuGet decompilation, and deep PDF reading.
io.github.pth2002/repofit
Find GitHub projects that fit you, using what your coding agents already know about you.
io.github.psyb0t/pibox
Self-hosted MCP server: pi-coding-agent tools (run_prompt, file ops) over streamable HTTP.
io.github.provenpin/provenpin
Tested, version-pinned code recipes for AI coding agents, each with its last-passed receipt.
io.github.propstreet/agenthub
Enables coding agents to coordinate edits, reviews, and escalations without file locking conflicts
io.github.projectworks007/web-and-dev-tools
Website tech stacks, domain WHOIS/DNS/SSL, sitemaps, PDF text, GitHub trending and more.
io.github.premanand8800/cogsession
Session memory for AI coding agents: records decisions and dead ends, flags what went stale.
io.github.pontivus-com/span
Codebase understanding with exact evidence, qualified on every read and re-aligned on change.
io.github.polymatx/dibs
Coordination for parallel coding agents: file claims, enforcement hooks, git-native lessons.
io.github.pollinations/composio
Read Gmail, read and commit to GitHub, update Sheets, and post to Slack through Composio.
