Proa documentation
Server Details
Search and read official Proa Rust framework documentation. Public, read-only, no credentials.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-11-25
- URL
- Repository
- Proa-Labs/proa
- GitHub Stars
- 356
TDQS
Score is being calculated.
Available Tools
2 toolsget_docRead-onlyIdempotentInspect
Read a complete official Proa documentation page as Markdown with its title, description, and canonical route. Supply a path returned by search_docs or resources/list. Only published documentation is accessible; arbitrary URLs and filesystem paths are not fetched.
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | Published route or Markdown path, for example /docs/core/html-rendering. |
Output Schema
| Name | Required | Description |
|---|---|---|
| path | Yes | |
| title | Yes | |
| markdown | Yes | |
| description | Yes | |
| markdown_url | Yes |
search_docsRead-onlyIdempotentInspect
Search official Proa Rust framework documentation by a case-insensitive phrase. Use this to find current APIs, render patterns, RSJS guidance, and deployment instructions. Returns titles, routes, Markdown URLs, and a pagination cursor; call get_doc with a returned path for the complete page.
| Name | Required | Description | Default |
|---|---|---|---|
| q | Yes | Phrase to find in document titles, descriptions, or Markdown. | |
| limit | No | Maximum results per page; defaults to 10. | |
| cursor | No | next_cursor from a preceding search with the same q. |
Output Schema
| Name | Required | Description |
|---|---|---|
| total | Yes | |
| results | Yes | |
| next_cursor | Yes | Opaque cursor for the next page, or null when the result set is complete. |
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
2 tool updates
- First observed
get_doc - First observed
search_docs
Related MCP Connectors
Search and read Rust documentation for the standard library and any crate on crates.io
Search and read Protoperfect Labs research, documentation and glossary. Read-only.
Search and read Empryo's documentation. Read-only, no auth, no local access.
Search and read the public Applivery docs (MDM & app distribution). Read-only, no auth.
Related MCP Servers
- AlicenseNot gradedqualityBmaintenanceEnables agents to search and read public Ravensight documentation over unauthenticated remote HTTP, retrieving cited excerpts and Markdown sections with revision-aware pagination. Provides a browsable index of document IDs and sections, with read-only, free access that cannot touch customer studios or player data.MIT
- AlicenseNot gradedqualityDmaintenanceServes RootApp documentation files with search and retrieval capabilities, enabling users to access specific docs, browse directory structure, and search across file names and content.AGPL 3.0
- AlicenseAqualityBmaintenanceSearch and retrieve Agent2Agent (A2A) protocol documentation using full-text search and section filtering.2MIT
- FlicenseNot gradedqualityDmaintenanceEnables searching and fetching documentation pages from a wide range of programming languages, frameworks, game engines, and tools. Supports multiple sources and returns relevant documentation snippets.1-
Glama MCP Gateway
Add one secure layer between your agents and this server.