Ready to supercharge your AI agents?

Install any skill in seconds. Free to start, no credit card required.

Gauss (Lean tooling) · docxology | DecimalAI

codingby docxology

Gauss (Lean tooling)

docxology/gauss-open-gauss-cli

Source docxology/template ↗License Apache-2.0

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

SkillScore100Maintained

Automatic

Coding pack

Last verified 8/4/2026

What it changes

Passed 21 of 21 test cases with the skill, and 16 of 21 without it.

Without skill77%

With skill100%

Checks it passed that the model alone missed

Response identifies Lake as the build tool
Response contains JSON with key 'command' set to lake build
Response identifies Lean as the environment used for formal proofs

and 4 more in the full report

5 fixed17 passed either way0 still failing0 broke

Pass-rate lift: +23 pp
Tokens: -44%
Agent turns: 0%
Response time: -53%

Model gemini-3.6-flashMeasured 8/4/2026v122 of 22 cases passed with skill · 21 comparable

Tokens, turns and time describe resource use, not a dollar price.

Use this skill

Save it into your project's skills folder. Claude Code picks it up in its next session.

curl -fsSL --create-dirs -o .claude/skills/docxology-gauss-open-gauss-cli/SKILL.md https://app.decimal.ai/s/docxology-gauss-open-gauss-cli/SKILL.md

Want it pinned and updatable? pip install "decimalai>=0.15", then decimalai skills add docxology-gauss-open-gauss-cli, and start Claude Code with claude --plugin-dir "$(git rev-parse --show-toplevel)/.agents"

1 · One-time — install the CLI (docs ↗)

pip install "decimalai>=0.15"

2 · Get the skill — writes .agents/skills/docxology-gauss-open-gauss-cli/ and pins it in .decimal/skills.lock

decimalai skills add docxology-gauss-open-gauss-cli

No CLI? Get the same file — curl · raw file

curl -fsSL --create-dirs -o .claude/skills/docxology-gauss-open-gauss-cli/SKILL.md https://app.decimal.ai/s/docxology-gauss-open-gauss-cli/SKILL.md

Raw file: /s/docxology-gauss-open-gauss-cli/SKILL.md ↗ · machine-readable summary at /s/docxology-gauss-open-gauss-cli.json ↗

Safety checks: 3 of 3 passed

Code scan CleanIntent PassedContent Clean

See it in action

One of 4 test cases the skill fixed. Same model, same prompt, with and without the skill.

1 of 4

Prompt

When onboarding a new developer to the Gauss theorem prover workspace, they ask if compilation is driven by CMake or Makefile. Which build tool drives compilation in this environment?

What was checked, without and with the skill
Checked	Without skill	With skill
Response identifies Lake as the build tool	Missed	Passed

case-19 · gemini-3.6-flash · 8/4/2026 · answers are capped and redacted

What's inside

The instructions your model reads when the skill loads.

SKILL.md5 linessingle file

Gauss (Lean tooling)

Naming: Open Gauss vs Huawei DBMS.

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

Track record

Benchmark

21 / 21

test cases passed, vs 16 / 21 without

Adoption

Users: 0
Times used: 0

Safety and source details

SkillSafety

✓ 3 of 3 passed

Code scan15 of 15 checks clean

0 critical · 0 warning · 0 info — scanner v4 — 8/1/2026

View 15 scanner checks

live_secretremote_code_executionreverse_shelldata_exfiltrationssrf_metadataagent_snoopinganti_refusaldestructive_commandsobfuscated_unicodeunicode_homoglyphopaque_blobsuspicious_urltool_overreachtrigger_abuseprompt_injection_phrasing

IntentSafe

LLM judge · does the skill do what it claims

ContentClean

LLM judge · policy & harmful-content review

Source

Imported

docxology / template

.cursor/skills/gauss/SKILL.md

View on GitHub ↗

License Apache-2.0Imported 8/1/2026Version v1

More skills from the same source and nearby in the registry, with their headline benchmark lift.

Ready to supercharge your AI agents?

See it in action

What's inside

Gauss (Lean tooling)

Track record

Benchmark

Adoption

SkillSafety

Source

Related skills