MCP - Releasing an open-source AI-powered smart contract auditi...

Releasing an open-source AI-powered smart contract auditing tool that compiles Solidity, runs Slither detectors, and uses LLM reasoning to generate severity-rated vulnerability reports.

Updated: 3/23/2026
high Severity
Status: active

Description

1/ Releasing checkra1n-audit — an open-source AI smart contract auditor. Free Claude Code MCP server: compiles Solidity → Slither (80+ detectors) → Aderyn → 10,615 historical exploits → LLM reasoning → severity-rated report. https://t.co/gWJI8O7iBp

Impact

Releasing an open-source AI-powered smart contract auditing tool that compiles Solidity, runs Slither detectors, and uses LLM reasoning to generate severity-rated vulnerability reports.

Attack Vectors

  • smart contract auditing
  • Solidity
  • Slither

Mitigation

    Sources