pi-docslisted

# Pi Documentation (local Miyo mirror) A local Markdown mirror of the official Pi coding-agent docs (~27 pages from `github.com/earendil-works/pi`, `packages/coding-agent/docs/`), indexed in **Miyo** under the folder label **`pi`**. The docs are in **English** — phrase Miyo queries in English for best recall. ## Reach the docs through Miyo's folder label `pi` Every Miyo call below uses the folder label `pi`. - **Confirm the label** with `mcp__miyo__list_folders` — you should see `pi (… files, ready)`. If it was indexed under a different label, use that one everywhere below. - **Paths are Miyo-relative**, of the form `pi/<file>.md` — exactly as `mcp__miyo__search` / `mcp__miyo__list_files` return them. Pass them straight to `mcp__miyo__read_file`; the native `Read` tool can't open them. ## File naming Filenames match the upstream slugs at `packages/coding-agent/docs/` directly. The mirror is **flat** — no subdirectories: - `pi/index.md` (the overview / getting-started page) - `pi/extensions.md`, `pi/skills.md`, `pi/sdk.md` - `pi/keybindings.md`, `pi/models.md`, `pi/compaction.md` ## How Miyo retrieval works (build better queries) Miyo search is **hybrid**: for every query it runs two retrievers and fuses them with **RRF** (Reciprocal Rank Fusion), then applies a **literal-match boost** (an exact query substring in the title, then in the body, is pushed up): - **Dense (semantic)** — embeds the query, matches by meaning. Good on paraphrase, weak when your wor