ChatLean Documentation

ChatLean is the ChatArch Lean tooling package entrypoint. These docs record the implemented CLI and future extension boundary.

• CLI Tree

  ---

  Review the current real command entrypoint, root-only boundary, and update rule.

  View CLI Tree

• Lean Tooling Boundary

  ---

  The package currently stays as an installable, testable, releasable Lean tooling shell; real orchestration commands are not exposed yet.

Local Preview

pip install -e ".[docs]"
mkdocs serve