Ext Ops Panel
Открыть панель

io.github.mrfentmen/minizinc-mcp

MiniZinc MCP: 20 real tools to read, check, lint, scaffold, build and run MiniZinc code.

MCP-сервер · от mrfentmen

Подключить Сравнить Это мой

Коротко

io.github.mrfentmen/minizinc-mcp: MCP-сервер, издатель mrfentmen. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-11-08 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-11-08.

Что просит

  • Работает на вашем компьютере

Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.

Что объявляет, просит и запускает, полностью

Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.

Работает с

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI
Установить в CursorУстановить в VS Code

Ссылка в один клик открывает клиент, и он просит подтвердить, прежде чем добавить сервер.

По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.

Подключить

Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.

Как локальный MCP-сервер: пакет npm

Собрано из того, что объявляет Official MCP Registry.

Claude CodeТерминал
claude mcp add --transport stdio minizinc-mcp -- npx -y @mrfentmen/minizinc-mcp
Codex~/.codex/config.toml
[mcp_servers.minizinc-mcp]
command = "npx"
args = ["-y", "@mrfentmen/minizinc-mcp"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "minizinc-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/minizinc-mcp"
      ]
    }
  }
}

Где опубликован

ВитринаСтатусВерсияЧислаПроверенВпервые замечен
Official MCP Registry (Открыть запись реестра) Опубликован 1.0.0 Форки (GitHub): 0
Звёзды (GitHub): 0		 Не помечен

Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.

Что менялось

  1. Стал продуктом, за которым мы следим
  2. Official MCP Registry: появился

Похожие плагины

Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.

  • minid-mcp io.github.mrfentmen/minid-mcp

    MiniD MCP: 20 real tools to read, check, lint, scaffold, build and run MiniD code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • miniscript-mcp io.github.mrfentmen/miniscript-mcp

    MiniScript MCP: 20 real tools to read, check, lint, scaffold, build and run MiniScript code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • z-mcp io.github.mrfentmen/z-mcp

    Z MCP: 20 real tools to read, check, lint, scaffold, build and run Z code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • m-mcp io.github.mrfentmen/m-mcp

    M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • mizar-mcp io.github.mrfentmen/mizar-mcp

    Mizar MCP: 20 real tools to read, check, lint, scaffold, build and run Mizar code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • mint-mcp io.github.mrfentmen/mint-mcp

    Mint MCP: 20 real tools to read, check, lint, scaffold, build and run Mint code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • ampl-mcp io.github.mrfentmen/ampl-mcp

    AMPL MCP: 20 real tools to read, check, lint, scaffold, build and run AMPL code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • zil-mcp io.github.mrfentmen/zil-mcp

    ZIL MCP: 20 real tools to read, check, lint, scaffold, build and run ZIL code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • modelica-mcp io.github.mrfentmen/modelica-mcp

    Modelica MCP: 20 real tools to read, check, lint, scaffold, build and run Modelica code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • smt-mcp io.github.mrfentmen/smt-mcp

    SMT MCP: 20 real tools to read, check, lint, scaffold, build and run SMT code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

Похожие плагины по витринам

Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?

Есть на витрине Claude Code: claude-plugins-community (5)

  • mcpg

    Generate MCP server scaffold and tool implementation code from a natural language description. Describe what tools you want in plain language, choose TypeScript or Python, and get…

    от yn01 · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-community · Решает почти ту же задачу

  • memex io.github.STiFLeR7/memex

    Temporal engineering context for agents via MCP.

    от STiFLeR7 · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-community, PyPI (MCP servers) · Решает почти ту же задачу

  • socraticode io.github.giancarloerra/socraticode

    MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.

    от giancarloerra · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Решает почти ту же задачу

  • nodebench io.github.HomenShum/nodebench

    260 MCP tools across 49 domains. AI Flywheel, quality gates, research, web scraping.

    от HomenShum · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • mcp2cli

    Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents

    от myeolinmalchi · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-community · Решает почти ту же задачу

Есть на витрине Claude Code: claude-plugins-official (5)

  • mdk-mcp-server io.github.SAP/mdk-mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of MDK applications.

    от SAP · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • mcp-server io.github.cap-js/mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of CAP applications.

    от cap-js · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • Setup MCP Agent Analytics

    Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.

    от pendo-io · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official · Решает почти ту же задачу

  • Terraform

    Generate more accurate Terraform and automate workflows for HCP Terraform and Terraform Enterprise

    от hashicorp · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog · Решает почти ту же задачу

  • firebase-mcp io.github.firebase/firebase-mcp

    Gives AI development tools Firebase-specific capabilities and expertise.

    от firebase · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Community GitHub marketplaces · Решает почти ту же задачу

