Execute certora-rule-generator-mcp for Claude Code

io.github.evozim/certora-rule-generator-mcp

Premium agentic endpoint for certora-rule-generator-mcp.

client:Claude Code transport:sse

Install Execute certora-rule-generator-mcp in Claude Code

run in your project directory

claude mcp add --transport sse certora-rule-generator-mcp https://api.m2mcent.com/certora-rule-generator-mcp/sse

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs