Execute certora-rule-generator-mcp
Premium agentic endpoint for certora-rule-generator-mcp.
MCP-сервер · от Evozim
Коротко
Execute certora-rule-generator-mcp: MCP-сервер, издатель Evozim. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-10-11 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-18.
Что просит
- Работает удалённо
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Требует: заголовок Payment-Signature
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
- Cursor
- VS Code
- Copilot CLI
Ссылка в один клик открывает клиент, и он просит подтвердить, прежде чем добавить сервер.
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как удалённый MCP-сервер
Собрано из того, что объявляет 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>"
}
}
}
}Сервер работает по SSE. Codex подключается только к серверам STDIO и Streamable HTTP, поэтому конфигурации для него здесь нет.
Замените значения в угловых скобках своими. Мы показываем имена настроек, но не значения.
Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Official MCP Registry (Открыть запись реестра) | Опубликован | 2.0.0 | Число не опубликовано | Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Что менялось
С тех пор как мы следим за плагином, ничего не менялось.
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
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.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.