Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
MCP-сервер · от Evozim
Коротко
Execute coq-proof-assistant-mcp: MCP-сервер, издатель Evozim. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-10-11 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-16.
Что просит
- Работает удалённо
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Требует: заголовок Payment-Signature
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
- Cursor
- VS Code
- Copilot CLI
Ссылка в один клик открывает клиент, и он просит подтвердить, прежде чем добавить сервер.
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как удалённый MCP-сервер
Собрано из того, что объявляет Official MCP Registry.
claude mcp add --transport sse coq-proof-assistant-mcp https://api.m2mcent.com/coq-proof-assistant-mcp/sse --header "Payment-Signature: <YOUR_PAYMENT_SIGNATURE>"{
"mcpServers": {
"coq-proof-assistant-mcp": {
"url": "https://api.m2mcent.com/coq-proof-assistant-mcp/sse",
"headers": {
"Payment-Signature": "<YOUR_PAYMENT_SIGNATURE>"
}
}
}
}Сервер работает по SSE. Codex подключается только к серверам STDIO и Streamable HTTP, поэтому конфигурации для него здесь нет.
Замените значения в угловых скобках своими. Мы показываем имена настроек, но не значения.
Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Official MCP Registry (Открыть запись реестра) | Опубликован | 2.0.0 | Число не опубликовано | Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Что менялось
С тех пор как мы следим за плагином, ничего не менялось.
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
proof io.github.ToremLabs/proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
-
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…
-
prover com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
-
Progressive in-context technical coaching in your AI agent — one local, free lesson per task.
-
MCP for rules/skills/knowledge evaluation for Cursor, Claude, VS Code, and Antigravity.
-
mathlas io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
-
groundtruth io.github.rm-rf-prod/groundtruth
Live docs MCP server. 793+ libraries, evidence-verified answers, code audit, snippets, dispatch.
-
leanforge-mcp io.github.sandraschi/leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
-
Local coding tools for ChatGPT Developer Mode and MCP clients with safe editing and shell execution.
-
Tool-first MCP: AST nav, impact/flow, task chains, memo/recall.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине Claude Code: claude-plugins-community (5)
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
-
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…
-
A Claude Code plugin for Human-In-The-Loop iterative development with progressive disclosure and deterministic workflow orchestration.
-
Mentor is an inline prompt coaching plugin for Claude Code. It watches every prompt before it reaches Claude and, when it spots something worth flagging, injects a short coaching…
-
A Claude Code plugin that turns Claude into a coding mentor. Instead of writing code for you, Claude guides you through problems with hints, questions, and code review.
Есть на витрине Claude Code: claude-plugins-official (5)
-
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…
-
Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.
-
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure…
-
Find the right NVIDIA skill for GPU acceleration, CUDA, AI agents, data loading, training, inference, robotics, Physical AI, Omniverse, simulation, and other NVIDIA-powered…
-
MCP server for AI coding agents to create, manage, and interact with Quarkus applications. Provides tools for project scaffolding, dev mode lifecycle, extension skills, Dev MCP…
Есть на витрине Claude: knowledge-work-plugins (5)
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
MCP server for terminal commands, file operations, and process management
-
Agentic engineering skills for Qt software development — Qt C++/QML code review, QML coding, and Qt C++/QML code documentation.
-
Streamline engineering workflows — standups, code review, architecture decisions, incident response, and technical documentation. Works with your existing tools or standalone.
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
Есть на витрине 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.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Qodo setup, code intelligence, and review workflows.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
Есть на витрине Community GitHub marketplaces (4)
-
GodPrompt MCP + Agent Skill for coding agents with TDD, debugging, verification, and task routing.
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
Community of Consciousness MCP Server — upload and explore collective wisdom via GitHub.
-
Distill AI coding sessions into weekly reports, ADRs and a knowledge graph - self-hosted
Есть на витрине Copilot CLI: github/awesome-copilot (5)
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
-
Meta prompts that help you discover and generate curated GitHub Copilot agents, instructions, prompts, and skills.
-
Plain-English translation layer for non-technical Copilot CLI users. Translates every approval prompt, error message, and technical output into clear, jargon-free English with…
-
Goal-driven task orchestration with independent verification. Interviews the user to define a clear goal, then loops between a Builder subagent (does the work) and an Inspector…
-
Build applications with the GitHub Copilot SDK across multiple programming languages. Includes comprehensive instructions for C#, Go, Node.js/TypeScript, and Python to help you…
Есть на витрине 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.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
Есть на витрине Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
-
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…
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
Есть на витрине Docker MCP Catalog (5)
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
-
Tools and resources for writing Effect code in Typescript.
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
-
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)
-
proof io.github.ToremLabs/proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
-
prover com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
-
Progressive in-context technical coaching in your AI agent — one local, free lesson per task.
-
MCP for rules/skills/knowledge evaluation for Cursor, Claude, VS Code, and Antigravity.
-
mathlas io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.