Skip to main content
Skip to results

MCP servers

Check: Not checkedCategory: Developer toolsClear all2 filters applied
64,273 servers from the official MCP Registry. We could not refresh the registry; this is the copy from .
Filters (2)
Reset

3,337 servers

  • 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

  • matlab-mcp

    io.github.mrfentmen/matlab-mcp 1.0.0

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

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

  • marlowe-mcp

    io.github.mrfentmen/marlowe-mcp 1.0.0

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

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

  • maple-mcp

    io.github.mrfentmen/maple-mcp 1.0.0

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

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

  • macaulay2-mcp

    io.github.mrfentmen/macaulay2-mcp 1.0.0

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

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

  • lua-mcp

    io.github.mrfentmen/lua-mcp 1.0.0

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

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

  • logtalk-mcp

    io.github.mrfentmen/logtalk-mcp 1.0.0

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

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

  • llvm-ir-mcp

    io.github.mrfentmen/llvm-ir-mcp 1.0.0

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

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

  • links-mcp

    io.github.mrfentmen/links-mcp 1.0.0

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

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

  • lilypond-mcp

    io.github.mrfentmen/lilypond-mcp 1.0.0

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

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

  • ligolang-mcp

    io.github.mrfentmen/ligolang-mcp 1.0.0

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

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

  • lfe-mcp

    io.github.mrfentmen/lfe-mcp 1.0.0

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

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

  • leo-mcp

    io.github.mrfentmen/leo-mcp 1.0.0

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

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

  • lean-4-mcp

    io.github.mrfentmen/lean-4-mcp 1.0.0

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

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

  • lasso-mcp

    io.github.mrfentmen/lasso-mcp 1.0.0

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

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

  • kotlin-mcp

    io.github.mrfentmen/kotlin-mcp 1.0.0

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

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

  • koka-mcp

    io.github.mrfentmen/koka-mcp 1.0.0

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

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

  • kcl-mcp

    io.github.mrfentmen/kcl-mcp 1.0.0

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

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

  • k-mcp

    io.github.mrfentmen/k-mcp 1.0.0

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

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

  • just-mcp

    io.github.mrfentmen/just-mcp 1.0.0

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

    • 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