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

io.github.mrfentmen/literate-agda-mcp

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

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

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

Коротко

io.github.mrfentmen/literate-agda-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 literate-agda-mcp -- npx -y @mrfentmen/literate-agda-mcp
Codex~/.codex/config.toml
[mcp_servers.literate-agda-mcp]
command = "npx"
args = ["-y", "@mrfentmen/literate-agda-mcp"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "literate-agda-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/literate-agda-mcp"
      ]
    }
  }
}

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

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

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

Что менялось

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

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

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

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

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

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

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

  • literate-haskell-mcp io.github.mrfentmen/literate-haskell-mcp

    Literate Haskell MCP: read, check, lint, scaffold and run code.

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

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

  • lean-4-mcp io.github.mrfentmen/lean-4-mcp

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • nagato-mcp-tools

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • 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 · Решает почти ту же задачу

  • 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) · Решает почти ту же задачу

  • karellen-lsp-mcp

    LSP-backed code intelligence for Claude Code via MCP and native LSP. Navigate definitions, references, call hierarchies, type hierarchies, hover documentation, symbols, and…

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

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

  • codescene-mcp-server com.codescene/codescene-mcp-server

    An MCP server that provides CodeScene Code Health analysis tools.

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

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

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

  • 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 · Решает почти ту же задачу

  • lumen

    Precise local semantic code search via MCP. Indexes your codebase with Go AST parsing, embeds with Ollama or LM Studio, and exposes vector search to Claude through an MCP server…

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

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

  • 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 · Решает почти ту же задачу

  • context7

    Upstash Context7 MCP server for up-to-date documentation lookup. Connects to Context7's hosted remote MCP server (https://mcp.context7.com/mcp) — no local Node.js or npx required…

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

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

  • quarkus-agent

    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…

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

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

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

  • 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 · Решает почти ту же задачу

  • 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) · Решает почти ту же задачу

  • 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 · Решает почти ту же задачу

  • 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 · Решает почти ту же задачу

  • mintlify

    Build beautiful documentation sites with Mintlify. Convert non-markdown files into properly formatted MDX pages, add and modify content with correct component use, and automate…

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

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

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

  • Qodo

    Qodo setup, code intelligence, and review workflows.

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

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

  • CodeRabbit

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

    от CodeRabbit 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) · Решает почти ту же задачу

  • Superpowers

    An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.

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

    Опубликован: 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) · Решает почти ту же задачу

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

  • 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 · Решает почти ту же задачу

  • 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 · Решает почти ту же задачу

  • agents-mcp

    Build agents, MCP servers and tool-using workflows.

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

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

  • isitdone

    Make a coding agent prove it: run the repo's real tests, typecheck and lint before it says done.

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

    Опубликован: Official MCP Registry, 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 · Решает почти ту же задачу

  • copilot-sdk

    Build applications with the Microsoft Copilot SDK, transitioning from GitHub Copilot SDK, across multiple programming languages. Includes instructions for C#, Go…

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

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

  • megalinter

    Set up, run and fix MegaLinter on any repository: 100+ linters for 69+ languages, 23+ formats and 21+ tooling formats, from CI or locally.

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

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

Есть на витрине 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 · Решает почти ту же задачу

  • azure-devops-copilot-plugin

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

    от 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 · Решает почти ту же задачу

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

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

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

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

  • 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 · Решает почти ту же задачу

  • CLI for Agents

    Patterns for designing CLIs that coding agents can run reliably: flags, help with examples, pipelines, errors, idempotency, dry-run.

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

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

  • 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 · Решает почти ту же задачу

  • Agent Compatibility

    CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.

    от 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)

  • ast-grep

    ast-grep is a fast and polyglot tool for code structural search, lint, rewriting at large scale.

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

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

  • Effect

    Tools and resources for writing Effect code in Typescript.

    от tim-smart · MCP-сервер

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

  • Context7

    Pull up-to-date, version-specific documentation and code examples for any library or framework straight into your prompt.

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

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

  • Git (Reference)

    Git repository interaction and automation.

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

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

  • Sequa.AI

    Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.

    от sequa-ai · MCP-сервер

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

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

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

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

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

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

  • literate-haskell-mcp io.github.mrfentmen/literate-haskell-mcp

    Literate Haskell MCP: read, check, lint, scaffold and run code.

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

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

  • lean-4-mcp io.github.mrfentmen/lean-4-mcp

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

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

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

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

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

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

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

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

    Haskell MCP: 20 real tools to read, check, lint, scaffold, build and run Haskell 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) · Решает почти ту же задачу

  • 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 · Решает почти ту же задачу

  • repoctx-mcp

    Local repository intelligence for coding agents

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

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

  • code-index-mcp

    Code indexing and analysis tools for LLMs using MCP

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

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

  • code-atlas-mcp

    A code intelligence graph that gives AI coding agents deep, token-efficient understanding of your codebase.

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

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

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

  • @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) · Решает почти ту же задачу

  • @wastech-mdlint/mcp-server

    MCP server for Markdown linting: read-only Model Context Protocol tools for lint findings, the context graph, and change impact.

    от @wastech-mdlint · MCP-сервер

    Опубликован: 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) · Решает почти ту же задачу

  • groundtruth io.github.rm-rf-prod/groundtruth

    Live docs MCP server. 793+ libraries, evidence-verified answers, code audit, snippets, dispatch.

    от rm-rf-prod · MCP-сервер

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

  • codegraph io.github.codegraph-ai/codegraph

    Semantic code graph: 42 tools, 38 languages. Callers, impact, AI context, memory, PR review.

    от codegraph-ai · MCP-сервер

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

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

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

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

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

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

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

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