server

Start and interact with the CodeLogician reasoning server. The server provides a persistent service for code analysis and formal verification, supporting multi-agent workflows and live model updates.

Available in: codelogician CLI only

codelogician server [OPTIONS] COMMAND [ARGS]

Global Server Options

Option	Default	Description
`--base-url`	`http://localhost:8000`	Base URL for the server. Also set via `CODELOGICIAN_SERVER_URL` env var
`--timeout`	`30.0`	HTTP timeout in seconds
`--json / --no-json`	`--json`	Pretty-print JSON output

Subcommands

Command	Description
`start`	Start the reasoning server
`metamodel`	Query the metamodel (combined formal model)
`model`	Manage individual models
`sketches`	Manage sketches (draft formalizations)
`strategy`	Manage formalization strategies

server start

Start the CodeLogician reasoning server for a project directory.

codelogician server start [OPTIONS] DIR

Arguments:

Argument	Description
`DIR`	Project directory (required)

Options:

Option	Default	Description
`--state`	—	Path to server state file
`--clean / --no-clean`	`--no-clean`	Disregard existing strategy caches and start fresh
`--config`	`config/server_config.yaml`	Path to configuration file
`--debug / --no-debug`	`--no-debug`	Enable debug mode
`--addr`	`http://127.0.0.1:8000`	Server host and port

Example:

# Start server for a project
codelogician server start ~/src/my_project
 
# Start fresh on a custom port
codelogician server start --clean --addr http://127.0.0.1:9000 ~/src/my_project

server metamodel

Query the metamodel — the combined formal model built from all individual source models.

codelogician server metamodel COMMAND

Command	Description
`latest`	Get the latest metamodel JSON
`summary`	Get a summary of the metamodel
`list`	List metamodel entries (filterable)
`vgs`	List verification goals
`decomps`	List decompositions
`opaques`	List opaque (unresolved) functions
`cache`	Manage metamodel cache

server model

Manage individual source models tracked by the server.

codelogician server model COMMAND

Command	Description
`paths`	List all model relative paths
`get`	Get a model by index or path
`freeze`	Freeze a model's IML code (prevent re-formalization)
`unfreeze`	Unfreeze a model's IML code
`cmd`	Submit a CodeLogician agent command for a model

server sketches

Manage sketches — draft formalizations that can be iteratively refined.

codelogician server sketches COMMAND

Command	Description
`search`	Search sketches by query
`list`	List all sketches
`create`	Create a new sketch
`try-change`	Attempt a change, optionally committing on success
`change`	Apply a change to a sketch
`rollback`	Roll back to a previous sketch state
`state`	Get current sketch state

server strategy

Manage formalization strategies — configurations that control how source code is translated into IML.

codelogician server strategy COMMAND

Command	Description
`setcws`	Set the current working strategy
`cws`	Get the current working strategy
`list`	List all strategies
`states`	Get strategy states
`create`	Create a new strategy
`delete`	Delete a strategy
`state`	Get current strategy state
`summary`	Get strategy summary
`config`	Get strategy configuration
`config-set`	Update strategy configuration

tui — connect to the server with the terminal UI
multiagent — batch formalization mode (non-interactive)