$ loading_
Audit zero-knowledge circuits for soundness and constraint bugs across major frameworks.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "zk-circuit-auditor-mcp" yet — see the docs or source repo.
Please audit this Circom circuit code. Focus on missing constraints, unconstrained signals, bypassable assertions, and potential soundness issues, then provide fixes.
A risk-ranked list of issues with concrete vulnerability explanations and suggested fixes.
Review this Noir circuit/proving logic and identify constraint flaws, edge-case issues, and input validation weaknesses that could allow invalid proofs.
High-risk defects in the circuit, impact analysis, and constraints or validation steps to add.
Inspect this Halo2 circuit implementation and analyze whether gate constraints, lookups, public inputs, and witness handling have security or correctness issues.
An audit report on the constraint design, highlighting exploitable flaws and refactoring recommendations.
Statically audit Solidity contracts to find and fix common security vulnerabilities.
Retrieve and verify audit regulations, clauses, and audit item references.
Audit any MCP server.json for official MCP spec compliance.
Fetch verified smart contracts, assess risks, analyze holders, and produce audit reports.
Verify AI-generated code for quality, security, and performance with more trust.
Mint and verify STARK proof receipts for agents at no cost.