← Back to leaderboard
/100
Unscored ○ Unscored 00

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.

Unscored visibility — 0/0 applicable dimensions scored
○ Schema Quality ○ Protocol — Reliability ○ Docs & Maintenance ○ Security Hygiene — Schema Interpretability
A remote probe is needed for Protocol and Reliability scores.
Schema Quality
25% weight
Protocol Compliance
20% weight
Reliability
20% weight
Docs & Maintenance
15% weight
Security Hygiene
20% weight
30-Day Trend

30-Day Uptime

30 days ago Today
Embed Badge

Add this to your README to display your MCP Scoreboard grade:

MCP Score Badge
[![MCP Score](https://www.mcpscoreboard.com/badge/41bea2ed-bc00-4c69-a38b-e6f96ccf8fdc.svg)](https://www.mcpscoreboard.com/server/41bea2ed-bc00-4c69-a38b-e6f96ccf8fdc/)