# LeanLsp v0.1.0 - Table of Contents

> Experimental Lean LSP foundation and Docker runtime preview for Elixir; full LSP client support is roadmap work.

## Pages

- [Hex package contents](hex-package-contents.md)
- [Downstream dependency smoke test](downstream-smoke-test.md)

- Getting started
  - [LeanLsp](readme.md)

- Release readiness
  - [Changelog](changelog.md)
  - [Hex package metadata](hex-package-metadata.md)
  - [v0.1.0 release procedure](release-procedure.md)
  - [Dependency audit](dependency-audit.md)
  - [Release scope and stability](release-scope-and-stability.md)
  - [Runtime dependency and Docker image policy](runtime-dependency-and-docker-policy.md)
  - [Module responsibilities](module-responsibilities.md)

- Legal
  - [LICENSE](license.md)

## 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`.

