Command Reference
This section documents every CodeLogician command:
| Command | Description |
|---|---|
| eval | Evaluate IML files via the ImandraX reasoning engine |
| doc | Access documentation, guides and ImandraX reference |
| agent | Run the autoformalization agent on a single file |
| multiagent | Run autoformalization on an entire directory |
| server | Start and interact with the reasoning server |
| tui | Launch the terminal user interface |
| sample | Create a sample Python project for experimentation |
Environment Variables
| Variable | Description |
|---|---|
IMANDRA_UNI_KEY | Imandra Universe API key (required). Obtain one at universe.imandra.ai |
CODELOGICIAN_SERVER_URL | Base URL for the CodeLogician server (default: http://localhost:8000) |