"Optimism" matching MCP servers:

Enables static analysis, vulnerability scanning, gas optimization, formal specification verification, and audit report generation for smart contracts across Ethereum, Polygon, Arbitrum, Optimism, and Base. It also retrieves deployed contract information and audit history, persisting findings between sessions.

An intelligent code optimization MCP server that analyzes and improves codebases across multiple dimensions including performance, memory, code smells, and complexity.