Imandra
- Company typePrivate
- Founded2015
- HeadquartersAustin, United States
- Headcount11–50
- GTM typeB2B
- OfferingSoftware
Imandra firmographics
Firmographics- Name
- Imandra
- Legal name
- Imandra Inc.
- Website
- https://imandra.ai
- Company type
- Private
- Founded year
- 2015
- Operating status
- Operating
- Headcount range
- 11–50 employees
- Ownership category
- akta.pro rank
Imandra industry classification
Industry- Product category
- Automated Reasoning / Formal Verification Software
- NAICS
- Computer Systems Design and Related Services (54151), Computer Systems Design Services (541512), Custom Computer Programming Services (541511), Software Publishers (5132)
- SIC
- Services-Computer Integrated Systems Design (7373), Services-Prepackaged Software (7372), Services-Computer Programming Services (7371)
- akta.pro primary industry
- AI Application Enablement Platforms (Copilot/Agent Frameworks, SDKs) (HDAEANAJ)
- akta.pro secondary industries
- Model Serving, Inference & Deployment Platforms (APIs, Edge/On-Prem) (HDAEANAC), Agents & Autonomous Workflows (Tool Use, Planning, Multi-Agent) (HDAAACAF), AI/ML Solution Integration & MLOps Enablement (BPAEAAAJ)
Keywords
Where Imandra is headquartered
LocationHeadquarters
- HQ city
- Austin
- HQ country
- United States
- HQ region
- North America
Offices2 records
Markets served
Imandra business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Personnel, Technology or R&D, Infrastructure, Marketing or Sales, Operations
Revenue model
- Subscription Plans: Tiered subscription model via Imandra Universe platform offering Builder ($25/month), Pro ($129/month), and Team ($799/month) plans with cloud-hosted reasoning services.
- API Access and Usage: Revenue from API access to Reasoning as a Service capabilities via Imandra Universe, including deductive reasoning, formal verification, inductive inference, causal reasoning, geometrical reasoning, and constraint solving APIs.
- Enterprise Solutions: Custom enterprise engagements for financial exchanges, trading venues, and government agencies requiring specialized verification, testing, and compliance solutions.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Subscription | Monthly | Builder - Free for first 7 days, $25/month for individual builders needing predictable usage |
| Subscription | Monthly | Pro - $129/month for advanced users running heavier reasoning workloads |
| Subscription | Monthly | Team - $799/month for collaboration and scale for teams shipping reasoning systems |
Go-to-market motion4 records
Distribution channels6 records
Marketing channels10 records
Imandra product offering
Product offeringCore offering
Imandra builds a cloud-scale automated reasoning platform delivered as Reasoning-as-a-Service via its Imandra Universe ecosystem. The core offering centers on the ImandraX reasoning engine, the CodeLogician neurosymbolic AI agent for mathematical code reasoning, and domain-specific solutions such as Imandra Markets (for trading venues), Imandra Connectivity (for FIX protocol), Imandra SysML (for systems modeling), and the Imandra Protocol Language. Customers access these capabilities through subscription plans, Python APIs, MCP-based integrations with AI assistants, and VS Code extensions to apply formal verification, state-space analysis, and logical reasoning to complex software and financial systems.
Product overview
Imandra is an AI company pioneering Reasoning-as-a-Service platforms for automated logical reasoning. The core offering is Imandra Universe, an ecosystem through which ImandraX (the flagship automated reasoning engine), CodeLogician (neurosymbolic AI agent for code reasoning), and other reasoning tools are delivered. Imandra's product portfolio spans domain-specific solutions including Imandra Markets for financial exchanges and trading venues, Imandra Connectivity for FIX protocol connectivity, Imandra SysML for systems modeling, and Imandra Protocol Language (IPL) for interface specification. The platform also includes the Gamma Statechart Composition Framework for SysML v2 verification and specialized AI assistants like FIX Wizard for capital markets onboarding. All offerings leverage Imandra's core automated reasoning technology for formal verification, state-space analysis, and logical reasoning across financial services, government, and safety-critical industries.
Differentiator
Problem solved
Functional benefit
Brands
- Imandra Universe: The ecosystem through which ImandraX, CodeLogician, and other reasoning tools are delivered. A platform for Neurosymbolic AI Agents with Logical Reasoning via Model Context Protocol.
- CodeLogician
- ImandraX
- Imandra Markets
- Imandra Connectivity
- Imandra SysML
- Imandra Protocol Language (IPL)
Products and services
- Imandra Universe Cloud platform that delivers Imandra's Reasoning-as-a-Service capabilities, exposing APIs and MCP-based integrations for AI assistants (ChatGPT, Claude, Cursor) to delegate complex reasoning tasks to symbolic logical reasoning engines.
- ImandraX Next-generation automated reasoning engine delivering advances in proof automation, state-space decomposition, and formal verification of programs and algorithms, with a VS Code extension and Python API.
- CodeLogician Neurosymbolic AI agent that translates source code into precise mathematical models using ImandraX and applies symbolic reasoning to verify critical properties, explore state spaces, and automatically generate test suites.
- Imandra Markets AI-powered suite of services for exchanges and trading venues for designing, testing, calibrating, and auditing complex financial systems, creating 'digital twins' of trading venues powered by automated reasoning to ensure compliance and correct implementation.
- Imandra Connectivity AI-powered solution for designing, auditing, and calibrating complex trading connectivity. Uses Imandra Protocol Language (IPL) to digitize FIX specifications and applies AI to auto-generate test cases and onboarding packs.
- FIX Wizard AI assistant built on a neuro-symbolic architecture that automatically reasons about complex financial protocols and APIs to support onboarding clients in capital markets.
- Imandra SysML Formal verification tool for SysML v2 models that verifies models satisfy requirements and generates test cases demonstrating model correctness, integrating with SysML v2 modeling environments through the industry-standard SysML v2 API.
- Imandra Protocol Language (IPL) Domain-specific language for encoding system interface specifications such as FIX protocols, creating mathematically precise models susceptible to automated reasoning, test case generation, on-demand simulators, and model-checking.
- Gamma Statechart Composition Framework Formal modeling and verification framework for SysML and SysML v2 created by Budapest University of Technology and Economics, supporting formal verification, test generation, and code generation for state machines and component-based systems. Available as the first third-party commercial reasoner in Imandra Universe.
Quantifiable outcome
- 41-47 percentage point accuracy improvement over LLM-only reasoning for software analysis
- +3 more outcomes
Companies that use Imandra
Customer profileNamed customers19 records
Segments4 records
Ideal customer profiles4 records
Imandra technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- Yes
- API docs
- API detail
Core technology
AI maturity
App detail
Integration6 records
AI capability9 records
Feature11 records
Imandra partnerships and signals
Strategic signalPartnerships
Five partnerships are on record, tiered minor and core.
- BTONminorBTON Financial is integrating Imandra Universe into their infrastructure for trustworthy AI solutions. BTON is committed to integrating rigorous and reliable tools and sees Imandra as enabling secure, high-performance solutions.
- Budapest University of Technology and Economics (BME)coreResearchers from BME developed the Gamma Statechart Composition Framework, which is now available as the first third-party commercial reasoner in Imandra Universe. Dr. Vince Molnar leads the Gamma project and is a core contributor to SysML specifications.
- Itiviti (ROS Industrial)coreItiviti partnered with Imandra to speed FIX onboarding through the ROS Industrial ecosystem. The partnership enables automated testing and verification of FIX connectivity solutions for manufacturing and industrial automation systems.
- Digital Twin ConsortiumcoreImandra is a member of the Digital Twin Consortium, collaborating with other member organizations to advance digital twin technology standards and applications in complex systems modeling and verification.
- World Economic Forum (WEF)coreWEF highlighted Imandra's unique position to pave the way for scalable, AI-powered Model-Based Software Engineering within financial markets in their detailed report on the next evolution of innovation in financial services.
Scale indicators3 records
Recent moves6 records
Expansion highlights5 records
Imandra competitors and assessment
Company assessmentDirect peers
- Runtime Verification: Runtime Verification provides formal verification and runtime monitoring tools for smart contracts and safety-critical software using theorem provers like K Framework. It is a direct peer to Imandra in formal-methods productization, with overlapping customer interest in regulated, high-assurance software.
- CertiK: CertiK applies formal verification, AI, and security auditing to blockchain smart contracts and Web3 applications. It is a direct competitor to Imandra in neurosymbolic formal verification, although CertiK focuses primarily on the blockchain vertical where Imandra's footprint is more concentrated in traditional financial exchanges.
- Galois: Galois is a research-driven company specializing in formal methods, cryptographic verification, and trustworthy AI for defense and intelligence customers. It is a direct peer given its overlap with Imandra's government and defense segment and shared foundation in formal verification research.
Emerging players
- Diffblue: Diffblue applies AI to automated unit test generation and code analysis for Java and other enterprise languages. It is an emerging peer to CodeLogician in AI-driven software analysis, though Diffblue focuses on test generation rather than full formal verification.
- Tabnine: Tabnine is an AI code assistant for enterprise developers focused on private, secure code generation and completion. It is an emerging peer in the AI-coding-assistant category that Imandra's CodeLogician targets as a value-add layer via MCP.
Broad incumbents
- Sourcegraph: Sourcegraph provides a code intelligence platform with search, code navigation, and AI-powered code analysis used by large engineering organizations. It is a broad incumbent adjacent to Imandra's CodeLogician offering for developers working with large codebases.
- Sonar: Sonar provides code quality and security analysis tools (SonarQube, SonarCloud) widely deployed across enterprise development teams. It is a broad incumbent in the developer code-analysis category where Imandra's CodeLogician competes for attention and budget.
- JetBrains Qodana: JetBrains Qodana is JetBrains' static code analysis platform, integrated across their IDEs and CI/CD pipelines. It is a broad incumbent in developer code-quality tooling, comparable to Imandra's VS Code extension and CI integration story for CodeLogician.
- SparkCognition: SparkCognition is an enterprise AI company applying machine learning to cybersecurity, predictive maintenance, and industrial use cases. It is a broad incumbent comparable to Imandra's enterprise AI positioning; COO Zehra Akbar joined Imandra from SparkCognition's SkyGrid joint venture with Boeing.
- Anysphere (Cursor): Anysphere builds Cursor, the AI code editor that integrates directly with Imandra's reasoning engines via MCP. It is a broad incumbent in AI-assisted coding that simultaneously acts as a distribution channel for and a potential competitor to Imandra's CodeLogician.
Market position
Strengths5 records
Weaknesses4 records
Competitive moat6 records
Key risks6 records
Key highlights7 records
Customer concentration
Imandra social profiles
Digital presenceImandra compliance and trust
Trust signalCompliance1 record
Imandra financial estimates
Financial estimateRevenue estimate
Valuation estimate
Imandra leadership team
Management profileNumber of profiles
Profiles17 records
Imandra subsidiaries and ownership
Company hierarchySubsidiaries1 record
Imandra funding detail
Funding detailFunding overview
Funding rounds6 records
Investors7 records
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Imandra M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Imandra
What does Imandra do?
Imandra builds a cloud-scale automated reasoning platform delivered as Reasoning-as-a-Service via its Imandra Universe ecosystem. The core offering centers on the ImandraX reasoning engine, the CodeLogician neurosymbolic AI agent for mathematical code reasoning, and domain-specific solutions such as Imandra Markets (for trading venues), Imandra Connectivity (for FIX protocol), Imandra SysML (for systems modeling), and the Imandra Protocol Language. Customers access these capabilities through subscription plans, Python APIs, MCP-based integrations with AI assistants, and VS Code extensions to apply formal verification, state-space analysis, and logical reasoning to complex software and financial systems.
Is Imandra a public or private company?
Imandra is a private company. It is classified as venture growth investor backed and is currently operating.
When was Imandra founded?
Imandra was founded in 2015. It employs 11 to 50 people.
Where is Imandra based?
Imandra is headquartered in Austin, United States, in the North America region.
How does Imandra make money?
Three revenue lines are on record. Subscription Plans are the primary driver. The others are API Access and Usage and enterprise Solutions.
Who are Imandra's main competitors?
Direct peers on record are Runtime Verification, CertiK and Galois. Emerging players are Diffblue and Tabnine. Broad incumbents are Sourcegraph, Sonar, JetBrains Qodana, SparkCognition and Anysphere (Cursor).
Does Imandra have an API?
Yes. 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. The platform provides a Python API for continuous integration with AI agent frameworks. Imandra Universe connects AI assistants like ChatGPT, Claude and Cursor via the Model Context Protocol (MCP) with a simple 10-second setup using an Imandra API key. Developer documentation is at imandrax.dev/docs.
What industry is Imandra in?
Imandra's product category is Automated Reasoning / Formal Verification Software. Its primary akta.pro industry code is HDAEANAJ, AI Application Enablement Platforms (Copilot/Agent Frameworks, SDKs), with a secondary code of HDAEANAC, Model Serving, Inference & Deployment Platforms (APIs, Edge/On-Prem). Its NAICS code is 54151 and its SIC code is 7373.