2881 Virtual MCP Server 03fa9d5c

Virtual MCP Server - Design Document

Date: 2026-02-10 Status: Implemented PR: #459 Issue: #129

1. Overview

A Virtual MCP Server is a gateway-level construct that aggregates tools, resources, and prompts from multiple backend MCP servers into a single unified endpoint. Instead of connecting to individual MCP servers, clients connect to a virtual server that presents a curated, access-controlled view of capabilities drawn from any combination of registered backends.

Problem Statement

Organizations deploying multiple MCP servers face several operational challenges:

• Client complexity: Each client must discover, connect to, and manage sessions with every individual MCP server it needs
• Tool sprawl: Teams cannot curate role-specific or project-specific tool bundles from existing servers
• Naming conflicts: Two backend servers may expose tools with the same name (e.g., both GitHub and GitLab expose a search tool)
• Version drift: No mechanism to pin a client to a specific backend server version while allowing others to upgrade
• Access control gaps: Authorization is all-or-nothing per server, with no per-tool granularity

Solution

Virtual MCP Servers solve these problems by introducing a composition layer at the gateway:

                    +-----------------------+
                    |   Virtual MCP Server  |
                    |  /virtual/dev-tools   |
                    +-----------+-----------+
                                |
              +-----------------+-----------------+
              |                 |                 |
        +-----+-----+    +-----+-----+    +-----+-----+
        |  /github   |    |  /slack   |    |  /jira    |
        |  Backend   |    |  Backend  |    |  Backend  |
        +-----+-----+    +-----+-----+    +-----+-----+
              |                 |                 |
         search-repo       post-message      create-ticket
         create-pr         list-channels     search-issues

A client connecting to /virtual/dev-tools sees search-repo, post-message, create-ticket, list-channels, create-pr, and search-issues as a single flat tool list, regardless of which backend provides each tool.

Key Capabilities

2. Architecture

System Context

+------------------------------------------------------------+
|                     MCP Gateway                             |
|                                                             |
|  +------------------+       +---------------------------+  |
|  |  FastAPI Registry |       |     Nginx Reverse Proxy   |  |
|  |  (Port 7860)      |       |     (Port 80/443)         |  |
|  |                    |       |                           |  |
|  |  - CRUD API        |<----->|  - Auth validation        |  |
|  |  - Tool catalog    |       |  - Location routing       |  |
|  |  - Session store   |       |  - Lua router execution   |  |
|  +------------------+       +-------------+-------------+  |
|                                           |                 |
|                              +------------+------------+    |
|                              | virtual_router.lua      |    |
|                              | - JSON-RPC dispatch     |    |
|                              | - Session multiplexing  |    |
|                              | - Tool aggregation      |    |
|                              | - Alias translation     |    |
|                              +------------+------------+    |
|                                           |                 |
+-------------------------------------------|----------------+
                                            |
                 +----------+----------+----------+
                 |          |          |          |
              Backend    Backend    Backend    Backend
              Server A   Server B   Server C   Server D

Request Lifecycle

1. Client sends an MCP JSON-RPC request to /virtual/{server-slug}
2. Nginx matches the location block and issues an auth_request to validate the JWT
3. The auth subrequest returns user scopes in response headers
4. Nginx invokes virtual_router.lua as the content handler
5. Lua loads the virtual server mapping file from disk (/etc/nginx/lua/virtual_mappings/{id}.json)
6. Lua validates user scopes against server-level required_scopes
7. Lua dispatches the request based on JSON-RPC method:
   • initialize: Creates a client session in MongoDB, returns MCP capabilities
   • tools/list: Fetches tools from each distinct backend (concurrent subrequests), applies aliases and scope filtering, returns merged list
   • tools/call: Looks up the tool in the mapping, translates alias back to original name, routes to the correct backend with the appropriate backend session
   • resources/list / prompts/list: Aggregates from all backends, builds a lookup map for subsequent read/get calls
   • resources/read / prompts/get: Uses the lookup map to route to the owning backend
   • ping: Responds directly without contacting backends

Component Responsibilities

3. Data Model

Virtual Server Configuration

The primary configuration document stored in MongoDB:

