pi-dotfiles

This repository contains custom pi skills and extensions.

What is in this repo?

Skills

Path	Description
skills/agent-browser	browser automation CLI
skills/bn	Binary Ninja CLI bridge for an open GUI session
skills/docsetquery	local-first Apple documentation extraction/search with DocSetQuery
skills/persistent-browser-session-login	persistent real-browser session reuse with manual login handoff and CDP reconnect
skills/ralph-wiggum	long-running iterative development loops
skills/tla-reasoning	TLA+-style workflow and state-machine reasoning
skills/uv	Python package and project management with uv

Extensions

Path	Description
extensions/btw	modal side conversations inside pi
extensions/oops	continue the last interrupted turn after an accidental Esc
extensions/pi-codex-fast	toggle OpenAI/OpenAI Codex priority service tier
extensions/ralph-wiggum	Ralph loop tools and commands for iterative work

Recommended setup

If you want pi to install this for you, open pi in this repository and say:

Please read SETUP.md in this repo and set this up.

SETUP.md is written to be agent-friendly and contains the canonical setup instructions.

Manual setup

Follow the instructions in SETUP.md.

The preferred setup method is to register this repo through ~/.pi/agent/settings.json instead of moving files or copying them into ~/.pi.

After setup:

• restart pi, or
• run /reload inside pi

Notes

• Do not move this repo's files into a .pi/ directory inside the repo.
• This repo intentionally keeps its pi assets at the top level in skills/ and extensions/.
• pi-codex-fast should be enabled in ~/.pi/agent/settings.json.