How do I install Execute certora-rule-generator-mcp?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is Execute certora-rule-generator-mcp official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

This listing scores 47 (Fair). The formula is published on the methodology page.

Execute certora-rule-generator-mcp MCP Server | MCPpedia

Name: Execute certora-rule-generator-mcp MCP Server
Author: evozim

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

RegistryRemoteevozim

47Fair

~/Library/Application Support/Claude/claude_desktop_config.json

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

This server does not declare environment variables.

75Good

Google PageSpeed Insights and CrUX: six workflow tools for web performance.

Registryruslanlap72 stars500/wk

73Good

Evidence-backed crypto due diligence with sources, freshness, and a runtime receipt on every call.