MCP Server Examples

Model Context Protocol (MCP) server implementations and examples.

What is MCP?

The Model Context Protocol is a standard for connecting AI assistants to external tools and data sources.

Official MCP Servers

• HOL Registry MCP - Agent discovery and registry integration (HOL.org)
• Filesystem MCP - Local file access
• GitHub MCP - Repository operations
• PostgreSQL MCP - Database queries

Example: HOL Registry MCP

The HOL Registry provides an MCP server for agent discovery:

{
  "mcpServers": {
    "hol-registry": {
      "url": "https://hol.org/mcp",
      "description": "Universal Agent Registry"
    }
  }
}

Resources

• HOL Documentation
• MCP Specification
• HOL SDK

Contributing

Add your MCP server examples via PR.