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.

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

Installation

Get started by installing the imandra Python package:

Ready!

pip install imandra

Reasoners

from imandra.u.reasoners import Client

# Create a client for Imandra. A full list of available reasoners can be found at https://universe.imandra.ai/gallery
# client = Client("imandrax", api_key="...")
# API key will be taken from the IMANDRA_API_KEY environment variable if ommitted.
client = Client("imandrax")

# Specify your input problem in the appropriate format:
input = "let f x = x + 1\nverify(fun x -> f x > x)"

# Use Imandra Universe to reason through the problem
result = client.eval(input)

# Extract the reasoning results
print(result['results'][0])