ChatJiXia

ChatJiXia 是 ChatArch 的 JiXia Lean analysis integration 包入口。当前包保持最小 root-only CLI，用于保留可安装、可发现、可发布的集成壳；真实 JiXia/Lean 分析命令尚未暴露。

快速开始

pip install ChatJiXia
chatjixia --help
chatjixia --version
chatjixia --tree
chatjixia --tree-brief

当前 CLI 树

chatjixia
├── --help  # Show this message and exit.
├── --version  # Show the version and exit.
├── --tree  # Print the registered CLI tree and exit.
└── --tree-brief  # Print the registered CLI tree without parameter signatures and exit.

CLI 边界

• 当前 CLI 只有根选项，没有业务子命令。
• --tree 和 --tree-brief 由 ChatStyle 共享 Click 树运行时从实际命令注册面生成，公开根名固定为规范入口 chatjixia。
• --tree 默认保留命令参数签名；--tree-brief 省略参数签名，但保留命令节点和描述。当前 root-only CLI 没有带参数的命令节点，因此两种模式的当前树形内容相同。
• 后续新增真实 JiXia/Lean 分析命令时，必须先更新 Click 注册面，再用真实 chatjixia --tree 和 chatjixia --tree-brief 同步文档。

目录结构

• src/：包源码
• tests/code-tests/：代码测试和历史测试迁移
• tests/cli-tests/：真实 CLI 测试，doc-first
• tests/mock-cli-tests/：mock/fake CLI 测试，doc-first
• docs/：长期维护文档，由 MkDocs 构建

开发说明

扩展脚手架前，先阅读 DEVELOP.md 和 AGENTS.md。