34,452 servers indexed

Browse the index

702 entries in dev-tools · dead entries excluded

aicraft-code-reviewdev-tools

MCP Code Review Server

Verified · 18 days ago

Code review as an MCP server — structured reviews with OWASP security scanning.

hand-reviewed2 starschecked 18 days ago

moxie-docsdev-tools

Moxie Docs

Verified · 18 days ago

Living docs and MCP context for GitHub repos — conventions, gaps, and source-cited pages on merge.

hand-reviewed2 starschecked 18 days ago

datasentrydev-tools

DataSentry

Verified · today

Local-first MCP server for data-quality discovery, evidence, drift, and controlled repair.

hand-reviewed2 starschecked today

physbounddev-tools

physbound

Verified · 26 days ago

Physical Layer Linter: validates RF and radar calculations against hard physical limits.

hand-reviewed2 starschecked 26 days ago

jolink-runtimedev-tools

joLink

Verified · 11 days ago

A lightweight Java IDE for AI agents: incremental builds, fast tests, HotSwap and live debugging.

hand-reviewed2 starschecked 11 days ago

ariadnedev-tools

ariadne

Verified · 30 days ago

Returns only the unit tests affected by your current Kotlin/Android code changes.

hand-reviewed2 starschecked 30 days ago

waitbusdev-tools

waitbus

Verified · 22 days ago

Workstation-local event bus: agents wait on or emit CI/pytest/Docker/filesystem events, no polling.

hand-reviewed2 starschecked 22 days ago

excel-webview2-mcpdev-tools

excel-webview2-mcp

Verified · 21 days ago

MCP server for Excel add-ins via WebView2 CDP

hand-reviewed2 starschecked 21 days ago

mcp-code-sanitizerdev-tools

mcp-code-sanitizer

Verified · 33 days ago

Strict AI code reviewer powered by Groq. Finds bugs and vulnerabilities.

hand-reviewed2 starschecked 33 days ago

dsh-skills-anywheredev-tools

Skills Anywhere

Verified · 21 days ago

Discover and load Agent Skills from configured local directories and Git sources over stdio MCP.

hand-reviewed2 starschecked 21 days ago

x64dbg-mcpdev-tools

x64dbg MCP

Verified · 18 days ago

Windows x64dbg/x32dbg debugging with guarded sessions, breakpoints, memory and runtime evidence.

hand-reviewed2 starschecked 18 days ago

datadogdev-tools

datadog

Verified · 14 days ago

Datadog MCP — 165 tools for metrics, monitors, logs, APM, RUM, incidents, CI/CD, fleet

hand-reviewed2 starschecked 14 days ago

gonzalgodev-tools

gonzalgo

Verified · 23 days ago

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

hand-reviewed2 starschecked 23 days ago

milatexaidev-tools

milatexai

Verified · 34 days ago

Edit your Overleaf LaTeX projects from Claude and ChatGPT; every change is a real Git commit.

hand-reviewed2 starschecked 34 days ago

gonzalgodev-tools

gonzalgo

Verified · 34 days ago

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

hand-reviewed2 starschecked 34 days ago

dep-diff-mcpdev-tools

dep-diff-mcp

Verified · 27 days ago

Translates a lockfile diff into a human-readable upgrade plan for npm, PyPI, and GitHub Actions.

hand-reviewed1 stars640 dl/wkchecked 27 days ago

crosspad-mcpdev-tools

crosspad-mcp

Verified · 27 days ago

Development workflow server for CrossPad — build, test, run, screenshot, and navigate code

hand-reviewed1 stars616 dl/wkchecked 27 days ago

remote-agentsdev-tools

remote-agents

Verified · 29 days ago

Control fleets of remote machines via AI agents: exec, files, git, fleet ops, map/reduce.

hand-reviewed1 stars514 dl/wkchecked 29 days ago

memgitdev-tools

memgit

Verified · 21 days ago

Git for AI memory — version-controlled, searchable context that persists across sessions

hand-reviewed1 stars402 dl/wkchecked 21 days ago