class VirtualServerConfig:
    path: str                           # e.g., "/virtual/dev-tools"
    server_name: str                    # e.g., "Dev Tools"
    description: Optional[str]
    tool_mappings: List[ToolMapping]    # At least one required
    required_scopes: List[str]         # Server-level scope requirements
    tool_scope_overrides: List[ToolScopeOverride]
    tags: List[str]
    supported_transports: List[str]    # Default: ["streamable-http"]
    is_enabled: bool                   # Controls nginx routing
    num_stars: float                   # Average rating (0.0-5.0)
    rating_details: List[dict]         # Individual ratings [{user, rating}]
    created_by: Optional[str]
    created_at: datetime
    updated_at: datetime

Tool Mapping

Each tool mapping connects a tool from a backend server to the virtual server:

class ToolMapping:
    tool_name: str                     # Original tool name on backend
    alias: Optional[str]               # Renamed tool in virtual server
    backend_server_path: str           # e.g., "/github"
    backend_version: Optional[str]     # Pin to specific version
    description_override: Optional[str]

The effective tool name exposed to clients is alias if set, otherwise tool_name. This enables conflict resolution when two backends expose tools with the same name.

Tool Scope Override

Per-tool access control layered on top of server-level scopes:

class ToolScopeOverride:
    tool_alias: str                    # Matches alias or tool_name
    required_scopes: List[str]         # Additional scopes for this tool

Backend Session

Tracks the session mapping between a client session and each backend:

class BackendSession:
    client_session_id: str
    backend_location: str              # e.g., "/_backend/github"
    backend_session_id: str
    created_at: datetime
    expires_at: datetime               # TTL-based expiry

Storage Design

Indexes on virtual_servers:

• is_enabled (for listing active servers)
• tags (for filtering)
• server_name (for search)
• Compound: is_enabled + tags

4. Session Management

Two-Tier Caching

The Lua router uses a two-tier cache to minimize latency for session lookups:

Request arrives
    |
    v
+-------------------+
| L1: Shared Dict   |  nginx shared memory (lua_shared_dict)
| TTL: 30 seconds   |  Key: "bsess:{client_session}:{backend_location}"
+--------+----------+
         | miss
         v
+-------------------+
| L2: MongoDB       |  via internal API subrequest
| TTL: 1 hour       |  GET /_internal/sessions/{client_session}/{backend}
+--------+----------+
         | miss
         v
+-------------------+
| Initialize        |  POST to backend with MCP initialize
| Backend Session   |  Store result in L1 + L2
+-------------------+

L1 Cache (Nginx Shared Dictionary):

• In-worker memory, no network calls
• 30-second TTL keeps sessions warm for burst traffic
• 2 MB allocation (lua_shared_dict virtual_server_map 2m)

L2 Cache (MongoDB):

