Skip to main content
Glama
Whambammy

ZK Proofs & Cryptography MCP

by Whambammy
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Hybrid

Related Servers

Alternatives to ZK Proofs & Cryptography MCP

No user-submitted related servers found.

    Related Servers

    • genpark-merkle-tree-state

      Alpha-Park
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables agents to construct SHA-256 Merkle trees, generate and verify state inclusion proofs, validate JWT HMAC signatures, perform Schnorr zero-knowledge proofs, and enforce nonce replay protection for immutable state attestation.
      7
      MIT
    • affixio by AffixIO

      affixioofficial

      AffixIO
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables zero-knowledge proof generation and verification, identity verification, and gate checks for privileged agent actions.
      Apache 2.0
    • genpark-merkle-tree-state-proof-verifier-skill by alphaparkinc

      genpark-merkle-tree-stateofficial

      alphaparkinc
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to construct SHA-256 Merkle trees and generate/verify inclusion proofs, validate JWT HMAC-SHA256 claims, run Schnorr zero-knowledge identification, and enforce constant-time secret comparison with nonce replay protection for tamper-evident state attestation. It runs as a zero-dependency, stdlib-only MCP stdio server for clients such as Claude Desktop, Cursor, and Windsurf.
      7
      MIT
    • genpark-schnorr-zero-knowledge-prover-skill by alphaparkinc

      genpark-schnorr-zero-knowledgeofficial

      alphaparkinc
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables agents to perform Schnorr zero-knowledge identification and cryptographic attestation through a native MCP interface, including commitment-challenge-response proofs, JWT validation, Merkle inclusion checks, and replay protection.
      7
      MIT

    • genpark-schnorr-zero-knowledge

      Alpha-Park
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to prove knowledge of a private key through a three-pass commitment, challenge, and response exchange, paired with SHA-256 Merkle inclusion proofs, JWT HMAC-SHA256 claim validation, constant-time secret comparison, and sliding-window nonce replay protection. Runs as a zero-dependency JSON-RPC 2.0 stdio server compatible with Claude Desktop, Cursor, and Windsurf.
      7
      MIT
    • vcc-prover by energywebfoundation

      vcc-proverofficial

      energywebfoundation
      A
      license
      A
      quality
      A
      maintenance
      Generates and verifies zero-knowledge proofs locally for Energy Web Verified Compute, keeping private meter readings and blinding salts on the user's machine while enabling agents to submit verifiable proof packages.
      3
      185 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.1/5.0

    Scored across 5 tools

    Disambiguation3/5

    Three tools revolve around Merkle-style proofs (zero_knowledge_merkle_membership_proof, merkle_mountain_range_mmr_prover, generate_merkle_proof), which could be confused without careful reading. The descriptions do differentiate them by hash function (Poseidon vs SHA-256), structure (binary tree vs MMR), and use case, but the boundaries remain soft for an agent. The Groth16 verifier and EIP-712 hasher are clearly distinct.

    Naming Consistency2/5

    Naming mixes conventions: some are long noun phrases (zero_knowledge_merkle_membership_proof, zk_snark_groth16_proof_verifier) while others begin with a verb (generate_merkle_proof) or are pure noun phrases (eip712_typed_data_hasher). There is no predictable verb_noun pattern, and 'proof'/'prover'/'verifier' suffixes are used inconsistently across similar tools.

    Tool Count4/5

    Five tools is a reasonable, well-scoped set for a cryptography primitives server, with each primitive earning its place. It sits comfortably in the 3-15 range without feeling bloated.

    Completeness3/5

    The surface covers Merkle/MMR proof generation and a Groth16 verifier plus EIP-712 hashing, but there are notable gaps such as no Groth16/SNARK proof generation counterpart (only verification), no signature or key utilities, and no generic hashing helper. Agents needing to create SNARK proofs or sign typed data would hit dead ends.

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues

    Resources