ChatLean

ChatLean 是 ChatArch 的 Lean tooling 包入口。当前包保持最小 root-only CLI，用于保留可安装、可发现、可发布的 Lean 工具壳；真实 Lean 编排命令尚未暴露。

快速开始

pip install ChatLean
chatlean --help
chatlean --version
chatlean --tree

当前 CLI 树

chatlean  # ChatArch Lean tooling entrypoint
├── --help  # show command help
├── --version  # show the installed package version
└── --tree  # show this CLI tree

CLI 边界

当前 CLI 只有根选项，没有业务子命令。
--tree 从实际 Click 命令注册面生成，用来校对 README、文档和测试。
后续新增真实 Lean 环境、包、证明或执行编排命令时，必须先更新 Click 注册面，再用真实 chatlean --tree 同步文档。

目录结构

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。

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

chatlean-0.1.2.tar.gz (5.5 kB view details)

Uploaded Aug 12, 2026 Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

chatlean-0.1.2-py3-none-any.whl (4.9 kB view details)

Uploaded Aug 12, 2026 Python 3

File details

Details for the file chatlean-0.1.2.tar.gz.

File metadata

Download URL: chatlean-0.1.2.tar.gz
Upload date: Aug 12, 2026
Size: 5.5 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for chatlean-0.1.2.tar.gz
Algorithm	Hash digest
SHA256	`cff68a113cd5bb4ca1dc0da7f2d621af36fe2329b6d3fce9f7cbba567acd7038`
MD5	`9f0545b69ed676b53a65dde3d3d8a72e`
BLAKE2b-256	`60ecab2a7fa97136e817f59804575d4e5f634f7e5d675238e143dce675b56042`

See more details on using hashes here.

Provenance

The following attestation bundles were made for chatlean-0.1.2.tar.gz:

Publisher: publish.yml on ChatArch/ChatLean

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: chatlean-0.1.2.tar.gz
- Subject digest: cff68a113cd5bb4ca1dc0da7f2d621af36fe2329b6d3fce9f7cbba567acd7038
- Sigstore transparency entry: 2434058622
- Sigstore integration time: Aug 12, 2026
Source repository:
- Permalink: ChatArch/ChatLean@8b625b43fc62a262b97f6c24057bb2628591edc0
- Branch / Tag: refs/tags/v0.1.2
- Owner: https://github.com/ChatArch
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: publish.yml@8b625b43fc62a262b97f6c24057bb2628591edc0
- Trigger Event: push