This checkout is my live Pi config: settings, packages, themes, keybindings, extensions, and global agent rules. It is not an app.
docs/PROJECT.org— context and decisionsdocs/TODO.org— work logAGENTS.md— rules for changing this repoagent/— live Pi config
User-managed skills live in ~/.agents/skills. Do not put copies in agent/skills/. Ponytail loads from its package; pi-lens injects its own.
Local, under agent/extensions/. Packages live in settings.json, not here.
agy-provider— routes Gemini through the local Antigravity CLIclear-alias—/clearstarts a new sessionclock— timestamps after user and assistant messagescompact-tools— tool-call display density (ctrl+b)effort-alias—/effortsets thinking levelherdr-fork—/herdr-fork [focus]clones this session into a new Herdr worktree workspace (the arg is both the branch slug and the clone’s manual/compactprompt)inline-skills— expands$skillmentions in a normal promptntfy— ntfy ping when a TUI turn is slow or the session quits (host topicpi, Jolo topicjolo)pi-official-subagent— loads Pi’s bundled subagent extensionpi-vim-jk— jk to NORMAL; edge j/k walks prompt historytheme-toggle— alt+shift+d flips latte/mochausage— two-line usage and cost footer
Changes are live after /reload or a new session. Secrets, sessions, caches, and installed packages stay local and gitignored.