ChatLean
ChatLean 是 ChatArch 的 Lean tooling 包入口。当前包保持最小 root-only CLI，用于保留可安装、可发现、可发布的 Lean 工具壳；真实 Lean 编排命令尚未暴露。
快速开始
pip install ChatLean
chatlean --help
chatlean --version
chatlean --tree
chatlean --tree-brief
当前 CLI 树
chatlean
├── --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通过 ChatStyle 共享运行时从实际 Click 注册面生成，并默认保留参数签名；--tree-brief保留命令节点和说明，但省略参数签名。- 当前 root-only 注册面只有无值 flag，因此两种模式的文本暂时相同；新增带参数的命令后，两种输出会体现签名差异。
- 后续新增真实 Lean 环境、包、证明或执行编排命令时，必须先更新 Click 注册面，再用真实
chatlean --tree和chatlean --tree-brief同步文档。
目录结构
src/：包源码tests/code-tests/：代码测试和历史测试迁移tests/cli-tests/：真实 CLI 测试，doc-firsttests/mock-cli-tests/：mock/fake CLI 测试，doc-firstdocs/：长期维护文档，由 MkDocs 构建
开发说明
扩展脚手架前，先阅读 DEVELOP.md 和 AGENTS.md。
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file chatlean-0.1.3.tar.gz.
File metadata
- Download URL: chatlean-0.1.3.tar.gz
- Upload date:
- Size: 5.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via:
twine/7.0.0 CPython/3.13.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
7670eec728e3802445c08ad81c9fb4da63db03c44f578d8ddb289579efb33282
|
|
| MD5 |
0c29198bcead30139c005ef4deab5649
|
|
| BLAKE2b-256 |
b19e3a111e71b726f5d08bd4472c67ebdfb1b1323fc1c16465c01769a1dcad77
|
Provenance
The following attestation bundles were made for chatlean-0.1.3.tar.gz:
Publisher:
publish.yml on ChatArch/ChatLean
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
chatlean-0.1.3.tar.gz -
Subject digest:
7670eec728e3802445c08ad81c9fb4da63db03c44f578d8ddb289579efb33282 - Sigstore transparency entry: 2548794580
- Sigstore integration time:
-
Permalink:
ChatArch/ChatLean@93d8f19a65398a7ba5242c9cb730bf73deda3349 -
Branch / Tag:
refs/tags/v0.1.3 - Owner: https://github.com/ChatArch
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
publish.yml@93d8f19a65398a7ba5242c9cb730bf73deda3349 -
Trigger Event:
push
-
Statement type:
File details
Details for the file chatlean-0.1.3-py3-none-any.whl.
File metadata
- Download URL: chatlean-0.1.3-py3-none-any.whl
- Upload date:
- Size: 4.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via:
twine/7.0.0 CPython/3.13.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a431a714ecdb94c0e2c0d2ff1b7c8f005d9e4a193a3a627035d0d472f0361eb6
|
|
| MD5 |
c3e30e358b555b1edfae8f9a0debde95
|
|
| BLAKE2b-256 |
23f4d5babe38514c642d2f6d1c2c4b5173ea7efef312264740d8d03dbac4a511
|
Provenance
The following attestation bundles were made for chatlean-0.1.3-py3-none-any.whl:
Publisher:
publish.yml on ChatArch/ChatLean
-
Statement:
-
Statement type:
https://in-toto.io/Statement/v1 -
Predicate type:
https://docs.pypi.org/attestations/publish/v1 -
Subject name:
chatlean-0.1.3-py3-none-any.whl -
Subject digest:
a431a714ecdb94c0e2c0d2ff1b7c8f005d9e4a193a3a627035d0d472f0361eb6 - Sigstore transparency entry: 2548794596
- Sigstore integration time:
-
Permalink:
ChatArch/ChatLean@93d8f19a65398a7ba5242c9cb730bf73deda3349 -
Branch / Tag:
refs/tags/v0.1.3 - Owner: https://github.com/ChatArch
-
Access:
public
-
Token Issuer:
https://token.actions.githubusercontent.com -
Runner Environment:
github-hosted -
Publication workflow:
publish.yml@93d8f19a65398a7ba5242c9cb730bf73deda3349 -
Trigger Event:
push
-
Statement type:
