codelogician CLI

The codelogician CLI provides the full CodeLogician platform.

It includes:

  • the autoformalization agent
  • evaluation commands
  • region decomposition
  • verification goals
  • terminal user interface (TUI)
  • server mode for multi-agent workflows

Installation

Install CodeLogician CLI (includes Python 3.13):

curl -fsSL codelogician.dev/codelogician/install.sh | sh

Or install with pip (requires Python 3.12+):

pip install codelogician

Then run:

codelogician --help

Core capabilities

Agentic formalization

Convert source code into IML (Imandra Modeling Language) using:

codelogician agent FILE

The agent attempts to:

  • translate code into a formal model
  • generate verification goals
  • request region decomposition

Evaluation

Use the evaluation commands to analyze models.

Examples:

codelogician eval check MODELFILE
codelogician eval check-decomp MODELFILE
codelogician eval check-vg MODELFILE

These commands invoke the ImandraX reasoning engine.

Terminal UI

The CLI also includes a TUI for interactive reasoning workflows.

This allows exploration of:

  • formal models
  • reasoning results
  • decomposition artifacts

Server mode

The CLI can run a reasoning server that supports multi-agent workflows and live model updates.

When to use the CLI

Use the full CLI when:

  • working with large projects
  • running advanced reasoning workflows
  • building automated reasoning pipelines
  • exploring models interactively
Previous← Interfaces
NextMCP Server →