Learning & Documentation Servidores MCP

Tidymodels

Provides tools and resources for working with the tidymodels ecosystem in R.

Party Time

Responds with 'It's Party Time' when asked about the current time via the Machine Conversation Protocol.

Mermaid Chart

Automates the generation of Mermaid diagrams from code and beautifies SVG outputs, functioning as a powerful Model Context Protocol server.

Obsidian

Enables AI to control Obsidian notes through a local REST API and automate Git synchronization.

Ice Cream Topping Recommender

Demonstrates building interactive Model Context Protocol (MCP) tools with elicitation capabilities.

Streamable HTTP Calculator

Demonstrates building a stateful Model Context Protocol server with Streamable HTTP, featuring persistent sessions, full connection resumability, and an in-memory event store.

Java Documentation Publisher

Generate structured JSON documentation from Java source code or crawl existing HTML Javadoc for intelligent search capabilities.

Obsidian

Integrates Obsidian with the Model Context Protocol (MCP) to programmatically manage and enhance knowledge base operations.

PDFDancer

Provides AI coding assistants with searchable access to official PDFDancer SDK documentation.

Context7

Fetches current documentation and code examples for libraries and frameworks instantly to streamline coding workflows.

FOL Prover

Provides a Model Context Protocol server for first-order logic theorem proving, leveraging external provers like Vampire, E, and Prover9, alongside a built-in prover.

Local Development

Empowers AI assistants like Claude with a comprehensive suite of tools for local development, task management, and document generation.

Autodesk Alias

Integrates Autodesk Alias Python API documentation into AI assistants, enabling natural language search and retrieval.

Lexiang

Connect AI assistants to Lexiang enterprise knowledge bases for direct interaction and comprehensive content management.

Obsidian Vault

Provides Claude for Desktop with read-only access to Obsidian vaults, enabling full-text search, wikilink resolution, and backlink discovery within your notes.

HippoBox

Manages a personal knowledge base with CRUD operations, semantic search, and MCP tool integration.

Sim6502

Simulate, assemble, and debug 6502 family processors with an interactive monitor and an integrated MCP server for LLM interfaces.

PSCAD

Enables GitHub Copilot CLI to control PSCAD simulations and projects through its native automation API.

NotebookLM

Provides programmatic access to Google NotebookLM via a command-line interface and a Model Context Protocol (MCP) server, enabling AI agent integration with security fixes and FastMCP 1.0 compatibility.

NCERT

Transforms the NCERT/CBSE curriculum (Grades 7–12) into structured, queryable data via an MCP server and REST API.