agent

Run the CodeLogician autoformalization agent on a single source code file. The agent translates source code into a formal IML model, optionally generating verification goals and decomposition requests.

Available in: codelogician CLI only

codelogician agent [OPTIONS] FILE [OUTFILE]

Arguments

ArgumentDefaultDescription
FILE—Path to the source code file to formalize (required)
OUTFILEcl_result.jsonOutput file path for the resulting agent state

Options

OptionDefaultDescription
--artifacts / --no-artifacts--artifactsGenerate artifacts such as verification goals and decomposition requests

What the agent does

The autoformalization agent:

  1. Reads the source code file
  2. Translates it into an IML (Imandra Modeling Language) formal model
  3. Validates the model against the ImandraX reasoning engine
  4. Optionally generates verification goals and decomposition requests
  5. Saves the resulting state to the output file

Examples

# Formalize a Python file with full artifacts
codelogician agent my_module.py
 
# Formalize without generating artifacts
codelogician agent --no-artifacts my_module.py
 
# Specify a custom output file
codelogician agent my_module.py result.json
  • multiagent — formalize an entire directory
  • eval — evaluate the resulting IML models
Previous← doc command
Nextmultiagent command →