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 |
| rec | Suggest the next step from IML code and eval results |
Environment Variables
| Variable | Description |
|---|---|
IMANDRA_UNI_KEY | Imandra Universe API key (required). Obtain one at universe.imandra.ai |
CODELOGICIAN_LOG_LEVEL | Log level (default: warning) |
Additional eval-specific variables are documented on the eval command page.