• Survives nginx reloads and worker restarts
• 1-hour TTL with MongoDB TTL index on expires_at
• Accessed via FastAPI internal endpoints (/_internal/sessions/*)

Session Lifecycle

1. Client calls initialize on the virtual server endpoint
2. Lua generates a client session ID (vs-{uuid}) and stores it in MongoDB
3. Lua returns Mcp-Session-Id header to the client
4. On subsequent requests, client includes Mcp-Session-Id
5. For each backend involved in the request:
   • Check L1 cache for existing backend session
   • On miss, check L2 (MongoDB)
   • On miss, send initialize to the backend, store the returned session ID in both L1 and L2
6. If a backend returns HTTP 400+, Lua invalidates the stale session in both tiers and retries with a fresh session

5. Nginx Configuration Generation

When a virtual server is created, updated, toggled, or deleted, the registry regenerates the nginx configuration. This process is serialized with an asyncio.Lock to prevent concurrent reloads.

Generated Artifacts

For each enabled virtual server, three artifacts are produced:

1. Location Block (in nginx.conf):

# Virtual MCP Server: Dev Tools
location /virtual/dev-tools {
    set $virtual_server_id "dev-tools";
    auth_request /validate;
    auth_request_set $auth_scopes $upstream_http_x_scopes;
    auth_request_set $auth_user $upstream_http_x_user;

    rewrite_by_lua_file /etc/nginx/lua/capture_body.lua;
    content_by_lua_file /etc/nginx/lua/virtual_router.lua;
}

2. Internal Backend Locations (one per unique backend referenced by any virtual server):

location /_backend/github {
    internal;
    proxy_pass https://github-mcp.example.com;
    proxy_set_header Host github-mcp.example.com;
    # ... standard proxy headers
}

3. JSON Mapping File (/etc/nginx/lua/virtual_mappings/dev-tools.json):

{
  "required_scopes": ["mcp-access"],
  "tools": [
    {
      "name": "search-repo",
      "original_name": "search",
      "backend_location": "/_backend/github",
      "backend_version": null,
      "description": "Search repositories",
      "required_scopes": ["github-access"],
      "inputSchema": { "type": "object", "properties": { "query": { "type": "string" } } }
    }
  ],
  "tool_backend_map": {
    "search-repo": {
      "original_name": "search",
      "backend_location": "/_backend/github",
      "backend_version": null,
      "required_scopes": ["github-access"]
    }
  }
}

The mapping file is read by the Lua router at request time. It provides pre-computed lookup tables so the router does not need to query the registry API for tool metadata on every request.

6. Tool Aliasing and Version Pinning

Tool Aliasing

Tool aliasing solves naming conflicts and improves tool discoverability:

Backend /github exposes:  search, create_pr, list_repos
Backend /gitlab exposes:  search, create_mr, list_projects

Without aliasing, both search tools would collide. With aliasing:

{
  "tool_mappings": [
    { "tool_name": "search", "alias": "github-search", "backend_server_path": "/github" },
    { "tool_name": "search", "alias": "gitlab-search", "backend_server_path": "/gitlab" }
  ]
}

The client sees github-search and gitlab-search. When the client calls github-search, the Lua router translates it back to search before proxying to the /github backend.

Version Pinning

Version pinning locks a tool mapping to a specific backend server version:

{
  "tool_name": "search",
  "alias": "search-repo",
  "backend_server_path": "/github",
  "backend_version": "v1.5.0"
}

When proxying to the backend, the Lua router sets the X-MCP-Server-Version: v1.5.0 header. The nginx configuration for versioned backends uses separate internal locations:

location /_backend/github:v1.5.0 {
    internal;
    proxy_pass https://github-mcp.example.com;
    proxy_set_header X-MCP-Server-Version v1.5.0;
}

This enables scenarios where one virtual server pins to a stable version while another uses the latest.

7. Access Control

Scope Validation Flow

JWT Token --> auth_request --> Extract scopes --> Lua validation
                                                       |
                                                       v
                                          +---------------------------+
                                          | 1. Server-level scopes    |
                                          |    required_scopes: [A,B] |
                                          |    User must have A AND B |
                                          +---------------------------+
                                                       |
                                                       v
                                          +---------------------------+
                                          | 2. Tool-level scopes      |
                                          |    (on tools/call only)   |
                                          |    tool.required_scopes   |
                                          +---------------------------+
                                                       |
                                                       v
                                          +---------------------------+
                                          | 3. tools/list filtering   |
                                          |    Tools the user cannot  |
                                          |    access are excluded    |
                                          +---------------------------+

Server-level scopes are checked on every request. If the user lacks any required scope, the request is rejected with HTTP 403.

Tool-level scopes are checked on tools/call and used as a filter on tools/list. A user who has server-level access but lacks a specific tool scope will not see that tool in listings and cannot invoke it.

Example

{
  "required_scopes": ["mcp-access"],
  "tool_scope_overrides": [
    { "tool_alias": "search-repo", "required_scopes": ["github-read"] },
    { "tool_alias": "create-pr", "required_scopes": ["github-write"] }
  ]
}

8. JSON-RPC Method Routing

The Lua router (virtual_router.lua) implements the full MCP protocol for virtual endpoints:

Method Dispatch Table

HTTP Method Handling:

• POST - JSON-RPC requests and notifications
• GET - Returns HTTP 405 (server-initiated SSE streams not supported)
• DELETE - Returns HTTP 405 (client-initiated session termination not supported)

Concurrent Backend Requests

For aggregation methods (tools/list, resources/list, prompts/list), the Lua router issues concurrent subrequests to all distinct backend locations using ngx.location.capture_multi(). This parallelizes backend calls and minimizes latency.

-- Pseudocode for concurrent tool aggregation
local requests = {}
for _, location in ipairs(distinct_backends) do
    table.insert(requests, { location, { method = ngx.HTTP_POST, body = tools_list_body } })
end
local responses = { ngx.location.capture_multi(unpack(requests)) }
-- Merge tools from all responses, apply aliases, filter by scope

9. API Endpoints

Management API

All management endpoints are served by FastAPI on the registry port.

Internal API (Lua Router <-> FastAPI)

These endpoints are marked internal in nginx and are only accessible from Lua subrequests:

Path Validation

Virtual server paths must match the pattern /virtual/{slug} where slug is lowercase alphanumeric with hyphens. Path traversal attacks are prevented by normalizing and validating paths before any database or filesystem operation.

Rating Endpoints

Virtual servers support user ratings (1-5 stars):

Rating Request:

{
  "rating": 4
}

Rating Response:

{
  "average_rating": 4.2,
  "message": "Rating submitted successfully"
}

Get Rating Response:

{
  "num_stars": 4.2,
  "rating_details": [
    {"user": "alice", "rating": 5},
    {"user": "bob", "rating": 4}
  ]
}

10. Search and Discovery

Virtual servers are indexed for semantic search alongside regular MCP servers and A2A agents.

Indexed Fields

The following fields are included in the vector embedding for semantic search:

• Server name
• Description
• Tags (prefixed with "Tags: ")
• Tool names (alias or original name from each tool mapping)
• Tool description overrides

Search Collection

Virtual servers are stored in the unified mcp_embeddings_{dimensions} collection (e.g., mcp_embeddings_384 for 384-dimension models) with entity_type: "virtual_server". This enables cross-entity search queries that return servers, agents, and virtual servers in a single response. The dimension suffix matches the configured embedding model (384 for sentence-transformers, 1536 for OpenAI/Bedrock Titan).

Search Document Structure

{
  "_id": "/virtual/dev-tools",
  "entity_type": "virtual_server",
  "path": "/virtual/dev-tools",
  "name": "Dev Tools",
  "description": "Aggregated development tools",
  "tags": ["development", "tools"],
  "is_enabled": true,
  "tools": [
    {"name": "github_search"},
    {"name": "jira_search"}
  ],
  "embedding": [0.12, -0.34, ...],
  "metadata": {
    "server_name": "Dev Tools",
    "num_tools": 5,
    "backend_count": 2,
    "backend_paths": ["/github", "/jira"],
    "required_scopes": ["mcp-access"],
    "supported_transports": ["streamable-http"],
    "created_by": "admin"
  }
}

Search Result Format

When virtual servers match a search query, they appear in the virtual_servers array:

{
  "servers": [...],
  "agents": [...],
  "virtual_servers": [
    {
      "entity_type": "virtual_server",
      "path": "/virtual/dev-tools",
      "server_name": "Dev Tools",
      "description": "Aggregated development tools",
      "relevance_score": 0.85,
      "tags": ["development", "tools"],
      "backend_paths": ["/github", "/jira"],
      "tool_count": 5,
      "matching_tools": [
        {"tool_name": "github_search"}
      ]
    }
  ],
  "tools": [...],
  "skills": [...]
}

Indexing Lifecycle

Virtual servers are indexed/re-indexed when:

• Created via POST /api/virtual-servers
• Updated via PUT /api/virtual-servers/{path}
• Toggled via POST /api/virtual-servers/{path}/toggle
• Deleted (removed from search index)

11. Frontend Management UI

The management UI provides a multi-step wizard for creating and editing virtual servers:

Wizard Steps

1. Basics: Server name (auto-generates path slug), description, tags, transport selection
2. Tool Selection: Interactive picker showing all available tools grouped by backend server, with search filtering
3. Configuration: Per-tool alias assignment, version pinning, scope overrides, description overrides
4. Review: Summary of the complete configuration before submission

Dashboard Integration

Virtual servers appear on the main dashboard alongside regular MCP servers. They are visually distinguished with a different color scheme and a "Virtual" badge. A dedicated "Virtual MCP" filter tab in the dashboard allows viewing only virtual servers.

Key Components

12. Validation and Error Handling

Creation-Time Validation

When a virtual server is created or updated, the service layer performs the following validations:

1. Path format: Must match /virtual/[a-z0-9-]+
2. Path uniqueness: No existing virtual server with the same path
3. Backend existence: Each backend_server_path must reference a registered, enabled server
4. Tool existence: Each tool_name must exist in the referenced backend's tool list
5. Alias uniqueness: No two tool mappings may produce the same effective name
6. Scope override validity: Each tool_alias in scope overrides must match an existing tool mapping

Runtime Error Handling

13. Performance Characteristics

Caching Strategy

Stress Test Results

Testing with a production-representative configuration:

Latency Overhead

Virtual server routing adds overhead compared to direct backend access due to session lookup, tool mapping resolution, and (for aggregation methods) concurrent subrequests. The latency benchmarks measure 20 iterations per method to characterize this overhead under realistic conditions.

14. Deployment Considerations

Multi-Instance Behavior

• Each nginx worker maintains its own L1 shared dict cache
• L2 (MongoDB) provides cross-instance session consistency
• Nginx config regeneration is triggered by the registry instance that receives the mutation
• In multi-registry deployments, a mechanism for cross-instance nginx reload propagation would be needed (not currently implemented)

Configuration Reload

When a virtual server is mutated:

1. The service acquires a global asyncio.Lock to serialize reload operations
2. Full nginx configuration is regenerated (including all virtual and non-virtual servers)
3. Mapping JSON files are written to disk
4. nginx -s reload is issued
5. The lock is released

This approach is simple and correct but means all virtual server mutations are serialized. For typical management workloads (infrequent CRUD), this is not a bottleneck.

Resource Sizing

15. Limitations and Future Work

Current Limitations

• No resource subscriptions: listChanged notifications from backends are not propagated through virtual servers
• No per-backend load balancing: Each backend location maps to a single upstream; horizontal scaling of a backend requires external load balancing
• No streaming support: The current Lua router buffers full request/response bodies; SSE streaming through virtual servers is not implemented
• Single-instance nginx reload: Config regeneration assumes a single nginx instance; multi-instance coordination is not built in

Future Enhancements

• Dynamic tool routing: Route a single tool to different backends based on request parameters or user attributes
• Weighted backend selection: Load balance across multiple instances of the same backend
• SSE pass-through: Support streaming transports for long-running tool calls
• Cross-instance reload coordination: Notify peer registry instances when nginx config changes
• Tool usage analytics: Track per-tool invocation counts, latency, and error rates at the virtual server level
• Template virtual servers: Pre-defined virtual server templates for common tool bundles

16. File Reference

registry/
  schemas/
    virtual_server_models.py          # Pydantic data models
    backend_session_models.py         # Session tracking models
  services/
    virtual_server_service.py         # Business logic and validation
    tool_catalog_service.py           # Cross-backend tool aggregation
  repositories/
    interfaces.py                     # Repository interfaces
    documentdb/
      virtual_server_repository.py    # MongoDB persistence
      backend_session_repository.py   # Session persistence with TTL
  api/
    virtual_server_routes.py          # REST API endpoints
  core/
    nginx_service.py                  # Nginx config + mapping generation

docker/
  lua/
    virtual_router.lua                # Lua JSON-RPC router

frontend/
  src/
    types/virtualServer.ts            # TypeScript type definitions
    hooks/useVirtualServers.ts        # React data hooks
    components/
      VirtualServerList.tsx           # List/table view
      VirtualServerCard.tsx           # Dashboard card
      VirtualServerForm.tsx           # Multi-step wizard
      ToolSelector.tsx                # Interactive tool picker

tests/
  unit/
    test_virtual_server_models.py     # Model validation tests
    test_virtual_server_service.py    # Service layer tests
    test_virtual_server_nginx.py      # Nginx generation tests
    test_backend_session_repository.py # Session repository tests
  integration/
    test_virtual_server_api.py        # API endpoint tests
  e2e/
    test_virtual_mcp_protocol.py      # MCP protocol E2E tests
    test_virtual_mcp_latency.py       # Latency benchmarks
    test_virtual_mcp_stress.py        # Stress tests