Solidity Audit

About

The Solidity Audit MCP is an advanced server designed to empower AI assistants, such as Claude, with robust capabilities for security analysis of Solidity smart contracts. It integrates industry-standard external tools like Slither, Aderyn, and Foundry for deep static analysis and test execution. Additionally, it incorporates built-in analysis through the Slang Parser for AST-based detection and pattern matching against the SWC Registry. By deduplicating and sorting findings from these diverse sources, the tool provides a unified, comprehensive view of potential vulnerabilities, streamlining the audit process for AI-driven security assessments.

Key Features

• Integrates Slither, Aderyn, and Foundry for in-depth static analysis and testing.
• Includes built-in Slang Parser for AST-based detection and SWC Registry pattern matching.
• Deduplicates and sorts security findings by severity for unified, actionable reports.
• Offers dedicated tools for contract analysis, information extraction, vulnerability checks, gas optimization, and project-wide audits.
• Supports flexible deployment options including CLI, Docker, and a remote SaaS server with API key authentication.
• 0 GitHub stars

Use Cases

• Automating security auditing of Solidity smart contracts using AI assistants like Claude.
• Integrating comprehensive smart contract security checks into CI/CD pipelines.
• Generating detailed, multi-tool audit reports for Solidity projects with deduplicated findings.