MCPs โบ zk-circuit-auditor-mcp
An MCP server that audits zero-knowledge circuits (Circom, Noir, Halo2) for soundness and constraint bugs, powered by the Cysic Minimax model.
Not monetized yet
Turn zk-circuit-auditor-mcpโs tool calls into revenue: one disclosed sponsored slot, 70% revenue share, fail-open by design.
Install zk-circuit-auditor-mcp
For anyone using zk-circuit-auditor-mcp โ no Lulu account needed# stdio server โ install per the repository README: https://github.com/uitkhoanna/zk-mcp
9 field-tested tactics as a designed playbook plus skills your coding agent can run. Free.
Get the Kit โFAQ
zk-circuit-auditor-mcp installs from source โ follow the repository README.
Unrated out of 100, computed from cross-registry traction signals (installs, stars, registry presence) โ never influenced by sponsorship.