Execute certora-rule-generator-mcp
Premium agentic endpoint for certora-rule-generator-mcp.
Serveur MCP · par Evozim
Aperçu
Execute certora-rule-generator-mcp est un serveur MCP publié par Evozim. Places de marché que nous lisons et qui le référencent : 1 (Official MCP Registry). Nous l'avons vu pour la première fois le 2026-10-11 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-10-19.
Ce qu'il demande
- S'exécute à distance
Aucune des places de marché que nous lisons ne publie ses outils ni les réglages qu'il demande.
Demande: en-tête Payment-Signature
Ce qu'il déclare, demande et exécute, en détail
N’installez que des plugins de développeurs en qui vous avez confiance. Nous reprenons ce que publient les places de marché et ne testons pas les plugins.
Fonctionne avec
- Claude Code
- Cursor
- VS Code
- Copilot CLI
Un lien en un clic ouvre le client, qui demande une confirmation avant d'ajouter le serveur.
D'après les marketplaces qui le listent et le transport MCP qu'il déclare, tels que chaque client les documente. Nous ne testons pas les plugins.
Connecter
Commandes et configurations construites uniquement à partir de ce que déclarent ses places de marché. Nous ne les exécutons pas pour vous et ne testons pas les plugins.
En serveur MCP distant
Construit à partir de ce que déclare 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>"
}
}
}
}Le serveur parle SSE. Codex ne se connecte qu’aux serveurs STDIO et Streamable HTTP, il n’a donc pas de configuration ici.
Remplacez les valeurs entre chevrons par les vôtres. Nous montrons les noms des paramètres, jamais de valeurs.
Où il est publié
| Place de marché | Statut | Version | Chiffres | Vérifié | Vu pour la première fois |
|---|---|---|---|---|---|
| Official MCP Registry (Ouvrir la fiche du registre) | Référencé | 2.0.0 | Aucun chiffre publié | Non marqué |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Ce qui a changé
Rien n'a bougé sur ce plugin depuis que nous le suivons.
Plugins similaires
Produits dont les noms, descriptions, outils et skills sont les plus proches de celui-ci par le sens, sur toutes les places de marché que nous lisons. La proximité n'est classée qu'à l'intérieur de cette liste.
-
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.
Plugins similaires par place de marché
La même question posée à chaque place de marché séparément : y a-t-il là un équivalent de ce plugin ?
Référencé sur 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…
Référencé sur 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.
Référencé sur 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.
Référencé sur 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.
Référencé sur 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.
Référencé sur 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.
Référencé sur 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…
Référencé sur 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.
Référencé sur 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.
Référencé sur 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.
Trouvés par le sens, et non par un code ou un dépôt commun : les plugins similaires restent des produits distincts, et ceci n'est ni un avis ni une recommandation.
Vous voulez cette marque pour votre plugin dans notre catalogue ?
Prouvez que vous le maintenez avec un fichier dans son dépôt, un fichier sur votre domaine ou un enregistrement DNS, et vous pourrez afficher cette marque sur la fiche, avec des bannières à jour pour votre site et votre README. Comment se passe la vérification
Vous recevez aussi des alertes quand une marketplace le publie, le retire, change sa marque vérifiée ou ce qu'il demande, et son endpoint distant est surveillé comme un service web.
Données issues de Official MCP Registry. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.