Docs & Reference
806 results
- MCP DBLPszeiderSearches the DBLP computer science bibliography and retrieves publication records for LLMs.
- MCP Logicangrysky56Automated reasoning with Prover9 and Mace4: proves logical theorems and finds models or counterexamples.
- Pronounceanzy-renlab-aiSourced dictionary of how developers pronounce tech terms such as kubectl and nginx, with IPA, respellings and alternate readings.
- Mendeley MCPpallaprolusSearches your Mendeley library, browses folders, reads document metadata, searches the global catalog and adds papers to your collection.
- PubMed SearchwaveloveySearches the PubMed database of biomedical and life science literature and returns matching articles.
- effect-mcpniklaserikA mcp server for fetching the Effect-ts documentation
- MCP-Slicer - 3D Slicer 模型上下文协议集成zhaoyoujA Model Context Protocol server for 3D Slicer integration
- co-pymolsoo-jeongkimPyMOL plugin - drive PyMOL from Claude Code, Codex, Cursor, or any MCP client.
- MITRE ATT&CK MCP 服务器stoykyA Model-Context Protocol server for the MITRE ATT&CK knowledge base
- MCP Doc SearchalizdavoodiCrawls websites and library documentation into Markdown and makes it searchable over MCP.
- JW MCP ServeradvenimusWorks with JW.org content: Bible scripture lookup with study notes, workbook materials, Watchtower articles and video captions.
- Qiskit Documentation MCP ServerQiskitMCP server for querying and retrieving Qiskit documentation, guides, and API references
- jurisdrussellbrennerjurisd is an open, local-first research and drafting workbench for AU/NZ law. It gives you, or the AI assistant you already use, fast answers from legislation and case law where every claim traces back to the primary source.
- UniFi Applications MCPKallistoXMakes the official UniFi API documentation searchable: endpoint search, schema details and code examples. Read-only, no controller access.
- Brazilian Law MCPpdmttLets agents research Brazilian law using official sources.
- Ferritin — Rust documentationferritinRust documentation
- godoc MCP ServeryikakiaLooks up Go packages and their documentation on pkg.go.dev for coding agents.
- Laravel MCP CompanionbrianirishA Laravel developer's MCP companion. Get the absolute best advice, recommendations, and up-to-date documentation for the entire Laravel ecosystem.
- US Legal MCPJamesANZGives agents access to US federal legislation texts for legal research.
- Baseline MCP ServeryamanokuLooks up the Baseline browser-support status of specific Web APIs using the Web Platform API.
- BioThings MCPLongevity GenieQueries the BioThings API for genes, genetic variants, drugs and taxonomy information.
- Atlas Docs MCPCartographServes hosted, clean Markdown versions of library and framework documentation so agents can look up technical docs.
- Congress MCPamurshakQueries legislative data such as bills and members from the Congress.gov API.
- Documentation ExtractornirholasExtract documentation for AI agents from any site with llms.txt support. Features MCP server, REST API, batch processing, and multiple export formats.