ChatLean 文档

ChatLean 是 ChatArch 的 Lean tooling 包入口。当前文档记录已实现 CLI 和后续扩展边界。

• CLI 树

  ---

  查看当前真实命令入口、root-only 边界和更新规则。

  查看 CLI 树

• Lean 工具边界

  ---

  当前包保持可安装、可测试、可发布的 Lean 工具壳；真实编排命令尚未暴露。

本地预览

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