Universe

Imandra Universe brings the science of automated logical reasoning to LLMs and the agents that use them to help us realize the promise of Artificial Intelligence. Never before has it been easier to add rigorous, scalable and auditable logical AI into your products and applications.

Authentication

To access Imandra Universe services, you’ll need an API key.

Sign up for an account at https://universe.imandra.ai/, and then create an API key at https://universe.imandra.ai/user/api-keys.

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). See the MCP page for details on setup and usage.

Code Logician

Installation

Get started by installing the Imandra CodeLogician VS Code extension (and supporting extensions for Python and Imandra X).

Usage

  1. Open a Python project in VS Code
  2. Open a Python file in the editor, and navigate to the Imandra CodeLogician view on the left to start reasoning about your code

Python library

Imandra Universe provides a Python library for accessing advanced automated reasoning functionality from Python applications.