Loading
Pipeworx GatewayLive data for AI agents. 250+ data sources, 900+ tools. Ask questions in plain English with ask_pipeworx — trade flows, SEC filings, drug safety, housing data, and more. No API keys needed.
Power your agent
The publisher's own URL. Not a PlugMCP endpoint.
Host a copy with our keys and logs.
https://api.m2mcent.com/certora-rule-generator-mcp/sseThe Claude button above opens Claude with the name and URL filled in. You still confirm it there.
claude mcp add --transport http io.github.evozim-certora-rule-generator-mcp https://api.m2mcent.com/certora-rule-generator-mcp/sseRun in a terminal.
{ "mcpServers": { "io.github.evozim-certora-rule-generator-mcp": { "command": "npx", "args": [ "-y", "mcp-remote", "https://api.m2mcent.com/certora-rule-generator-mcp/sse" ] } }}claude_desktop_config.json
Remote URL or a command on your machine? How the two installs differ
Run on PlugMCP
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
LaunchFrom the publisher
README is not crawled yet. No repository on file.
Premium agentic endpoint for certora-rule-generator-mcp.
© 2026 MCP Directory.
Premium agentic endpoint for certora-rule-generator-mcp.
{ "mcpServers": { "io.github.evozim-certora-rule-generator-mcp": { "url": "https://api.m2mcent.com/certora-rule-generator-mcp/sse", "headers": {} } }}Tools
No tool list yet. Remote servers get one after the first health check.
FAQ
Copy the http config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.
No required environment variable is listed on this record.
Execute Certora Rule Generator is reached over HTTP.
Last checked 2026-11-09. Premium agentic endpoint for certora-rule-generator-mcp.