gauss-open-gauss-cli

star 17

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/.

By docxology schedule Updated 5/31/2026

play_arrow Run Skill in Manus View GitHub

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; for the public Lean exemplar see projects/templates/template_active_inference/lean/.

Gauss (Lean tooling)

Naming: Open Gauss vs Huawei DBMS.

Public Lean boundary exemplar: projects/templates/template_active_inference/lean/ (lake build).

Install via CLI

npx skills add https://github.com/docxology/template --skill gauss-open-gauss-cli

Repository Details

star Stars 17

call_split Forks 1

navigation Branch main

article Path SKILL.md