Skip to main content
Skip to results

MCP servers

Category: Developer toolsClear all1 filter applied
64,273 servers from the official MCP Registry. We could not refresh the registry; this is the copy from .
Filters (1)

Counts are not available right now. Filters still work.

Reset

4,406 servers

  • nusmv-mcp

    io.github.mrfentmen/nusmv-mcp 1.0.0

    NuSMV MCP: 20 real tools to read, check, lint, scaffold, build and run NuSMV code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • nushell-mcp

    io.github.mrfentmen/nushell-mcp 1.0.0

    Nushell MCP: 20 real tools to read, check, lint, scaffold, build and run Nushell code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • npm-downloads-mcp

    io.github.mrfentmen/npm-downloads-mcp 1.0.0

    npm Downloads: weekly download counts for any npm package from the npm API - keyless.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • noir-mcp

    io.github.mrfentmen/noir-mcp 1.0.0

    Noir MCP: 20 real tools to read, check, lint, scaffold, build and run Noir code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • nit-mcp

    io.github.mrfentmen/nit-mcp 1.0.0

    Nit MCP: 20 real tools to read, check, lint, scaffold, build and run Nit code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • nickel-mcp

    io.github.mrfentmen/nickel-mcp 1.0.0

    Nickel MCP: 20 real tools to read, check, lint, scaffold, build and run Nickel code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • nice-mcp

    io.github.mrfentmen/nice-mcp 1.0.0

    Nice MCP: 20 real tools to read, check, lint, scaffold, build and run Nice code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • nemerle-mcp

    io.github.mrfentmen/nemerle-mcp 1.0.0

    Nemerle MCP: 20 real tools to read, check, lint, scaffold, build and run Nemerle code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • nasm-mcp

    io.github.mrfentmen/nasm-mcp 1.0.0

    NASM MCP: 20 real tools to read, check, lint, scaffold, build and run NASM code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • mps-mcp

    io.github.mrfentmen/mps-mcp 1.0.0

    JetBrains MPS MCP: 20 real tools to read, check, lint, scaffold, build and run JetBrains MPS code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • moonbit-mcp

    io.github.mrfentmen/moonbit-mcp 1.0.0

    MoonBit MCP: 20 real tools to read, check, lint, scaffold, build and run MoonBit code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • mojo-mcp

    io.github.mrfentmen/mojo-mcp 1.0.0

    Mojo MCP: 20 real tools to read, check, lint, scaffold, build and run Mojo code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • modula-3-mcp

    io.github.mrfentmen/modula-3-mcp 1.0.0

    Modula-3 MCP: 20 real tools to read, check, lint, scaffold, build and run Modula-3 code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • modula-2-mcp

    io.github.mrfentmen/modula-2-mcp 1.0.0

    Modula-2 MCP: 20 real tools to read, check, lint, scaffold, build and run Modula-2 code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • modelica-mcp

    io.github.mrfentmen/modelica-mcp 1.0.0

    Modelica MCP: 20 real tools to read, check, lint, scaffold, build and run Modelica code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • mizar-mcp

    io.github.mrfentmen/mizar-mcp 1.0.0

    Mizar MCP: 20 real tools to read, check, lint, scaffold, build and run Mizar code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • mips-assembly-mcp

    io.github.mrfentmen/mips-assembly-mcp 1.0.0

    MIPS Assembly MCP: 20 real tools to read, check, lint, scaffold, build and run MIPS Assembly code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • miniscript-mcp

    io.github.mrfentmen/miniscript-mcp 1.0.0

    MiniScript MCP: 20 real tools to read, check, lint, scaffold, build and run MiniScript code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • mill-mcp

    io.github.mrfentmen/mill-mcp 1.0.0

    Mill MCP: 20 real tools to read, check, lint, scaffold, build and run Mill code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • michelson-mcp

    io.github.mrfentmen/michelson-mcp 1.0.0

    Michelson MCP: 20 real tools to read, check, lint, scaffold, build and run Michelson code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • metamath-mcp

    io.github.mrfentmen/metamath-mcp 1.0.0

    Metamath MCP: 20 real tools to read, check, lint, scaffold, build and run Metamath code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • metal-mcp

    io.github.mrfentmen/metal-mcp 1.0.0

    Metal MCP: 20 real tools to read, check, lint, scaffold, build and run Metal code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • meson-mcp

    io.github.mrfentmen/meson-mcp 1.0.0

    Meson MCP: 20 real tools to read, check, lint, scaffold, build and run Meson code.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

  • merge-conflict-forecaster-mcp

    io.github.mrfentmen/merge-conflict-forecaster-mcp 1.0.1

    Predict local Git merge-conflict pressure fro MCP: real tools for real work.

    • Check result: Not checked
    • Sign-in unknown
    • Hosting unknown
    • Suggested categories: Developer tools
    • Updated Nov 8, 2026

Built your own server? run.zero hosts MCP servers on European infrastructure.

Host your own MCP server on run.zero