Skip to main content
Glama
Sign In
lu-mcp-server

lu-mcp-server

by rafapra3008
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Remote

Related Servers

Alternatives to lu-mcp-server

No user-submitted related servers found.

    Related Servers

    • mcp-server-quint

      dpdanpittman
      A
      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
      PolyForm Noncommercial 1.0.0

    • CHASE MCP Server

      chase-cps
      A
      license
      B
      quality
      A
      maintenance
      Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.
      39
      976 PyPI
      BSD 3-Clause

    • zeroH MCP

      khurramcr7
      A
      license
      B
      quality
      C
      maintenance
      Enables AI assistants and autonomous agents to intercept arithmetic and algebraic hallucinations via exact rational verification, seal multi-step reasoning chains with SHA-256 Merkle commitments, and optionally bridge deep verification to a remote sovereign enclave. It also supports BFT epistemic consensus across multi-agent proposals and tamper-evident session sealing.
      9
      MIT

    • Pact Tooling

      NOtBobs-Emporium-Of-Wonder
      -
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to safely run Pact 5 REPL tests, scan modules for critical language traps, estimate gas, generate contracts, and invoke formal verification via a standalone prover plugin.
      -

    • correctover-mcp-server

      DSHCorrectover
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables protocol-level runtime verification of AI agent tool calls across six dimensions with a fail-closed guarantee, blocking any action that fails verification before execution.
      82 npm
      2
      Elastic 2.0

    • edict-lang

      Sowiedu
      A
      license
      C
      quality
      B
      maintenance
      Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.
      22
      92 npm
      13
      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

    A4.4/5.0

    Scored across 4 tools

    Disambiguation5/5

    Each tool has a distinct purpose: parsing, message verification, property checking, and template listing. No overlap in functionality; agents can easily select the right tool for their task.

    Naming Consistency4/5

    Names follow a consistent 'lu_' prefix and verb_noun pattern (load_protocol, verify_message, check_properties, list_templates). Minor deviation: 'load_protocol' could be 'parse_protocol' but still clear and consistent.

    Tool Count4/5

    With only 4 tools, the server is slightly under the typical 3-15 range, but this is appropriate for a niche protocol validation domain. The tools cover the core needs without bloat.

    Completeness3/5

    The server covers parsing, verification, property checking, and template listing, but misses a 'simulate' or 'validate full session' tool. Gaps exist for agents needing end-to-end protocol simulation or editing, but core workflows are supported.

    Maintenance

    ActivityStale
    ResponsivenessWithin a week

    Resources