tui

Launch the CodeLogician terminal user interface (TUI). The TUI provides an interactive environment for exploring formal models, reasoning results, and decomposition artifacts.

Available in: codelogician CLI only

codelogician tui [OPTIONS]

Options

OptionDefaultDescription
--addrhttp://127.0.0.1:8000Server address to connect to

Usage

The TUI connects to a running CodeLogician server. Start the server first in a separate terminal session, then launch the TUI.

# Terminal 1: Start the server
codelogician server start ~/src/my_project
 
# Terminal 2: Launch the TUI
codelogician tui

To connect to a server on a non-default address:

codelogician tui --addr http://127.0.0.1:9000
  • server — start the reasoning server
  • TUI Tutorial — step-by-step walkthrough of the TUI
Previous← server command
Nextsample command →