Imandra

Imandra provides automated reasoning and formal verification as a cloud service, with CodeLogician as its main tool for AI-assisted coding. It turns source code into a mathematical model so assistants can prove properties, find hidden bugs and generate rigorous tests.

CodeLogician analyzes a project's files and dependencies and builds a single MetaModel covering every type, state, function and behavioral region. Coding assistants can then query that model to answer deep questions about behavior, produce test cases with coverage metrics, and check planned changes before they are made.

The company describes this as neurosymbolic AI, combining LLMs with symbolic logic, and targets areas where correctness matters, such as financial infrastructure and regulated industries. It publishes benchmark research comparing LLM-only reasoning about software with LLMs augmented by its tools.