Imandra Inc. Unveils Imandra Universe: The Platform for Neurosymbolic AI Agents with Logical Reasoning
AI Assistants like ChatGPT, Claude and Cursor Can Now Tap Directly into Logical Reasoning via Imandra Universe's Reasoning as a Service® MCP Servers
AUSTIN, Texas, June 4, 2025 - Imandra Inc., the global leader in cloud-scale automated reasoning, today announced the launch of Imandra Universe, a transformative platform that brings advanced logical reasoning directly to AI assistants like ChatGPT, Claude and Cursor via the Model Context Protocol (MCP). With a simple 10-second setup and an Imandra API key, users can now enable foundation models and AI assistants to delegate complex reasoning tasks to symbolic logical reasoning engines in Imandra Universe, allowing AI systems to think more precisely, explain their logic and verify outputs with mathematical rigor.
This technology enables real-time neurosymbolic AI to enhance practical workflows. For instance, when Claude is tasked with planning a multi-step event, it may overlook key constraints. However, by integrating Imandra Universe, it can seamlessly delegate complex reasoning tasks to Imandra's symbolic reasoning engines, solving the tasks with mathematical precision. This stands as one of the clearest real-world demonstrations of neurosymbolic AI in action—and thanks to MCP, it requires virtually no integration overhead.
Built on decades of pioneering research in formal methods, artificial intelligence (AI) and mathematical logic, Imandra Universe delivers world-class Reasoning as a Service® for AI systems. In addition to MCP, Imandra Universe is designed for seamless integration with modern agentic AI frameworks like LangChain's LangGraph, enabling developers to plug advanced logical capabilities directly into their AI systems making agents smarter, safer and more trustworthy.
At launch, Imandra Universe offers a rich suite of APIs for:
• Deductive reasoning in first- and higher-order logic
• Formal verification of programs and algorithms
• Inductive inference and conjecture synthesis
• Causal and probabilistic reasoning under uncertainty
• Geometrical reasoning for physical AI and nonlinear control, and
• Constraint solving for combinatorial reasoning, scheduling and planning
These reasoning tools address a critical need in the generative AI space: enabling systems not only to generate outputs, but also to explain, justify and verify them. While large language models (LLMs) like ChatGPT excel at generating text, they often struggle with logical consistency exhibiting issues including hallucinations, errors and a lack of transparency. Imandra Universe bridges this gap with its neurosymbolic architecture, seamlessly integrating statistical AI with symbolic logic to anchor AI decisions in mathematical foundations.
"The launch of Imandra Universe marks a transformative moment for AI." says Denis Ignatovich, Co-CEO and Co-founder of Imandra Inc. "By combining formal methods, AI, and logic, we are empowering organizations to create neurosymbolic agents with unparalleled reasoning capabilities. This platform reflects our commitment to innovation and excellence, setting a new standard for cloud-scale reasoning infrastructure."
Unlike platforms that center exclusively on LLMs, Imandra Universe offers both advanced reasoning engines and intelligent agents designed to leverage them — delivering a complete stack for scaling reasoning-enabled AI. It offers access to open source tools like Prover9, commercial Imandra-built products like ImandraX and 3rd party commercial products.
The first 3rd party commercial reasoner in Imandra Universe is The Gamma Statechart Composition Framework (or "Gamma" ) for design and verification of reactive systems. Created by researchers of the Dept. of Artificial Intelligence and Systems Engineering at the Budapest University of Technology and Economics (BME) - many of whom have been directly involved in the development of SysML v2 - Gamma supports formal verification, test generation, code generation and more, targeting an expanding subset of the language with a particular focus on state machines and component-based systems. It integrates multiple formal analysis backends to efficiently process a wide range of models, including Imandra's powerful automated reasoning engine.
Systems Modeling Language (SysML) is a modeling language widely used in safety-critical industries (e.g., automotive and defense). SysML v2 is the new version of the language with significant improvements enabling the application of automated reasoning to ensure correctness of design and system integration, and to apply rigorous testing. SysML v2 will bring significant improvements and efficiencies to its suppliers, helping to avoid the kinds of delays and budget overruns that plagued the F-35 program.
"As a key milestone in our mission to empower systems engineers, we are proud to make Gamma available through the Imandra Universe and bring formal reasoning and analysis capabilities to your SysML v2 models" said Dr. Vince Molnár, Associate Professor at BME, leader of the Gamma project and a core contributor to the SysML specifications.
Flagship Components of Imandra Universe Include:
• ImandraX - Imandra's next-generation reasoning engine delivering significant advances in proof automation, a new state-space decomposition engine with 4x performance gains, and deep integration with development tools like VS Code, enabling parallel proof development
• Imandra CodeLogician - a neurosymbolic AI agent designed to reason about source code. It uses LLMs to help translate programs into precise formal models, and then applies symbolic reasoning to verify critical properties, explore state spaces, and automatically generate test suites
• The Gamma framework for systems engineering - a formal modeling and verification framework for SysML and SysMLv2
Imandra Universe builds on the successful application of automated reasoning by Imandra in financial services where many major companies already rely on it for modelling and reasoning about complex algorithms.
"At BTON, we're committed to integrating only the most rigorous and reliable tools into our infrastructure," said Dan Shepherd, CEO of BTON. "Imandra Universe represents a leap forward in trustworthy AI, bringing provable reasoning into the mainstream. Working with Imandra allows us to continue delivering secure, high-performance solutions while scaling efficiently with our partners. We're excited to see this innovation reach a broader community of builders."
Imandra Co-CEO and Co-founder Dr. Grant Passmore stated, "The future of AI is neurosymbolic. Imandra Universe empowers AI builders to create neurosymbolic agents and systems with powerful reasoning skills grounded in rigorous logic. By combining LLMs and symbolic reasoning engines, we can build AI systems that reason deeply, explain their decisions with transparency, and validate their outputs. And now with MCP, adding powerful domain-specific reasoning skills into your AI assistants can be done in seconds. We could not be more excited to bring Imandra Universe and scalable, frictionless neurosymbolic AI to the world! "
The future of AI is neurosymbolic. Imandra Universe is how we build it. Learn more at universe.imandra.ai
About Imandra, Inc.
Imandra is a global AI company pioneering Reasoning-as-a-Service® for bringing rigorous automated logical reasoning into modern AI systems. From formal verification to neurosymbolic agents, Imandra's Reasoning-as-a-Service® platform is paving the way for competent AI systems with powerful, scalable and trustworthy reasoning. To learn more, visit our website at www.imandra.ai or follow us on LinkedIn.
For more information, contact:
Imandra Communications Team
media@imandra.ai