CodeLogician Server

The CodeLogician server is a persistent service that manages formalization tasks, maintains analysis state, and serves as the backend for the TUI, CLI, and IDE integrations.

In This Section

  • Metamodel Formalization — how CodeLogician manages collections of interdependent models, including minimal re-formalization and error resilience
  • PyIML Strategy — the strategy for translating Python source code into IML, including dependency analysis, opaque function handling, and cache management
Previous← Walkthrough Examples
NextMetamodel Formalization →