Model Context Protocol (MCP)

Imandra Universe enables you to augment LLMs with formal reasoning by providing capabilities (resources, prompts, and tools) through the Model Context Protocol (MCP).

A list of available MCP servers can be found on the Universe Gallery.

Setup

We recommend you use Imandra’s mcp-proxy to access Imandra Universe MCP servers via the stdio MCP transport, which most MCP hosts support. Setup instructions are specific to your MCP host, but typically you just need to configure the IMANDRA_MCP_SERVER environment variable (to specify which MCP server you wish to use) alongside the core proxy command.

Cursor, Windsurf

Use the below configuration block for adding the imandrax MCP server, adding it to your MCP configuration file:

• ~/.cursor/mcp.json for Cursor
• ~/.codeium/windsurf/mcp_config.json for Windsurf

{
  "mcpServers": {
    "imandrax": {
      "command": "npx",
      "env": {
        "IMANDRA_MCP_SERVER": "imandrax",
        "IMANDRA_API_KEY": "..."
      },
      "args": [
        "-y",
        "github:imandra-ai/mcp-proxy"
      ]
    }
  }
}

GitHub Copilot (VS Code)

VS Code allows interaction with Streamable HTTP MCP servers natively, including custom headers. Add the configuration below (merging with your existing mcp config if present) to your VS Code preferences file.

Clicking the start action above each server will prompt you to input your API key (on first run) and then connect to the MCP server.

{
  "mcp": {
    "inputs": [
      {
        "type": "promptString",
        "id": "imandra-api-key",
        "description": "Imandra Universe API Key",
        "password": true
      }
    ],
    "servers": {
      "imandrax": {
        "type": "http",
        "url": "https://api.imandra.ai/v1beta1/tools/mcp/imandrax",
        "headers":{
          "Authorization": "Bearer ${input:imandra-api-key}"
        }
      },
      "universe-reasoner_gateway": {
        "type": "http",
        "url": "https://api.imandra.ai/v1beta1/tools/mcp/reasoner_gateway",
        "headers":{
          "Authorization": "Bearer ${input:imandra-api-key}"
        }
      }
    }
  }
}

Other HTTP clients

Imandra Universe MCP servers are available remotely using the Streamable HTTP transport. Unfortunately, few MCP hosts currently support this transport natively, and even fewer provide enough flexibility in authentication configuration to support the Imandra Universe authentication scheme. If you have a use case for native HTTP-based access to Imandra Universe MCP servers, get in touch and we’d be happy to discuss.