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.

CodeLogician

CodeLogician is your neurosymbolic agent for reasoning mathematically about source code. See the CodeLogician page for detailed documentation and tutorials.

Python library

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