Imandra Universe is the central platform for getting an access to Imandra's automated reasoning tools — ImandraX, CodeLogician™, SpecLogician™, and more — through a single account.
Universe is where you manage everything you need to build with Imandra. It is the home for your subscription, your billing, and the API keys that connect our reasoning tools to your code, agents, and LLM workflows. One place to sign up, choose a plan, and control access and usage across every product.
Getting started
Three steps to start working with any Imandra tool:
- Sign up and choose a subscription plan — create your Universe account and pick the plan that fits your needs.
- Generate an API key — issue a key from your Universe dashboard.
- Connect the tools — use your key to access ImandraX, CodeLogician, SpecLogician, and future products from your own environment.