ProGit — Git-First Project Management

Everything you need. Nothing you don't.

⌨️

Agent ledger CLI

prog issue … --json is the write path. Stable envelope, exit codes, --actor attribution. Hermes skill included. TUI is prog ui for humans.

🧭

Cross-repo palette

Ctrl+P jumps issues and work across sibling git repos on your machine — local forge scale without a browser tab farm.

🛡️

Sober hard-floor

Plugins reach Sober only through explicit allowlisted host actions. No arbitrary CLI pass-through. Signed releases, minisign, checksums.

🤖

Offline Ollama review

Diff review on your laptop. Role stays in the primary prompt path; nothing silent, nothing auto-applied without you.

📋

Kanban & .project/

Issues live beside your code. Sprint planning, local state, project-contract grants for controlled plugin power.

🧩

Plugin marketplace

LuaJIT plugins, declared capabilities, native prog plugin <cmd> dispatch, async job scheduler, Dilithium-signed registry path.

🏰

Citadel

Ex-Panopticum: sovereign project views and command surface, extracted cleanly as a plugin-ready shim.

🔄

Forge sync

Forgejo / GitLab sync, remote doctor, MR mapping, token-file auth that does not wedge the TUI.

What's new in v0.10.0-beta

A month of distribution, onboarding, and hardening — cut as a real beta promotion, not another quiet main tip.

Agent-first CLI: prog issue create|get|list|set|note --json
Manager cockpit: bare prog → status; prog board; TUI is prog ui
last_actor + .project/events.jsonl for attribution and future time plugins
Hermes skill progit-agent-ledger + docs/agent-cli.md
Distribution rails: AUR, Homebrew formula, signed Forgejo binaries, install script
First-run: prog init wizard, demo seed, empty-state teaching
Ctrl+P cross-repo fuzzy palette
Offline Ollama diff review
Sober plugin hard-floor (no arbitrary CLI escape)
Project-contract Phase 1+ SDK capability grants
Citadel rename + plugin shim; async plugin jobs race-fixed

Forgejo release v0.10.0-beta →

Get ProGit v0.10.0-beta

Signed binary on Forgejo · AUR package live · released July 21, 2026. Prefer package managers; build from source when you want the bleeding edge.

AUR (Arch)

prebuilt 0.10.0_beta-1

yay -S progit-bin

Signed binary

v0.10.0-beta · ~6.9MB

Download the linux x86_64 tarball from the Forgejo release, verify SHA256 + minisign, install prog.

One-line installer

PROGIT_VERSION=0.10.0-beta optional pin

scripts/install.sh from the sovereign Forgejo — detects arch, verifies signature, installs to ~/.local/bin.

From source

default features stay under 7MB

git clone · cargo build --release · link target/release/prog

Arch Linux (AUR)

yay -S progit-bin
# or: paru -S progit-bin
prog --version

Signed linux x86_64 binary

# download + verify from
# https://git.sovereign-society.org/ProGit/progit/releases/tag/v0.10.0-beta
# artifact: prog-0.10.0-beta-x86_64-unknown-linux-gnu.tar.gz
tar -xzf prog-0.10.0-beta-x86_64-unknown-linux-gnu.tar.gz
install -m755 prog ~/.local/bin/prog

Direct tarball → · All assets + signatures →

Sovereign installer script

# fetch install.sh from sovereign Forgejo (main), then run with sh
# https://git.sovereign-society.org/ProGit/progit/raw/branch/main/scripts/install.sh
PROGIT_VERSION=0.10.0-beta sh install.sh

Build from source

git clone https://git.sovereign-society.org/ProGit/progit
cd progit
cargo build --release
# prefer ~/.local/bin or ~/bin — avoid stale /usr/local/bin shadows
install -m755 target/release/prog ~/.local/bin/prog
cd your-project && prog init && prog

Full installation guide → • AUR package → • Browse source →

Agent Work Ledger