"author:uitkhoanna" matching MCP servers:

• zk-circuit-auditor-mcp

  uitkhoanna

  F

  license

  A

  quality

  C

  maintenance

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

  Last updated 2026-06-14

  4