CodeLogician Server

The CodeLogician server provides a persistent, centralized service for code analysis and formal verification. It manages formalization tasks, maintains analysis state, and serves as the backend for various CodeLogician interfaces including the TUI, CLI, and IDE integrations.

Key Features

• Persistent Analysis State: Maintains formalization results across sessions
• Multiple Interface Support: Serves the TUI, CLI, and IDE extensions
• Project Management: Handles multiple codebases and strategies
• Caching: Stores analysis results to avoid redundant computation
• Real-time Updates: Provides live feedback during formalization

Getting Started

Start the server with:

codelogician server --clean ~/path/to/your/project

The --clean option removes any previously cached analysis and starts fresh. Omit it to resume from saved state.

Learn More

• PyIML Strategy - Python formalization strategy
• TUI Tutorial - Using the server with the TUI