gauss-open-gauss-cli · git:20260424.e1cd478 · 2026-04-24 · sha256 4d40732f90d60ae2

gauss-open-gauss-cli git:20260424.e1cd478A

Name: gauss-open-gauss-cli
Author: docxology

Immutable. This exact content is served forever at /api/v1/blob/4d40732f90d60ae2.

---
name: gauss-open-gauss-cli
description: 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; when projects/fep_lean exists, see projects/fep_lean/AGENTS.md and projects/fep_lean/src/gauss/.
---

# Gauss (Lean tooling)

**Naming:** [Open Gauss vs Huawei DBMS](../../../docs/reference/opengauss-naming.md).

When `projects/fep_lean/` is present, onboarding: [`projects/fep_lean/AGENTS.md`](../../../projects/fep_lean/AGENTS.md).