ChatJiXia 文档

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

• CLI 树

  ---

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

  查看 CLI 树

• 集成边界

  ---

  当前包保持可安装、可测试、可发布的 JiXia/Lean 集成壳；真实分析命令尚未暴露。

本地预览

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