Proa documentation
Search and read official Proa Rust framework documentation. Public, read-only, no credentials.
MCP-сервер · от proa-web
Коротко
Proa documentation: MCP-сервер, издатель proa-web. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Последнее изменение мы зафиксировали 2026-11-04. Данные нашего прохода по витринам на 2026-11-04.
Что просит
- Работает удалённо
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Ссылка в один клик открывает клиент, и он просит подтвердить, прежде чем добавить сервер.
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как удалённый MCP-сервер
Собрано из того, что объявляет Official MCP Registry.
claude mcp add --transport http docs https://proa.so/mcp[mcp_servers.docs]
url = "https://proa.so/mcp"{
"mcpServers": {
"docs": {
"url": "https://proa.so/mcp"
}
}
}Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Official MCP Registry (Открыть запись реестра) | Опубликован | 1.0.0 | Форки (GitHub): 21 Звёзды (GitHub): 380 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Как менялись числа
- 2026-11-0320
- 2026-11-0421
- 2026-10-30363
- 2026-10-31370
- 2026-11-01376
- 2026-11-03380
- 2026-11-04380
Каждая точка: день, когда мы прочитали другое число; ровные участки: дни, когда число не менялось. Числа разных витрин никогда не складываются.
Что менялось
- Стал продуктом, за которым мы следим
- Official MCP Registry: появился
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
Explore the Claude Code CLI source — browse tools, commands, search code, and more.
-
Explore the Claude Code CLI source — browse tools, commands, search code, and more.
-
GetLib MCP - powerful modular self-hostable library docs MCP server and dashboard (Context7 alternative)
-
Search the CodeTrendy directory of websites and tools. Read-only, no API key.
-
devdocs-mcp io.github.madhan-g-p/devdocs-mcp
Local DevDocs MCP Server (Developer Docs with project specific context awareness)
-
30+ deterministic dev and delivery tools: linting, metrics, diagrams, model advice, AI-text checks.
-
Build and publish Overskill apps from Cursor, Claude, ChatGPT, or any MCP client.
-
AI agent discovers MCP servers from GitHub npm - analyzes APIs configs
-
Convert any GitHub repo to MCP server - automatic tool generation API wrap
-
The canonical Python stdlib oracle for AI coding agents — always free, always MIT, token-frugal.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине Claude Code: claude-plugins-community (5)
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
-
Search public open-source code, documentation, metadata, vulnerabilities, changelogs, and examples.
-
agent-discover io.github.keshrath/agent-discover
Find, install and enable MCP servers mid-session on any host, with consent and tool pinning
-
NerdyGeek gives Claude Code a version-aware documentation lookup tool that dynamically discovers official docs for frameworks and libraries, retrieves the most relevant sections…
-
Fetches curated, versioned API docs from Context Hub before writing code — so Claude uses current APIs instead of hallucinating from training data. Auto-installs via npx (no…
Есть на витрине Claude Code: claude-plugins-official (5)
-
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…
-
Appwrite tools for Claude Code, including SDK skills, Appwrite MCP servers, and deployment commands.
-
Deploy and manage apps, databases, and infrastructure on Railway. Covers project setup, deploys, environment configuration, networking, troubleshooting, and monitoring.
-
Build, iterate on, deploy, and manage Lovable apps from Claude Code. Bundles the official Lovable MCP server (remote, OAuth 2.1) and adds focused commands for the common…
-
Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.
Есть на витрине Claude: knowledge-work-plugins (5)
-
Build and deploy Base44 full-stack apps with CLI project management and JavaScript/TypeScript SDK development skills
-
Deploy, debug, and monitor applications on Render. Includes skills, an agent, slash commands, and a render.yaml validation hook.
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
MCP server for terminal commands, file operations, and process management
-
Keep your coding agent up to date with the latest web best practices
Есть на витрине Codex: openai-curated (openai/plugins) (5)
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Use MagicPath to find, inspect, install, create, and edit UI components from Codex.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
Есть на витрине Community GitHub marketplaces (5)
-
Developer tools for three.ws: scaffold agents, configure MCP servers, and get runnable code examples for paid MCP tools.
-
Fetch up-to-date library documentation via Context7 REST API. Lightweight alternative to Context7 MCP with no persistent context overhead. Covers 50+ libraries including React…
-
Retrieve up-to-date documentation for software libraries, frameworks, and components via the Context7 API. This skill should be used when looking up documentation for any…
-
chatgpt-app-builder
Build, modify, debug, migrate, review, or verify TypeScript MCP servers and MCP Apps with mcp-use.
-
Use this agent when you need to fetch and utilize documentation from Context7 for specific libraries or frameworks. Examples: <example>Context: User is building a React…
Есть на витрине 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 Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
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 TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Access official Microsoft documentation, API references, and code samples for Azure, .NET, Windows, and more.
Есть на витрине Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Advanced Security plugin for GitHub Copilot.
Есть на витрине Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
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.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Scaffold and validate new agent plugins.
Есть на витрине Docker MCP Catalog (5)
-
Ref powerful search tool connets your coding tools with documentation context. It includes an up-to-date index of public documentation and it can ingest your private documentation…
-
Access the latest Astro web framework documentation, guides, and API references.
-
next-devtools-mcp is a Model Context Protocol (MCP) server that provides Next.js development tools and utilities for AI coding assistants.
-
Tools and resources for writing Effect code in Typescript.
-
Provide LLMs hosted, clean markdown documentation of libraries and frameworks.
Есть на витрине Official MCP Registry (5)
-
Explore the Claude Code CLI source — browse tools, commands, search code, and more.
-
Explore the Claude Code CLI source — browse tools, commands, search code, and more.
-
Search the CodeTrendy directory of websites and tools. Read-only, no API key.
-
devdocs-mcp io.github.madhan-g-p/devdocs-mcp
Local DevDocs MCP Server (Developer Docs with project specific context awareness)
-
30+ deterministic dev and delivery tools: linting, metrics, diagrams, model advice, AI-text checks.
Есть на витрине PyPI (MCP servers) (5)
-
Deploy production REST and Neo4j Graph APIs from JSON schemas in seconds.
-
Source-grounded Quickshell, QML, and Qt documentation, examples, and real-world implementations.
-
A code intelligence graph that gives AI coding agents deep, token-efficient understanding of your codebase.
-
builtwith com.mcparmory/builtwith
Detect technologies and tech stacks used on any website
-
memex io.github.STiFLeR7/memex
Temporal engineering context for agents via MCP.
Есть на витрине npm registry (MCP servers) (5)
-
GetLib MCP - powerful modular self-hostable library docs MCP server and dashboard (Context7 alternative)
-
RubyCLI — AI coding agent powered by RubyCLI Cloud. Derived from OpenCLI (MIT).
-
Official MCP server for esa.io - a documentation sharing service for teams
-
mcp-probe-kit io.github.mybolide/mcp-probe-kit
Spec-driven dev workflow MCP: start_* orchestration, memory, GitNexus, quality gates.
-
Reverse engineer anything from your terminal or agent with one CLI and MCP server.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.