Imandra

Imandra is an AI startup pioneering neurosymbolic AI for AI agents that reason logically. Imandra Universe, Imandra's new ecosystem for neurosymbolic agents and reasoners, brings deep advances in automated reasoning to AI builders, making it easy to add rigorous, scalable and auditable logical AI into your AI agents, products and applications.