Есть на витрине Claude: knowledge-work-plugins (5)

  • gk-cli com.gitkraken/gk-cli

    The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.

    от gitkraken.com · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Claude: knowledge-work-plugins · Решает почти ту же задачу

  • Desktop Commander

    MCP server for terminal commands, file operations, and process management

    от wonderwhy-er · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces, npm registry (MCP servers) · Решает почти ту же задачу

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    от figma · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • Qodo

    Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.

    от qodo-ai · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Решает почти ту же задачу

  • buildkite

    Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API

    от buildkite · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Решает почти ту же задачу

Есть на витрине Codex: openai-curated (openai/plugins) (5)

  • Qodo

    Qodo setup, code intelligence, and review workflows.

    от qodo-ai · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • GitHub

    Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.

    от OpenAI · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • Plugin Eval

    Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.

    от OpenAI Codex · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • CodeRabbit

    AI-powered code review in Codex, powered by CodeRabbit.

    от CodeRabbit AI · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • crowdstrike-falcon-foundry

    CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…

    от CrowdStrike · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Codex: openai-curated (openai/plugins), Copilot CLI: github/awesome-copilot, Community GitHub marketplaces, Claude Code: claude-plugins-community · Решает почти ту же задачу

Есть на витрине Community GitHub marketplaces (5)

  • mcp-builder

    Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.

    от mcp-use · Пакет плагинов

    Опубликован: Community GitHub marketplaces · Решает почти ту же задачу

  • mcp-apps-builder

    Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.

    от mcp-use · Пакет плагинов

    Опубликован: Community GitHub marketplaces · Решает почти ту же задачу

  • agents-mcp

    Build agents, MCP servers and tool-using workflows.

    от SkillMD · Пакет плагинов

    Опубликован: Community GitHub marketplaces · Решает почти ту же задачу

  • jCodeMunch MCP

    Gives AI agents the function they asked for, not the file. Commercial use needs a license.

    от jgravelle · MCP-сервер

    Опубликован: Official MCP Registry, PyPI (MCP servers), Community GitHub marketplaces · Решает почти ту же задачу

  • mcp

    Commands for setup well known MCP server integration if needed and update CLAUDE.md file with requirement to use this MCP server for current project.

    от Vlad Goncharov · Пакет плагинов

    Опубликован: Community GitHub marketplaces · Решает почти ту же задачу

Есть на витрине Copilot CLI: github/awesome-copilot (5)

  • typescript-mcp-development

    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…

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • go-mcp-development

    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…

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • kotlin-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • java-mcp-development

    Build Model Context Protocol (MCP) servers in Java with the official MCP Java SDK 2.x. Includes a skill that generates a server project and an expert agent for guidance.

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    от figma · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Решает похожую задачу

Есть на витрине Copilot CLI: github/copilot-plugins (5)

  • mcp-apps

    Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • cpp-language-server

    Navigate and interact with your C++ code using the Microsoft C++ Language Server.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • canvas-apps

    Build Power Apps Canvas Apps using the Canvas Authoring MCP server.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • microsoft-365-agents-toolkit

    Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • azure-devops-copilot-plugin

    Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

Есть на витрине Cursor: cursor/plugins (5)

  • playwright-mcp io.github.microsoft/playwright-mcp

    Playwright Tools for MCP

    от microsoft · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Cursor: cursor/plugins, Docker MCP Catalog, Community GitHub marketplaces · Решает почти ту же задачу

  • pstack

    if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.

    от Lauren Tan · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Cursor SDK

    Build apps, scripts, and automations with the TypeScript SDK.

    от Cursor · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Orchestrate

    Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.

    от Cursor · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Cursor Team Kit

    Internal team workflows for CI, code review, shipping, local automation, and verification.

    от Eric Zakariasson · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

