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

Detailed instructions for each server can be found on the Universe Gallery. This includes setup guides for Cursor, Claude Code, Windsurf, GitHub Copilot, and others.

Imandra’s MCP servers are all availably remotely via the Streamable HTTP transport, with full OAuth support (including dynamic client registration). Use the URL https://api.imandra.ai/v1beta1/tools/mcp/{SERVER_ID} to access a server over the remote MCP protocol.

For older clients, you can use Imandra’s mcp-proxy to access Imandra Universe MCP servers via the stdio MCP transport. Setup instructions are specific to your MCP host, but typically you just need to configure the IMANDRA_MCP_SERVER environment variable alongside the core proxy command..

Coming soon

Integrations with AI web applications like ChatGPT and Claude are under development. If you use another MCP client and would like to see setup instructions documented on the gallery, please let us know!