gauss-open-gauss-clilisted

Open Gauss in this workspace is the math-inc/OpenGauss gauss CLI for Lean session tooling—not Huawei OpenGauss DBMS. See docs/reference/opengauss-naming.md; for the public Lean exemplar see projects/templates/template_active_inference/lean/.
docxology/template · ★ 17 · AI & Automation · score 76

Install: claude install-skill docxology/template

# Gauss (Lean tooling) **Naming:** [Open Gauss vs Huawei DBMS](../../../docs/reference/opengauss-naming.md). Public Lean boundary exemplar: [`projects/templates/template_active_inference/lean/`](../../../projects/templates/template_active_inference/lean/) (`lake build`).