---
name: docxology/gauss-open-gauss-cli
source: https://app.decimal.ai/s/docxology-gauss-open-gauss-cli@1/SKILL.md
source_sha256: 7c3a16e49f13
---

# 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`).