Advanced CodeLogician Features

This section covers the internals of CodeLogician: the autoformalization agent, the reasoning server, and the formalization strategies that power the platform.

IML Autoformalization Agent

The CodeLogician agent automatically translates source code into formal IML models that can be analyzed by ImandraX. It handles error recovery, dependency management, and iterative refinement.

• Introduction — overview and capabilities
• Thinking Formally — writing clear formal models
• Agent Architecture — workflow and design
• Walkthrough Examples — practical examples with Cursor