$ loading_
帮助开发者审计零知识电路中的健全性与约束漏洞，提升证明系统安全性。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"zk-circuit-auditor-mcp" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请审计这段 Circom 电路代码，重点检查约束遗漏、未绑定信号、可绕过的断言以及潜在健全性问题，并给出修复建议。
返回按风险分级的问题清单，并附带具体漏洞说明与修改建议。
请检查这份 Noir 电路/证明逻辑，找出可能导致错误证明通过的约束缺陷、边界条件问题和输入验证漏洞。
输出电路中的高风险缺陷、影响分析，以及需要补充的约束或验证步骤。
请审阅这段 Halo2 电路实现，分析门约束、查找表、公共输入和 witness 处理是否存在安全或正确性问题。
给出约束设计审计结果，指出可利用缺陷及对应的重构建议。
静态审计 Solidity 智能合约，帮助开发者发现并修复常见安全漏洞。
帮助用户检索并核验审计法规、条款及审计事项依据。
帮助开发团队进行多语言代码安全审计、漏洞检测与深度分析
抓取已验证智能合约源码并审计漏洞、持币分布与风险报告。
帮助用户对 AI 应用或模型配置进行自检审计，发现风险与改进点。
为智能体免费生成并验证 STARK 证明回执，提升可验证性与安全性。