Execute certora-rule-generator-mcp
Premium agentic endpoint for certora-rule-generator-mcp.
MCP-Server · von Evozim
Überblick
Execute certora-rule-generator-mcp ist ein MCP-Server von Evozim. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Wir haben es erstmals am 2026-10-11 gesehen und seither keine Änderung erfasst. Stand unseres Marktplatz-Durchlaufs vom 2026-10-18.
Was es abfragt
- Läuft entfernt
Keiner der Marktplätze, die wir lesen, veröffentlicht seine Tools oder die abgefragten Einstellungen.
Erfordert: Header Payment-Signature
Was es deklariert, abfragt und ausführt, vollständig
Installieren Sie nur Plugins von Entwicklern, denen Sie vertrauen. Wir zeigen, was die Marktplätze veröffentlichen, und testen keine Plugins.
Funktioniert mit
- Claude Code
- Cursor
- VS Code
- Copilot CLI
Ein Ein-Klick-Link öffnet den Client, der vor dem Hinzufügen des Servers um Bestätigung bittet.
Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.
Verbinden
Befehle und Konfigurationen nur aus den Angaben der Marktplätze. Wir führen sie nicht für Sie aus und testen keine Plugins.
Als entfernter MCP-Server
Erstellt aus den Angaben von Official MCP Registry.
claude mcp add --transport sse certora-rule-generator-mcp https://api.m2mcent.com/certora-rule-generator-mcp/sse --header "Payment-Signature: <YOUR_PAYMENT_SIGNATURE>"{
"mcpServers": {
"certora-rule-generator-mcp": {
"url": "https://api.m2mcent.com/certora-rule-generator-mcp/sse",
"headers": {
"Payment-Signature": "<YOUR_PAYMENT_SIGNATURE>"
}
}
}
}Der Server spricht SSE. Codex verbindet sich nur mit STDIO- und Streamable-HTTP-Servern, daher gibt es hier keine Konfiguration dafür.
Ersetzen Sie die Werte in spitzen Klammern durch Ihre eigenen. Wir zeigen die Namen der Einstellungen, nie Werte.
Wo es veröffentlicht ist
| Marktplatz | Status | Version | Zahlen | Verifiziert | Erstmals gesehen |
|---|---|---|---|---|---|
| Official MCP Registry (Eintrag in der Registry öffnen) | Gelistet | 2.0.0 | Keine Zahl veröffentlicht | Nicht markiert |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
Was sich geändert hat
Bei diesem Plugin hat sich nichts bewegt, seit wir es beobachten.
Ähnliche Plugins
Produkte, deren eigene Namen, Beschreibungen, Werkzeuge und Skills diesem der Bedeutung nach am nächsten sind, auf allen Marktplätzen, die wir lesen. Die Nähe ist nur innerhalb dieser Liste geordnet.
-
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
-
aethis-mcp io.github.Aethis-ai/aethis-mcp
Deterministic eligibility decisions and test-driven rule authoring via the Aethis developer API.
-
Free MCP tools: the only MCP linter, health checks, cost estimation, and trust evaluation.
-
Autonomous legal contract testing suite checking syntax anomalies.
-
Expose deterministic ChainWeaver flows as MCP tools without LLM calls between steps.
-
agent-toolbelt-mcp io.github.marras0914/agent-toolbelt-mcp
19 focused API tools for AI agents: contract review, prompt optimizer, context packing, and more.
-
Local OpenAPI contract and breaking-change checks for AI agents.
-
mcp co.policyforge/mcp
Generate, audit, and maintain legal policies that match what your code actually does.
-
Safety execution proxy protecting clients during tool calls.
-
Agothe Agent Contract Preflight
Deterministic MCP, JSON Schema, and SemVer preflight via Agothe's public MUV scope.
Ähnliche Plugins nach Marktplatz
Dieselbe Frage an jeden Marktplatz einzeln: Gibt es dort ein Gegenstück zu diesem Plugin?
Gelistet auf Claude Code: claude-plugins-community (5)
-
Security guardrails for Claude Code. Intercepts every tool call via PreToolUse hook and evaluates it against your Open Agent Passport (OAP) policy before execution. Blocks…
-
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime…
-
: Build production-ready API endpoints with proper contracting for any tech stack, or analyze existing API responses to generate typed contracts. Supports Express, NestJS…
-
A set of strict, senior-level engineering guardrails and security standards for AI coding agents.
-
Automate API security directly in Claude Code with 42Crunch - automatically audit OpenAPI specs, detect vulnerabilities aligned with OWASP API Security risks (including…
Gelistet auf Claude Code: claude-plugins-official (5)
-
Automate API security directly in Claude Code with 42Crunch - automatically audit OpenAPI specs, detect vulnerabilities aligned with OWASP API Security risks (including…
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
Semgrep catches security vulnerabilities in real-time and guides Claude to write secure code from the start.
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.
Gelistet auf Claude: knowledge-work-plugins (5)
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
-
Create, edit, and deploy ServiceNow applications with the Fluent SDK effortlessly through Claude AI.
-
MCP server for terminal commands, file operations, and process management
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
Gelistet auf Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
AI-powered code review in Codex, powered by CodeRabbit.
Gelistet auf Community GitHub marketplaces (4)
-
Security guardrails for Claude Code. Intercepts every tool call via PreToolUse hook and evaluates it against your Open Agent Passport (OAP) policy before execution. Blocks…
-
Distill AI coding sessions into weekly reports, ADRs and a knowledge graph - self-hosted
-
Git-native content governance for AI agents — 27 deterministic MCP tools over stdio and HTTP.
-
Challenge a draft report, review Solidity or any code for security bugs on your own model, and run the hosted gauntlet through the Bounty Operator MCP server.
Gelistet auf Copilot CLI: github/awesome-copilot (5)
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
Gelistet auf Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Advanced Security plugin for GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
Gelistet auf Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
-
Scaffold and validate new agent plugins.
Gelistet auf Docker MCP Catalog (5)
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
-
MCP server for AI access to SmartBear tools, including BugSnag, Reflect, Swagger, PactFlow, QTM4J.
-
Give your AI agents trusted access to the full Postman platform.
-
Analyze code quality and security with SonarQube Server or Cloud directly in AI assistants.
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
Gelistet auf Official MCP Registry (5)
-
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
-
aethis-mcp io.github.Aethis-ai/aethis-mcp
Deterministic eligibility decisions and test-driven rule authoring via the Aethis developer API.
-
Free MCP tools: the only MCP linter, health checks, cost estimation, and trust evaluation.
-
Autonomous legal contract testing suite checking syntax anomalies.
-
Expose deterministic ChainWeaver flows as MCP tools without LLM calls between steps.
Nach Bedeutung gefunden, nicht über gemeinsamen Code oder ein gemeinsames Repository: Ähnliche Plugins bleiben getrennte Produkte, und dies ist weder eine Bewertung noch eine Empfehlung.
Möchten Sie dieses Zeichen für Ihr Plugin in unserem Katalog?
Belegen Sie mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag, dass Sie es pflegen, und Sie können dieses Zeichen auf der Karte zeigen, dazu Live-Banner für Ihre Website und Ihr README. So funktioniert die Verifizierung
Außerdem erhalten Sie Hinweise, wenn ein Marktplatz es aufnimmt, entfernt, sein Verified-Zeichen oder seine Anforderungen ändert, und sein Remote-Endpunkt wird wie ein Webdienst überwacht.
Daten von Official MCP Registry. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.