---
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. Entry docs projects/fep_lean/AGENTS.md; Hermes + SQLite pipeline lives under projects/fep_lean/src/gauss/.
---

# Gauss (Lean tooling)

Authoritative onboarding: [`projects/fep_lean/AGENTS.md`](../../../projects/fep_lean/AGENTS.md).