F
licenseA
qualityC
maintenanceAn MCP server that audits zero-knowledge circuits (Circom, Noir, Halo2) for soundness and constraint bugs, powered by the Cysic Minimax model.
Last updated
4
Matching MCP tools:
Matching MCP Connectors:
io.github.pipeworx-io
io.github.pipeworx-io
com.humaux
io.agentage