solidity-auditor-mcpBlockchainCode AnalysisSecurityuitkhoannaFlicenseAqualityDmaintenanceAudits Ethereum/Solidity smart contracts using the Cysic Minimax model, providing automated vulnerability detection, gas optimization suggestions, and markdown report generation. Updated 3 months ago (2026-06-15 06:34 UTC)4-
zk-circuit-auditor-mcpCode AnalysisPenetration TestinguitkhoannaFlicenseAqualityDmaintenanceAn MCP server that audits zero-knowledge circuits (Circom, Noir, Halo2) for soundness and constraint bugs, powered by the Cysic Minimax model. Updated 3 months ago (2026-06-14 09:28 UTC)4-