Skip to main content
Glama
uwe-at-sdv

wtrl_mcp

by uwe-at-sdv
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Hybrid

Related Servers

Alternatives to wtrl_mcp

No user-submitted related servers found.

    Related Servers

    • mcp-server-quint

      dpdanpittman
      F
      license
      A
      quality
      D
      maintenance
      Integrates the Quint formal specification language into LLM workflows for accessible formal verification. It provides tools for type-checking, random simulation, exhaustive model checking, and syntax documentation.
      6
      2
      -

    • Touchstone MCP Server

      savecharlie
      A
      license
      Not graded
      quality
      D
      maintenance
      Provides deterministic, verifiable text/code/measurement utilities for AI agents, enabling tasks like unit conversion, citation formatting, diffing, proofreading, readability scoring, and syntax checking with re-executable proof.
      17 PyPI
      MIT

    • ForgeCraft

      jghiringhelli
      A
      license
      Not graded
      quality
      B
      maintenance
      Provides a quality framework and enforceable conventions for AI coding assistants, ensuring code quality, environment hygiene, and project standards across multiple AI tools.
      44 npm
      3
      -

    • Rubber Duck MCP

      Omer-Sadeh
      A
      license
      Not graded
      quality
      D
      maintenance
      Brings rubber duck debugging to AI-powered IDEs by providing a tool for articulating problems and clarifying logic in natural language. It helps developers and AI agents reveal hidden assumptions and surface solutions through structured self-explanation and reflection.
      MIT

    This server cannot be deployed

    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Maintenance

    ActivityActive
    ResponsivenessUnresponsive

    Resources