Есть на витрине Docker MCP Catalog (5)

  • Git (Reference)

    Git repository interaction and automation.

    от modelcontextprotocol · MCP-сервер

    Опубликован: Docker MCP Catalog, PyPI (MCP servers) · Решает почти ту же задачу

  • npm-sentinel-mcp io.github.Nekzus/npm-sentinel-mcp

    Advanced NPM analysis: Recursive security scanning, ecosystem awareness, and deep insights.

    от Nekzus · MCP-сервер

    Опубликован: Official MCP Registry, Docker MCP Catalog, npm registry (MCP servers) · Решает почти ту же задачу

  • E2B

    Giving Claude ability to run code with E2B via MCP (Model Context Protocol).

    от e2b-dev · MCP-сервер

    Опубликован: Docker MCP Catalog · Решает почти ту же задачу

  • Zen

    Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.

    от BeehiveInnovations · MCP-сервер

    Опубликован: Docker MCP Catalog · Решает почти ту же задачу

  • buildkite-mcp-server io.github.buildkite/buildkite-mcp-server

    MCP server exposing Buildkite API data (pipelines, builds, jobs, tests) to AI tooling and editors.

    от buildkite · MCP-сервер

    Опубликован: Official MCP Registry, Docker MCP Catalog · Решает почти ту же задачу

Есть на витрине Official MCP Registry (5)

  • minid-mcp io.github.mrfentmen/minid-mcp

    MiniD MCP: 20 real tools to read, check, lint, scaffold, build and run MiniD code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • miniscript-mcp io.github.mrfentmen/miniscript-mcp

    MiniScript MCP: 20 real tools to read, check, lint, scaffold, build and run MiniScript code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • z-mcp io.github.mrfentmen/z-mcp

    Z MCP: 20 real tools to read, check, lint, scaffold, build and run Z code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • m-mcp io.github.mrfentmen/m-mcp

    M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • mizar-mcp io.github.mrfentmen/mizar-mcp

    Mizar MCP: 20 real tools to read, check, lint, scaffold, build and run Mizar code.

    от mrfentmen · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

Есть на витрине PyPI (MCP servers) (5)

  • nagato-mcp-tools

    Agent-First MCP Toolkit -- code search, editing, execution, and analysis tools for any MCP client.

    от Chromoforge · MCP-сервер

    Опубликован: PyPI (MCP servers) · Решает почти ту же задачу

  • ministack-mcp

    MCP knowledge layer for MiniStack — plug into any IDE AI (Claude Desktop, Cursor, Continue, Devin, Cline).

    от ministackorg · MCP-сервер

    Опубликован: PyPI (MCP servers) · Решает почти ту же задачу

  • tzero-mcp

    Enterprise Codebase Context Builder, AST Signatures Analyzer, & Token Reducer for LLMs

    от toprakahmetaydogmus · MCP-сервер

    Опубликован: PyPI (MCP servers) · Решает почти ту же задачу

  • repoctx-mcp

    Local repository intelligence for coding agents

    от gald33 · MCP-сервер

    Опубликован: PyPI (MCP servers) · Решает почти ту же задачу

  • lineai-mcp-server io.github.lineai-intelligence/lineai-mcp-server

    An MCP Server to utilize Lineai's rich software dependency data in your AI programming assistant.

    от lineai-intelligence · MCP-сервер

    Опубликован: Official MCP Registry, PyPI (MCP servers) · Решает почти ту же задачу

Есть на витрине npm registry (MCP servers) (5)

  • Jarroba Tools

    140 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.

    от Invarato · MCP-сервер

    Опубликован: Official MCP Registry, npm registry (MCP servers) · Решает почти ту же задачу

  • rigour io.github.rigour-labs/rigour

    Lets coding agents review their change, find an existing helper, and recall the team's lessons.

    от rigour-labs · MCP-сервер

    Опубликован: Official MCP Registry, npm registry (MCP servers) · Решает почти ту же задачу

  • @satori-code/mcp

    Local-first code intelligence for AI coding agents: natural-language + lexical repository search, exact source/symbol navigation, relationships, freshness, and indexing.

    от @satori-code · MCP-сервер

    Опубликован: npm registry (MCP servers) · Решает почти ту же задачу

  • @onlyflows/servicenow-mcp

    stdio ServiceNow MCP server with 19 tools for CRUD, CMDB traversal, ATF testing, and explicit multi-instance profiles.

    от @onlyflows · MCP-сервер

    Опубликован: npm registry (MCP servers) · Решает почти ту же задачу

  • @vornrun/mcp

    Vorn MCP server — task management, git, and workflow tools for AI coding agents

    от @vornrun · MCP-сервер

    Опубликован: npm registry (MCP servers) · Решает почти ту же задачу

Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.

Хотите такой знак у своего плагина в нашем каталоге?

Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение

Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.

Добавить в свои проекты Что умеет панель

Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.

Откуда данные: как устроен каталог