pi-docslisted

# Pi Documentation (local mirror) The official Pi docs are mirrored at `~/pi-docs/` — a flat folder with ~27 `.md` files, auto-synced hourly from `github.com/earendil-works/pi` (`packages/coding-agent/docs/*.md`). ## How to look up answers No semantic-search tool is configured, so fall back to listing + grep: 1. **List or filter filenames** to find the relevant doc: ``` ls ~/pi-docs/ # see all topics ls ~/pi-docs/ | grep -i skill # filenames mentioning skills ``` 2. **Grep across the corpus** to find specific terms: ``` grep -l -i "extension" ~/pi-docs/*.md # files mentioning extensions grep -i "keybinding" ~/pi-docs/*.md # exact term lookup ``` 3. **Read the file** fully (or with offset/limit for large ones) once you know which doc has the answer. ## When to read the full file Fetch the raw file when grep results do not contain the exact detail needed — typical reasons: - exact JSON schema for settings or extension manifests - full keybindings table or theme key list - precise CLI flag spelling or full slash-command catalog - complete provider / model configuration reference To read the raw file, use the standard read tooling with the absolute path: ``` Read("/Users/<you>/pi-docs/<filename>.md") ``` ## File naming Filenames match the upstream slugs at `packages/coding-agent/docs/` directly: - `index.md` (the overview / getting-started page) - `quickstart.md`,