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

  • vdm-sl-mcp

    io.github.mrfentmen/vdm-sl-mcp 1.0.0

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

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

  • vdm-mcp

    io.github.mrfentmen/vdm-mcp 1.0.0

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

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

  • vbscript-mcp

    io.github.mrfentmen/vbscript-mcp 1.0.0

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

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

  • vba-mcp

    io.github.mrfentmen/vba-mcp 1.0.0

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

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

  • vala-mcp

    io.github.mrfentmen/vala-mcp 1.0.0

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

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

  • urweb-mcp

    io.github.mrfentmen/urweb-mcp 1.0.0

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

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

  • unison-mcp

    io.github.mrfentmen/unison-mcp 1.0.0

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

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

  • uiua-mcp

    io.github.mrfentmen/uiua-mcp 1.0.0

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

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

  • typespec-mcp

    io.github.mrfentmen/typespec-mcp 1.0.0

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

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

  • twelf-mcp

    io.github.mrfentmen/twelf-mcp 1.0.0

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

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

  • turing-mcp

    io.github.mrfentmen/turing-mcp 1.0.0

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

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

  • tsql-mcp

    io.github.mrfentmen/tsql-mcp 1.0.0

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

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

  • tolk-mcp

    io.github.mrfentmen/tolk-mcp 1.0.0

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

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

  • tla-plus-mcp

    io.github.mrfentmen/tla-plus-mcp 1.0.0

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

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

  • tla-mcp

    io.github.mrfentmen/tla-mcp 1.0.0

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

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

  • thrift-mcp

    io.github.mrfentmen/thrift-mcp 1.0.0

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

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

  • terra-mcp

    io.github.mrfentmen/terra-mcp 1.0.0

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

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

  • tcsh-mcp

    io.github.mrfentmen/tcsh-mcp 1.0.0

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

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

  • tcl-mcp

    io.github.mrfentmen/tcl-mcp 1.0.0

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

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

  • tact-mcp

    io.github.mrfentmen/tact-mcp 1.0.0

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

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

  • systemverilog-mcp

    io.github.mrfentmen/systemverilog-mcp 1.0.0

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

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

  • swift-mcp

    io.github.mrfentmen/swift-mcp 1.0.0

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

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

  • sway-mcp

    io.github.mrfentmen/sway-mcp 1.0.0

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

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

  • stata-mcp

    io.github.mrfentmen/stata-mcp 1.0.0

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