Execute certora-rule-generator-mcp MCP server

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

Category: Dev tools

● Reachable, no MCP reply, checked 29 min ago · 61 ms

Source: official MCP Registry entry io.github.Evozim/certora-rule-generator-mcp

Direct MCP URL and setup

CLAUDE CODE

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

CURSOR / VS CODE (mcp.json)

{ "mcpServers": { "io-github-evozim-certora-rule-generator-": { "url": "https://api.m2mcent.com/certora-rule-generator-mcp/sse" } } }