Proa documentation
Search and read official Proa Rust framework documentation. Public, read-only, no credentials.
MCP-Server · von proa-web
Überblick
Proa documentation ist ein MCP-Server von proa-web. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Die letzte erfasste Änderung war am 2026-11-04. Stand unseres Marktplatz-Durchlaufs vom 2026-11-04.
Was es abfragt
- Läuft entfernt
Keiner der Marktplätze, die wir lesen, veröffentlicht seine Tools oder die abgefragten Einstellungen.
Was es deklariert, abfragt und ausführt, vollständig
Installieren Sie nur Plugins von Entwicklern, denen Sie vertrauen. Wir zeigen, was die Marktplätze veröffentlichen, und testen keine Plugins.
Funktioniert mit
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Ein Ein-Klick-Link öffnet den Client, der vor dem Hinzufügen des Servers um Bestätigung bittet.
Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.
Verbinden
Befehle und Konfigurationen nur aus den Angaben der Marktplätze. Wir führen sie nicht für Sie aus und testen keine Plugins.
Als entfernter MCP-Server
Erstellt aus den Angaben von 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"
}
}
}Wo es veröffentlicht ist
| Marktplatz | Status | Version | Zahlen | Verifiziert | Erstmals gesehen |
|---|---|---|---|---|---|
| Official MCP Registry (Eintrag in der Registry öffnen) | Gelistet | 1.0.0 | Forks (GitHub): 21 Sterne (GitHub): 380 |
Nicht markiert |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
Wie sich die Zahlen entwickelt haben
- 2026-11-0320
- 2026-11-0421
- 2026-10-30363
- 2026-10-31370
- 2026-11-01376
- 2026-11-03380
- 2026-11-04380
Jeder Punkt ist ein Tag, an dem wir eine andere Zahl gelesen haben; flache Abschnitte sind Tage ohne Veränderung. Zahlen verschiedener Marktplätze werden nie addiert.
Was sich geändert hat
- Wird seitdem als Produkt geführt
- Official MCP Registry: erschienen
Ähnliche Plugins
Produkte, deren eigene Namen, Beschreibungen, Werkzeuge und Skills diesem der Bedeutung nach am nächsten sind, auf allen Marktplätzen, die wir lesen. Die Nähe ist nur innerhalb dieser Liste geordnet.
-
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.
Ähnliche Plugins nach Marktplatz
Dieselbe Frage an jeden Marktplatz einzeln: Gibt es dort ein Gegenstück zu diesem Plugin?
Gelistet auf 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…
Gelistet auf 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.
Gelistet auf 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
Gelistet auf 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.
Gelistet auf 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…
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Nach Bedeutung gefunden, nicht über gemeinsamen Code oder ein gemeinsames Repository: Ähnliche Plugins bleiben getrennte Produkte, und dies ist weder eine Bewertung noch eine Empfehlung.
Möchten Sie dieses Zeichen für Ihr Plugin in unserem Katalog?
Belegen Sie mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag, dass Sie es pflegen, und Sie können dieses Zeichen auf der Karte zeigen, dazu Live-Banner für Ihre Website und Ihr README. So funktioniert die Verifizierung
Außerdem erhalten Sie Hinweise, wenn ein Marktplatz es aufnimmt, entfernt, sein Verified-Zeichen oder seine Anforderungen ändert, und sein Remote-Endpunkt wird wie ein Webdienst überwacht.
Daten von Official MCP Registry. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.