$ timeahead.in
/servers/blog/about
/ servers/github/zk-circuit-auditor-mcp
github

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.

github ↗
☆ Watch this server⚡ Compare⚑ Claim listing
50poor
▣ Score BreakdownMCPScore = Σ(raw × weight)
DimensionRawWeighted
Security
35%
100
35.0
Freshness
25%
30
7.5
Adoption
20%
0
0.0
Quality
10%
20
2.0
Trust
10%
50
5.0
Total
49.5
⚿ Capabilities & Risk Explainer
fs readfs writenetworkexecsecrets
◆ Risk level: high· 4 tools · auth: API key
fs read + fs write + network + exec + secrets active — can execute code, access credentials, and make external network calls.
Tool nameDescriptionDestructive?
audit_circuit✓ no
check_constraint✓ no
explain_circuit✓ no
suggest_constraints✓ no
⚙ Install config
Source-only — no published npm / pypi package detected.
Clone and follow the build instructions in the repo: github.com/uitkhoanna/zk-mcp
⛁ Raw data
weekly downloads0
github stars0
forks0
open issues0
license✗ missing
readme length0 chars
last updated1d ago
owner of this server? claim your listing to get a verified badgeclaim →
🔔 Score drop alerts
get notified by email when this server's score drops 5+ points
zk-circuit-auditor-mcp — MCP Score: 50/100 | MCPScore | Timeahead