solidity-auditor-mcpBlockchainCode AnalysisSecurityuitkhoannaFlicenseAqualityBmaintenanceAudits Ethereum/Solidity smart contracts using the Cysic Minimax model, providing automated vulnerability detection, gas optimization suggestions, and markdown report generation. Last updated 2026-06-154
zk-circuit-auditor-mcpCode AnalysisPenetration TestinguitkhoannaFlicenseAqualityCmaintenanceAn MCP server that audits zero-knowledge circuits (Circom, Noir, Halo2) for soundness and constraint bugs, powered by the Cysic Minimax model. Last updated 2026-06-144