Learning & Documentation Servidores MCP

Server Learning

Provides a learning environment for understanding and implementing Model Context Protocol (MCP) servers.

Model Context Protocol

Enables AI models to interact with external tools and data sources.

Knowledge Service

Manages a comprehensive knowledge and rules suite for Tailscale networks, featuring semantic search capabilities powered by libSQL vectors and OpenAI embeddings.

Formath

Transforms mathematical content from TeX documents into a structured intermediate representation (Formath) and subsequently into Lean code.

Moon Phase

Calculates moon phases and illumination based on date and time, providing a clear example of an MCP server.

AgenticRAG

Provides agentic retrieval-augmented generation capabilities for intelligent codebase processing via the Model Context Protocol (MCP).

Go

Enables AI assistants to access Go documentation and package listings via the Model Context Protocol.

Terminal

Enables remote execution of shell commands and access to documentation via a Model Context Protocol server.

Test Project

Demonstrates and tests various mechanisms of the Model Context Protocol (MCP) using its TypeScript SDK.