lookupd

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

down checked

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Execute certora-rule-generator-mcp

Publisher-provided description

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

Summary by lookupd

Remote MCP endpoint for generating Certora formal verification rules; description is minimal, so specific capabilities are unclear.

Install

Claude Code, remote (sse)

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

Codex, remote (sse)

codex mcp add certora-rule-generator --url https://api.m2mcent.com/certora-rule-generator-mcp/sse

Cursor, remote (sse) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for io.github.Evozim/certora-rule-generator-mcp

[![lookupd status](https://lookupd.com/badge/io.github.Evozim/certora-rule-generator-mcp.svg)](https://lookupd.com/servers/io.github.Evozim/certora-rule-generator-mcp)