$ 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.
Audit Ethereum smart contracts for vulnerabilities, gas optimization, and report generation.
Audit any MCP server.json for official MCP spec compliance.
Scaffold, compile, deploy, and test confidential smart contracts on fhEVM.
Fetch verified smart contracts, assess risks, analyze holders, and produce audit reports.
Audit AI apps or model setups to find risks and improvements.