multiagent
Run the CodeLogician server in autoformalization mode for an entire directory. This processes all eligible source files, manages multi-file dependencies, and then exits.
Available in: codelogician CLI only
codelogician multiagent [OPTIONS] DIRArguments
| Argument | Description |
|---|---|
DIR | Target directory containing source files to formalize (required) |
Options
| Option | Default | Description |
|---|---|---|
--clean / --no-clean | --no-clean | Start clean by disregarding any existing cache files |
--config | config/server_config.yaml | Path to a server configuration YAML file |
--debug / --no-debug | --no-debug | Enable debug mode |
Examples
# Formalize all files in a directory
codelogician multiagent ~/src/my_project
# Start fresh, ignoring cached results
codelogician multiagent --clean ~/src/my_project
# Use a custom configuration
codelogician multiagent --config my_config.yaml ~/src/my_project