N/A

uitkhoanna/zk-circuit-auditor-mcp

mcp agent Offline

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

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know