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
- Open a Python project in VS Code
- 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.