Imandra Inc.

Teams building AI systems that have to be provably correct, such as in financial services, defense or autonomous systems, are the ones who would reach for Imandra.

Imandra Inc. is the company behind Reasoning as a Service, a platform that adds automated logical reasoning to LLMs, applications and agentic workflows.

The aim is trustworthy neurosymbolic AI, where a language model's output can be checked by formal logic instead of taken on faith.

The product line is split into several parts: ICL CodeLogician, Imandra Universe, Imandra Core, Imandra Markets and Imandra Connectivity.

CodeLogician is the one most relevant to developers, since it sits in the AI code assistant and code review space.

Imandra Markets points at finance.

Other solution areas include formal verification, system integration, model-based software development and government work.

Imandra is used by researchers, corporations and government agencies worldwide.

It is a specialist platform rather than a general productivity app, so expect a learning curve if formal methods are new to you.