← Top 100 Full directory (1,563)

zk-circuit-auditor-mcp

AI & Memory Local

An MCP server that audits zero-knowledge circuits (Circom, Noir, Halo2) for soundness and constraint bugs, powered by the Cysic Minimax model.

Install from GitHub GitHub Docs Glama

How to connect

  1. Glama registry

    View https://glama.ai/mcp/servers/j4u05pc19s for deploy options, or install from https://github.com/uitkhoanna/zk-mcp (see README for MCP config).

  2. GitHub

    Install from https://github.com/uitkhoanna/zk-mcp and add the server to your MCP client configuration (see repository README).

Tools

Tool names are not listed in our registry for this server. Use Connect or Install above, then open your MCP client to see the live tool list.