# LeanLsp v0.1.0 - API Reference

## Modules

- Public entry point
  - [LeanLsp](LeanLsp.md): Public entry point for the LeanLsp v0.1.0 runtime preview.

- Runtime preview
  - [LeanLsp.Runtime](LeanLsp.Runtime.md): Behaviour for Lean-capable runtime implementations.
  - [LeanLsp.Runtime.Config](LeanLsp.Runtime.Config.md): Normalized runtime configuration for LeanLsp.
  - [LeanLsp.Runtime.Docker](LeanLsp.Runtime.Docker.md): Docker-backed implementation of `LeanLsp.Runtime`.