Activity analytics

We gather usage information, which helps us to improve your experience with our products. You can ask for any usage data we've gathered on you to be deleted by getting in touch. Learn more about our cookie policy here.

Imandra logo - homepage link
NEWPress release!

Agentic governance platform for AI coding

We're excited to announce the release of the next generation of CodeLogician - now designed to work seamlessly alongside your favorite AI coding assistant and bring the rigor of automated logical reasoning to your software development process.

Imandra Universe Interface

Neurosymbolic AI at scale

CodeLogician integrates neurosymbolic AI to revolutionize software development, combining the power of machine learning with formal reasoning.

Neurosymbolic AI at scale

Autoformalization

The latest CodeLogician builds on its agent-only predecessor applying autoformalization techniques to a new scale. It analyzes your entire project and creates a structured logical representation of your project - called the MetaModel.

Autoformalization Process

MetaModel Build-out

MetaModels capture logical structure and relationships within your project, enabling systematic logical reasoning and analysis.

MetaModel Build-out

Formal Verification

Mathematically prove the correctness of your algorithms and systems, ensuring they meet specifications with absolute certainty through rigorous formal methods.

Formal Verification

Test Case Generation

Automatically generate comprehensive test suites that cover edge cases and critical scenarios, ensuring thorough validation of your code and systems.

Test Case Generation

Change Planning
with Sketches API

Plan and verify system changes using our Sketches API, enabling safe evolution of complex systems through formal reasoning.

Change Planning with Sketches API

Neurosymbolic AI
for Code

CodeLogician™ is powered by ImandraX, our award-winning automated reasoning engine that combines formal verification, symbolic reasoning, and rule synthesis to provide mathematical guarantees about your code's behavior.

1 minute to Mars start

Step 1

Your first step is to obtain Imandra Universe API key that your Instance of CodeLogician™ will use for connecting.

Step 2

Install CodeLogician™ using pip.

> pip install codelogician

Step 3

Start using CodeLogician™ to analyze your codebase.

> codelogician start
VSCode Extension

Get in touch

We work with many of the world's largest and most trusted brands, universities and government agencies.

And we would be delighted
to work with you.