io.github.mrfentmen/agda-mcp
Agda MCP: 20 real tools to read, check, lint, scaffold, build and run Agda code.
MCP-сервер · от mrfentmen
Коротко
io.github.mrfentmen/agda-mcp: MCP-сервер, издатель mrfentmen. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-11-08 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-11-08.
Что просит
- Работает на вашем компьютере
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Ссылка в один клик открывает клиент, и он просит подтвердить, прежде чем добавить сервер.
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как локальный MCP-сервер: пакет npm
Собрано из того, что объявляет Official MCP Registry.
claude mcp add --transport stdio agda-mcp -- npx -y @mrfentmen/agda-mcp[mcp_servers.agda-mcp]
command = "npx"
args = ["-y", "@mrfentmen/agda-mcp"]{
"mcpServers": {
"agda-mcp": {
"command": "npx",
"args": [
"-y",
"@mrfentmen/agda-mcp"
]
}
}
}Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Official MCP Registry (Открыть запись реестра) | Опубликован | 1.0.0 | Форки (GitHub): 0 Звёзды (GitHub): 0 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Что менялось
- Стал продуктом, за которым мы следим
- Official MCP Registry: появился
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
literate-agda-mcp io.github.mrfentmen/literate-agda-mcp
Literate Agda MCP: 20 real tools to read, check, lint, scaffold, build and run Literate Agda code.
-
ada-mcp io.github.mrfentmen/ada-mcp
Ada MCP: 20 real tools to read, check, lint, scaffold, build and run Ada code.
-
ags-script-mcp io.github.mrfentmen/ags-script-mcp
AGS Script MCP: 20 real tools to read, check, lint, scaffold, build and run AGS Script code.
-
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.
-
vdm-mcp io.github.mrfentmen/vdm-mcp
VDM MCP: 20 real tools to read, check, lint, scaffold, build and run VDM code.
-
moocode-mcp io.github.mrfentmen/moocode-mcp
Moocode MCP: 20 real tools to read, check, lint, scaffold, build and run Moocode code.
-
Agent-First MCP Toolkit -- code search, editing, execution, and analysis tools for any MCP client.
-
whiley-mcp io.github.mrfentmen/whiley-mcp
Whiley MCP: 20 real tools to read, check, lint, scaffold, build and run Whiley code.
-
m-mcp io.github.mrfentmen/m-mcp
M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.
-
idris-mcp io.github.mrfentmen/idris-mcp
Idris MCP: 20 real tools to read, check, lint, scaffold, build and run Idris code.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине Claude Code: claude-plugins-community (5)
-
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…
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
-
memex io.github.STiFLeR7/memex
Temporal engineering context for agents via MCP.
-
codescene-mcp-server com.codescene/codescene-mcp-server
An MCP server that provides CodeScene Code Health analysis tools.
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
Есть на витрине Claude Code: claude-plugins-official (5)
-
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.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
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…
-
Generate more accurate Terraform and automate workflows for HCP Terraform and Terraform Enterprise
-
Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.
Есть на витрине 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.
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API
-
MCP server for terminal commands, file operations, and process management
-
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…
Есть на витрине Codex: openai-curated (openai/plugins) (5)
-
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.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
Есть на витрине Community GitHub marketplaces (5)
-
Gives AI agents the function they asked for, not the file. Commercial use needs a license.
-
Build agents, MCP servers and tool-using workflows.
-
Make a coding agent prove it: run the repo's real tests, typecheck and lint before it says done.
-
mcp-builder
Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.
-
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.
Есть на витрине Copilot CLI: github/awesome-copilot (5)
-
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…
-
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…
-
Build applications with the Microsoft Copilot SDK, transitioning from GitHub Copilot SDK, across multiple programming languages. Includes instructions for C#, Go…
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
Есть на витрине 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.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Advanced Security plugin for GitHub Copilot.
Есть на витрине Cursor: cursor/plugins (5)
-
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.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Patterns for designing CLIs that coding agents can run reliably: flags, help with examples, pipelines, errors, idempotency, dry-run.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Internal team workflows for CI, code review, shipping, local automation, and verification.
Есть на витрине Docker MCP Catalog (5)
-
ast-grep is a fast and polyglot tool for code structural search, lint, rewriting at large scale.
-
Tools and resources for writing Effect code in Typescript.
-
Git repository interaction and automation.
-
Pull up-to-date, version-specific documentation and code examples for any library or framework straight into your prompt.
-
Give your AI agents trusted access to the full Postman platform.
Есть на витрине Official MCP Registry (5)
-
literate-agda-mcp io.github.mrfentmen/literate-agda-mcp
Literate Agda MCP: 20 real tools to read, check, lint, scaffold, build and run Literate Agda code.
-
ada-mcp io.github.mrfentmen/ada-mcp
Ada MCP: 20 real tools to read, check, lint, scaffold, build and run Ada code.
-
ags-script-mcp io.github.mrfentmen/ags-script-mcp
AGS Script MCP: 20 real tools to read, check, lint, scaffold, build and run AGS Script code.
-
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.
-
vdm-mcp io.github.mrfentmen/vdm-mcp
VDM MCP: 20 real tools to read, check, lint, scaffold, build and run VDM code.
Есть на витрине PyPI (MCP servers) (5)
-
Agent-First MCP Toolkit -- code search, editing, execution, and analysis tools for any MCP client.
-
Gives AI agents the function they asked for, not the file. Commercial use needs a license.
-
Local repository intelligence for coding agents
-
nexus-mcp io.github.j7an/nexus-mcp
Delegate tasks to coding agents (Claude, Codex, Antigravity) from any MCP client
-
Code indexing and analysis tools for LLMs using MCP
Есть на витрине npm registry (MCP servers) (5)
-
rigour io.github.rigour-labs/rigour
Lets coding agents review their change, find an existing helper, and recall the team's lessons.
-
Local-first code intelligence for AI coding agents: natural-language + lexical repository search, exact source/symbol navigation, relationships, freshness, and indexing.
-
loki-mode io.github.asklokesh/loki-mode
Autonomous spec-to-product coding-agent CLI with an MCP server exposing 39 tools over stdio.
-
systemdox io.github.puglieseweb/systemdox
Your architecture in your agents' context: checks, specs, ADRs and docs over MCP, at write time.
-
Vorn MCP server — task management, git, and workflow tools for AI coding agents
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.