prolog-mcp
73MCP server Claude CodeCodexCursor +2
MCP server "prolog-mcp" as configured in adamrybinski/prolog-mcp. Runs locally from the prolog-mcp npm package.
not rated 25 1mo ago A
tokens not measured
xdebug
74MCP server Claude CodeCodexCursor +2
MCP server for PHP Xdebug debugging with breakpoints, stepping, and variable inspection. Runs locally from the xdebug-mcp npm package.
not rated 25 yesterday A
tokens not measured
original MIT
studio
75MCP server Claude CodeCodexCursor +2
One of 2 in .mcp.json
python syntax tool. Runs locally from the tools Python package.
not rated 25 today A
tokens not measured
n3mo
76MCP server Claude CodeCodexCursor +2
N3MO: The Impact Tracker. Runs locally from the n3mo Python package.
not rated 24 3d ago A
tokens not measured
dart
77MCP server Claude CodeCodexCursor +2
MCP server "dart" as configured in davidmigloz/aiclientsdart. Launched with dart mcp-server --force-roots-fallback.
not rated 23 2d ago A
tokens not measured
original MIT
MCP server Claude CodeCodexCursor +2
MCP server "dichiarino-mcp" as configured in gsaccardi/dichiarino-mcp. Runs locally from the dichiarino-mcp Python package.
not rated 23 3d ago A
tokens not measured
gopls
79MCP server Claude CodeCodexCursor +2
MCP server "gopls" as configured in freeformz/paperless-ngx-mcp. Launched with gopls mcp.
not rated 22 6d ago A
tokens not measured
original MIT
lean-lsp-mcp
80MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 21 5mo ago A
tokens not measured
original MIT
appctrl
81MCP server Claude CodeCodexCursor +2
TypeScript Execute (tsx): Node.js enhanced with esbuild to run TypeScript & ESM files. Runs locally from the tsx npm package.
not rated 20 6d ago A
tokens not measured
original MIT
javadc
82MCP server Claude CodeCodexCursor +2
One of 3 in .mcp.json
Model Context Protocol (MCP) server for Java decompilation. Runs locally from the @idachev/mcp-javadc npm package.
not rated 20 1y ago A
tokens not measured
original ISC
hmr
83MCP server Claude CodeCodexCursor +2
Hot Module Reload (HMR) for Python with reactive programming and MCP tools. Remote server at promplate.github.io.
not rated 18 yesterday A
tokens not measured
mcp-zuul
84MCP server Claude CodeCodexCursor +2
MCP server for Zuul CI — build failure analysis, log search, pipeline status, and job configuration. Runs locally from the mcp-zuul Python package. Needs 7 environment variables to run.
not rated 20 4d ago A
tokens not measured
original Apache-2.0
pypi-query
85loonghao/pypi-query-mcp-server
MCP server Claude CodeCodexCursor +2
A Model Context Protocol (MCP) server for querying PyPI package information, dependencies, and compatibility. Runs locally from the pypi-query-mcp-server Python package. Needs 8 environment variables to run.
not rated 18 yesterday A
tokens not measured
original MIT
ida-pro-mcp
86MCP server Claude CodeCodexCursor +2
One of 2 in .mcp.json
MCP server "ida-pro-mcp" as configured in Gindhar2112/frida-mcp. Launched with /opt/homebrew/opt/[email protected]/bin/python3.11 /Volumes/Realtek/project/idapython/.
not rated 16 2d ago A
tokens not measured
axint
87MCP server Claude CodeCodexCursor +2
Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures. Runs locally from the @axint/compiler npm package.
not rated 16 yesterday A
tokens not measured
original Apache-2.0
archie-debug
88MCP server Claude CodeCodexCursor +2
TypeScript Execute (tsx): Node.js enhanced with esbuild to run TypeScript & ESM files. Runs locally from the tsx npm package.
not rated 16 today A
tokens not measured
AGPL-3.0
distil
89MCP server Claude CodeCodexCursor +2
Compression with a quality contract — cache-aware, causally-pruned context compression for agentic runtimes, gated by a statistical non-inferiority test. Runs locally from the distil-llm Python package.
not rated 16 yesterday A
tokens not measured
MCP server Claude CodeCodexCursor +2
MCP server "better-mealie-mcp" as configured in djwmarcx/better-mealie-mcp. Runs locally from the better-mealie-mcp Python package.
not rated 16 yesterday A
tokens not measured
MCP server Claude CodeCodexCursor +2
A local MCP server for refactoring TypeScript code with ts-morph, a library that represents TypeScript programs as editable code structures. It is installed and run through an npm package.
not rated 16 2mo ago A
tokens not measured
original MIT
MCP server Claude CodeCodexCursor +2
Micro-optimized High-Performance NISQ Statevector Quantum Circuit Simulator (Hardware-Adaptive Integration of Native NumPy and CPU/GPU/TPU JAX JIT/XLA Compilation, with Linear Kernel Fusion). Runs locally from the dense-evolution Python package. Needs 1 environment variable to run.
not rated 16 2d ago A
tokens not measured
MCP server Claude CodeCodexCursor +2
MCP proxy server that translates tool calls into TypeScript code generation. Runs locally from the mcpcodeserver npm package.
not rated 14 10mo ago A
tokens not measured
original MIT
synapse
94MCP server Claude CodeCodexCursor +2
MCP server "synapse" as configured in s-hiraoku/synapse-a2a. Runs locally from the python Python package.
not rated 13 21d ago A
tokens not measured
sb-siem-mcp
95MCP server Claude CodeCodexCursor +2
MCP server "sb-siem-mcp" as configured in Sbharadwaj05/sb-siem-mcp. Runs locally from the sb-siem-mcp Python package.
not rated 13 4d ago A
tokens not measured
slamer59/mcp-python-refactoring
MCP server Claude CodeCodexCursor +2
MCP server "mcp-python-refactoring" as configured in slamer59/mcp-python-refactoring. Launched with mcp-python-refactoring.
not rated 13 2d ago A
tokens not measured
original MIT