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 . 3,337 servers have no check yet. Show servers without a check
Filters (1)
Reset

4,406 servers

  • 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

  • julia-mcp

    io.github.mrfentmen/julia-mcp 1.0.0

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

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

  • jq-mcp

    io.github.mrfentmen/jq-mcp 1.0.0

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

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

  • joy-mcp

    io.github.mrfentmen/joy-mcp 1.0.0

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

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

  • jolie-mcp

    io.github.mrfentmen/jolie-mcp 1.0.0

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

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

  • jison-mcp

    io.github.mrfentmen/jison-mcp 1.0.0

    Jison MCP: 20 real tools to read, check, lint, scaffold, build and run Jison 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