CodeLogician

Welcome to the documentation page for CodeLogician agent - your neurosymbolic agent for reasoning mathematically about source code!

Important: to use CodeLogician (and ImandraX) you need to get an Imandra Universe API Key here.

There are different ways to use CodeLogician - please see their individual pages for installation instructions!:

• VS Code Extension
• Python library for programmatic access. Python API example then has an example usage.
• MCP Server that’s extremely helpful if you’re using CodeLogician with a tool like Cursor

Examples repository

Set of examples for CodeLogician.

Tutorial

• Introduction
• Gentle introduction to ImandraX
• Thinking formally
• Agent design
• Walkthroughs
• Python API example