Imandra's thesis is that statistical AI alone cannot be trusted with systems where correctness matters. Its neurosymbolic approach pairs the pattern recognition and generation abilities of large language models with symbolic reasoning that can prove or disprove claims about how a system behaves. The result is an AI stack with a logical audit trail rather than an unexplained guess, which is what makes it usable in regulated industries such as capital markets, defense, and autonomous systems.
The most visible product is CodeLogician. It reads a codebase, resolves dependencies, and produces a formal MetaModel describing types, states, relations, functions, and behavioral regions. AI coding assistants can then query that model to answer deep behavioral questions, plan changes, and verify correctness before merging. Imandra publishes benchmark work showing that formal reasoning closes a substantial accuracy gap on software-analysis tasks, and demo material pairing the engine with Codex, Cursor, and Gemini.
Imandra is delivered through Imandra Universe, the ecosystem that hosts ImandraX, CodeLogician, and related reasoning tools. Self-serve plans start with a 7-day trial and tiered monthly subscriptions, while enterprise and on-premises configurations are quoted individually. Imandra's automated reasoning framework for capital markets is also listed on the Microsoft Marketplace, and the company works with institutions including DARPA, Goldman Sachs, Citi, KPMG, and Euronext.
