Skip to content
mcp/harbor
Verified official

Execute certora-rule-generator-mcp MCP

v2.0.0

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

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

transport:sse

Target client

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

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.