Skip to main content
Glama

Related Servers

Alternatives to cellc-mcp

No user-submitted related servers found.

    Related Servers

    • -
      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.
      -
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to analyse local source trees, generate starter projects for multiple targets without overwriting files, and verify generated manifests and entry files. It also exposes source and runtime inspection tools so agents can gather evidence about software artifacts within bounded, honest checks.
      2
      MIT

    TDQS

    B3.4/5.0

    Scored across 7 tools

    Disambiguation5/5

    Each tool has a clearly distinct purpose: type-checking (cellc_check), verifier obligations (cellc_constraints), error explanation (cellc_explain), examples (cellc_get_example, cellc_list_examples), language reference (cellc_language_reference), and metadata (cellc_metadata). No overlap in functionality.

    Naming Consistency3/5

    All tools start with 'cellc_' prefix, but the naming pattern is inconsistent: some use verbs (cellc_check, cellc_explain, cellc_get_example, cellc_list_examples) while others are nouns (cellc_constraints, cellc_language_reference, cellc_metadata). This mixed convention reduces predictability.

    Tool Count5/5

    With 7 tools covering essential aspects of CellScript contract development (checking, constraints, error help, examples, language reference, metadata), the count is well-scoped and appropriate for the domain.

    Completeness4/5

    The tool set covers key workflows: type-checking, error resolution, language reference, and example retrieval. Minor gaps exist (e.g., no tool to fetch a specific example by name or compile a contract), but the core development cycle is supported.

    Maintenance

    ActivityInactive
    ResponsivenessNo recent community issues