Skip to main content
Glama
Sign In
zk-circuit-auditor-mcp

zk-circuit-auditor-mcp

by uitkhoanna
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Hybrid

Related Servers

Alternatives to zk-circuit-auditor-mcp

No user-submitted related servers found.

    Related Servers

    • Smart Contract Security

      uitkhoanna
      F
      license
      Not graded
      quality
      D
      maintenance
      An MCP server that statically audits Solidity smart contracts for common vulnerabilities like reentrancy and access control, enabling developers to identify and fix security issues via natural language.
      -

    • gristmill-mcp

      mattshuttle
      A
      license
      A
      quality
      C
      maintenance
      An MCP server that inspects AI-generated code and returns a deterministic list of structural and safety violations, so an AI coding agent can fix its own output before the code lands.
      2
      MIT

    • autotest-mcp

      MaaBlock
      A
      license
      A
      quality
      C
      maintenance
      Industrial-grade defensive unit test synthesis and code auditing MCP server for Cursor and Claude Desktop. Synthesizes parameterized boundary test suites and AST defensive checks with zero dependencies.
      3
      MIT

    • qrp-mcp

      StanimirTenev
      A
      license
      A
      quality
      A
      maintenance
      An MCP server that scans local codebases for quantum-vulnerable cryptography (secp256k1, Ed25519, RSA, etc.) and CI signing commands, classifying each finding as quantum-broken, post-quantum, or neither. It runs entirely locally with no network calls, providing a deterministic inventory for AI agents.
      5
      1,754 PyPI
      3
      Apache 2.0
    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.2/5.0

    Scored across 4 tools

    Disambiguation5/5

    Each tool has a clearly distinct purpose: full audit, targeted constraint check, circuit explanation, and constraint suggestion. There is no overlap or ambiguity.

    Naming Consistency5/5

    All tool names follow the consistent verb_noun pattern with snake_case (audit_circuit, check_constraint, explain_circuit, suggest_constraints), making them predictable and easy to remember.

    Tool Count5/5

    With 4 tools, the server is well-scoped for its purpose of ZK circuit auditing. Each tool covers a distinct aspect without unnecessary redundancy or gaps.

    Completeness4/5

    The toolset covers the core auditing workflow: full audit, targeted checks, explanation, and constraint suggestions. A minor gap is the lack of a dedicated tool to list or explain the weakness classifications referenced in results, but the core operations are complete.

    Maintenance

    ActivityInactive
    ResponsivenessNo issues

    Resources