MCP servers
Filters (2)
3,336 servers
io.
github. yaminbkk/ nexusmem 0.10.5 Local-first memory for AI coding agents: shell history with exit codes, git diffs, docs, MCP.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools, Knowledge and notes
- Updated Sep 11, 2026
io.
github. apollion69/ mcp-portal 0.1.0 Cursor CLI delegation for verified bulk reads and reference-driven code generation.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 11, 2026
ai.
snapdiff/ mcp 0.5.0 Visual-diff & change-detection tools that catch agentic UI drift for coding agents.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 11, 2026
io.
github. yubinbin32-ops/ mdflow 0.3.7 Context OS for AI coding agents: task-scoped AST context, verified mutation, and rollback.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 11, 2026
io.
github. betadrop-app/ betadrop-mcp 0.2.5 Publish iOS and Android builds to testers and manage share links from an AI coding agent.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 11, 2026
gonzalgo
Deprecated in registryio.
github. zengineco/ gonzalgo 0.5.2 Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 11, 2026
io.
github. vince-gonzalez/ gonzalgo 0.5.6 Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 11, 2026
io.
github. sadri-dridi/ gh-topic-ok 1.0.0 GitHub topic slug charset, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 11, 2026
io.
github. sadri-dridi/ gh-gist-ok 1.0.0 GitHub gist id charset, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 11, 2026
io.
github. sadri-dridi/ gh-pkg-ok 1.0.0 GitHub packages name shape, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 11, 2026
io.
github. wlsdks/ ontology-atlas 0.13.0 Read and write one codebase ontology kept as Markdown in the repository.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 11, 2026
io.
github. sadri-dridi/ uuid-nhex 1.0.0 UUID no-hyphen 32-hex, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 11, 2026
io.
github. sadri-dridi/ uuid8-ok 1.0.0 UUID v8 custom layout, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 11, 2026
io.
github. sadri-dridi/ uuid6-ok 1.0.0 UUID v6 time-reordered layout, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 11, 2026
io.
github. sadri-dridi/ uuid4-ok 1.0.0 UUID v4 random-bit layout, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 11, 2026
io.
github. sadri-dridi/ uuid-urn 1.0.0 urn:uuid shape, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 11, 2026
io.
github.3M1RY33T/ loci 0.6.0 Scoped memory for coding agents: picks the right project, answers in scope, or abstains.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Project management, Developer tools
- Updated Sep 11, 2026
io.
github. shinegang/ baron 0.6.1 Local grounded memory for coding agents: MCP over stdio, stdlib only, a verdict per answer
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools, Knowledge and notes
- Updated Sep 10, 2026
co.
openwebhook/ mcp 1.2.1 Inspect webhooks from Cursor or Claude. No account needed. Pro adds permanent slugs.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 10, 2026
io.
github. danielsousaoliveira/ cal-auto-python 0.1.0 Schedule a GitHub Projects backlog into Google Calendar, as a CLI or an MCP server.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Project management, Developer tools
- Updated Sep 10, 2026
io.
github. hxckya/ pkgtruth 0.2.2 Catches hallucinated and slopsquatted npm and PyPI packages before an agent installs them.
- Check result: Not checked
- Sign-in unknown
- Hosting unknown
- Suggested categories: Developer tools
- Updated Sep 10, 2026
io.
github. sadri-dridi/ graphql-sdl-ok 1.0.0 GraphQL SDL definition count, body discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 10, 2026
io.
github. sadri-dridi/ shortuuid-ok 1.0.0 Short-UUID charset, value discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 10, 2026
io.
github. sadri-dridi/ openapi-ok 1.0.0 OpenAPI version key shape, body discarded
- Check result: Check pending
- Sign-in unknown
- Hosted outside the EU (detected)
- Suggested categories: Developer tools
- Checked less often: shared host
- Updated Sep 10, 2026
Built your own server? run.zero hosts MCP servers on European infrastructure.