Zk Circuit Auditor vs Memory
Side-by-side comparison of two Model Context Protocol servers. Pick the right one for Claude Desktop, Claude Code, or Cursor.
An MCP server that audits zero-knowledge circuits (Circom, Noir, Halo2) for soundness and constraint bugs, powered by the Cysic Minimax model.
Comparison
| Feature | Zk Circuit Auditor | Memory |
|---|---|---|
| Pricing | Free | Free |
| Installs | — | 1 |
| Rating | — | — |
| Verified | — | |
| Hosted | — | — |
| Tools | — | — |
| Category | development | development |
| Author | uitkhoanna | Community |
| Repo | uitkhoanna/zk-mcp | modelcontextprotocol/servers |
When to pick Zk Circuit Auditor
An MCP server that audits zero-knowledge circuits (Circom, Noir, Halo2) for soundness and constraint bugs, powered by the Cysic Minimax model.
When to pick Memory
Knowledge graph-based persistent memory system.
Looking for something else? Browse all MCPs or check trending this week.