Skip to main content
Glama
robustfengbin

tolk-mcp-server

by robustfengbin
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Remote

Related Servers

Alternatives to tolk-mcp-server

No user-submitted related servers found.

    Related Servers

    • TON Tolk Compiler MCP Server

      Claraxyb
      F
      license
      Not graded
      quality
      D
      maintenance
      Integrates Tolk compiler tools into AI assistants, enabling compilation of Tolk contracts, conversion from FunC, and version checks without manual terminal work.
      -

    • iz-tolk-mcp

      izzzzzi
      A
      license
      A
      quality
      C
      maintenance
      MCP server for the Tolk smart contract compiler on the TON blockchain. Compile, syntax check, deploy link generation, language docs, stdlib, and contract prompts.
      4
      38 npm
      2
      MIT

    • 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
      -
    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 2 tools

    Disambiguation5/5

    The two tools have clearly distinct purposes: one retrieves the compiler version, the other compiles source code. There is no overlap or ambiguity between them.

    Naming Consistency5/5

    Both tool names follow the same camelCase verb-object pattern ('getTolkCompilerVersion' and 'runTolkCompiler'), making the naming predictable and consistent.

    Tool Count4/5

    With only two tools, the server is slightly below the typical 3-15 range, but the narrow scope (compiling Tolk code) justifies the minimal set. Each tool is essential and earns its place.

    Completeness5/5

    The server covers the full operation cycle for a compiler: checking version and compiling code. The compile result includes all necessary outputs (Fift code, BOC, hash, warnings) and error handling, so there are no obvious gaps.

    Resources