How It Works

Open Gauss harnesses cameronfreer/lean4-skills workflows (prove, draft, autoprove, formalize, autoformalize) via a Gauss-native CLI. It manages project detection, Lean tooling/LSP/backend setup, workflow spawning, and swarm tracking/recovery. Its project model scopes Lean work by default, using commands like /project init or /project use for context. Managed backend child agents spawn within the active project root, ensuring correct execution environments.

Quick Start & Requirements

• Install: Run ./scripts/install.sh from the root of a checked-out math-inc/opengauss repository (primarily Linux: Ubuntu, Debian, WSL).
• Prerequisites:
  • OS: Linux (Ubuntu, Debian, WSL recommended).
  • Tools: uv or uvx, rg (ripgrep).
  • LLM Backends: Authenticated claude-code or codex (via local auth, API keys, or interactive login).
  • Project Context: Active Gauss project (.gauss/project.yaml).
• Setup: Installer keeps code in checkout, defaults runtime state to ~/.gauss/, and adds gauss to ~/.local/bin/gauss.

Highlighted Details

• Managed multi-agent workflow spawning within the terminal.
• Local .gauss project model with upward discovery and lifecycle commands.
• Pinned Lean 4 context, including lean4-skills plugin and lean-lsp-mcp.
• Swarm supervision for tracking, attaching, cancelling, and recovering parallel workflow runs.
• Autonomous end-to-end source-backed formalization (/autoformalize).

Maintenance & Community

This repository was forked from nousresearch/hermes-agent. No other specific details regarding contributors, sponsorships, or community channels were provided.

Licensing & Compatibility

No license information was specified in the provided README text. Compatibility for commercial use or closed-source linking cannot be determined.

Limitations & Caveats

The installation script is primarily for Linux. It requires specific external tools (uv/uvx, rg) and authenticated LLM backends (claude-code, codex). The gauss update command depends on the CLI originating from a checked-out math-inc/opengauss git repository.