Skip to main content
Glama
awwaiid

MCP Server for Alloy Modeling Language

by awwaiid
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Local

Related Servers

Alternatives to MCP Server for Alloy Modeling Language

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
      -

    • OpenKer Modeler MCP Server

      cslv1
      -
      license
      Not graded
      quality
      Not graded
      maintenance
      Enables AI agents to traverse SysML v2 model graphs, query requirements, and perform impact analysis for model-based systems engineering. It allows agents to interact with plain-text models to automate documentation and refine system architectures.
      -

    • tlaplus-mcp

      richashworth
      A
      license
      A
      quality
      D
      maintenance
      Exposes the TLA+ toolchain (TLC, SANY, PlusCal, TLATeX) as structured JSON tools via the Model Context Protocol, enabling AI assistants to parse, check, simulate, and typeset TLA+ specifications.
      9
      8 npm
      1
      MIT

    • agentseed

      Morningstar202604
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI coding agents to enforce spec-driven development and verify code before it is marked done, using six tools that catch invented APIs, scan for hallucinated content, check plugin conformance, sandbox-run tests, validate schemas, and record audit evidence.
      771 npm
      8
      PolyForm Noncommercial 1.0.0

    • Almide MCP Server

      almide
      F
      license
      Not graded
      quality
      Not graded
      maintenance
      Enables AI agents to compile, execute, and check Almide code for syntax or compilation errors. It provides tools for generating ASTs and accessing language grammar resources.
      -

    • MindGraph

      dycm8009
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables AI agents to query and analyze code across multiple repositories through a unified knowledge graph, with tools for symbol search, impact analysis, and graph algorithms.
      11 npm
      MIT
    Deploy Server
    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

    TDQS

    B3/5.0

    Scored across 1 tool

    Disambiguation5/5

    With only one tool, there is no possibility of ambiguity or overlap between tools, making disambiguation perfect.

    Naming Consistency5/5

    The single tool follows a clear verb_noun pattern (execute_alloy), and with no other tools, consistency is inherently perfect.

    Tool Count2/5

    One tool is too few for a modeling language server, as it lacks essential operations like model validation, instance generation, or visualization, making the scope feel incomplete.

    Completeness1/5

    The tool surface is severely incomplete; it only allows code execution without supporting core Alloy workflows such as checking assertions, generating examples, or analyzing models, leading to significant gaps.

    Maintenance

    ActivityInactive
    ResponsivenessNo issues

    Resources