II
Imandra Inc.
Imandra Inc. is the home of Reasoning as a Service®. Their platform, built on advances in automated reasoning, brings rigorous logical reasoning to mo
Updated: 2026-08-20
Download / Access
Web N/A
Windows N/A
macOS N/A
iOS N/A
Android N/A
Huawei N/A
Linux N/A
imandra.ai
II
Imandra Inc.
Imandra Inc. is the home of Reasoning as a Service®. Their platform, built on advances in automated reasoning, brings rigorous logical reasoning to mo
Get StartedLearn More
What is Imandra Inc.?
Imandra Inc. is the home of Reasoning as a Service®. Their platform, built on advances in automated reasoning, brings rigorous logical reasoning to modern AI systems. It is used by researchers, corporations, and government agencies worldwide. Imandra offers tools for integrating automated logical reasoning into LLMs, applications, and agentic workflows, fostering the creation of trustworthy Neurosymbolic AI systems. Their products include ICL CodeLogician, Imandra Universe, Imandra Core, Imandra
4.5
Rating
Free
Pricing
1+
Platforms
0
Saves
Compare with Alternatives
| Feature | Imandra Inc. | ArXiv Pulse | Stable Attribution | Outlier AI |
|---|---|---|---|---|
| Rating | — | — | — | — |
| Pricing | Free | Free | Free | Free |
| Starting From | — | — | — | — |
| API | — | — | — | — |
| Free Tier | — | — | — | — |
| Mobile App | — | — | — | — |
Website