fv-skills-baif
Formal verification skills for Pi, Claude Code, Codex, OpenCode, and Antigravity. Rust -> Lean 4 via Aeneas.
$ pi install npm:fv-skills-baifExtensions, skills, prompt templates, and themes published to npm. Install with pi install npm:<package>. See the package docs for details.
Formal verification skills for Pi, Claude Code, Codex, OpenCode, and Antigravity. Rust -> Lean 4 via Aeneas.
$ pi install npm:fv-skills-baifSend Pi session status and agent output to Bark on iOS.
$ pi install npm:@henryqw/pi-barkPersistent Pi subagents with live progress and explicit task controls.
$ pi install npm:@lwlee2608/pi-subagentMeerkat zero-parameter DevNet installer (local chain with --local), stdio MCP facade and registry tools, with a private pinned Evolver MCP child. Preserves the announcement contract and existing Pi extension.
$ pi install npm:@mcsherrylabs/pi-meerkatConfigurable Pi statusline with live preview, Git and session usage
$ pi install npm:@erichll/pi-statuslineSelectable, independent agent modes for Pi. /gercep: no tests/typecheck/lint/build, ends with a manual QA checklist. /hati-hati: confirm every risky command, ends with a rollback section. /auto-effort: a small judge model sets thinking per prompt. /auto-r
$ pi install npm:@fahrizkyputra/pi-modesPi package for Herdr sidebar states: the Pi extension sidecar that publishes session facts as Herdr pane-metadata tokens, the optional Moshi notification channel, and the Pi-side helpers the Herdr Gentle Shell plugin drives.
$ pi install npm:herdr-gentle-shellAgent state across every machine you work on, in one view.
$ pi install npm:@mu-crew/murmurPi extension that uses Claude Code (via Agent SDK) as a model provider.
$ pi install npm:@thoth-agents/pi-claude-bridgeHide providers and models from pi's model selector — filter the /model list and Ctrl+P cycling via a configurable blocklist
$ pi install npm:pi-hide-providersA Pi extension that adds quality of life improvements to Pi's UX: a high-vis user prompt, a shimmering working loader with token activity meter and elapsed timer, an end-of-turn completion marker, and selectable output styles
$ pi install npm:@underactive/pi-toppingpi coding agent extension that bridges a terminal pi session to a Wherever server, to follow and steer it from your phone or any browser (wherever.dev)
$ pi install npm:@wherever-dev/piagent-callable session tree navigation for pi: anchor named milestones, rewind work into a branch summary, free up context for long autonomous sessions
$ pi install npm:@cad0p/pi-tree-navigatorPi adapter for dotdotgod: project-initializer skill, shared docs scaffold, plan/archive workflow, and project loading extensions.
$ pi install npm:@dotdotgod/piIsolated Pi and Claude Code translation hooks with history reuse, independent controls, and display-only Chinese output
$ pi install npm:@orbit-labs-ai/translatorPi 编码代理扩展:零配置复用千问办公(QwenWorkCN)桌面 App 的登录态,把它注册为 Pi 内的模型 Provider。
$ pi install npm:@xiao-hans/pi-provider-qwenworkPi extension that renders the footer by delegating to the CCometixLine (ccline) statusline binary
$ pi install npm:@caph42/pi-cclinePi extension for durable background shell tasks, watchers, logs, and status inspection.
$ pi install npm:@thoth-agents/pi-background-tasksPi harness package for companion readiness. Product workflow lives in Grupo Ilao engineering skills.
$ pi install npm:@felipe.3dfx/pi-workflow1Password integration for the Pi coding agent. Read secrets and run commands with 1Password credential injection via the op CLI.
$ pi install npm:@jmcombs/pi-1passwordPeer coordination for independently opened Pi sessions with groups, artifacts, and mailboxes
$ pi install npm:@spences10/pi-team-modeToggle ChatGPT subscription fast mode in pi, with subscription usage estimates.
$ pi install npm:@nijaru/pi-fast-modeHardened fork of nicobailon/pi-web-access (synced to v0.38.0) with unified proxy mode + destination-first credential gating, redacted errors, and memory_search over local history.
$ pi install npm:pi-ext-int-searchWayfinder grilling → task frontier → type-specific execution: a planning workflow for docs/tasks/. Pi extension.
$ pi install npm:@y4shin/pi-task-workflowPi package that keeps CodeGraph reachable from gentle-shell subagents: normalizes agent tool lists and the codegraph MCP exposure on every session start, and pre-fetches CodeGraph for the explorer.
$ pi install npm:@zhalker/gentle-shell-codegraph-subagentsPi extension that uses Claude Code (via Agent SDK) as a model provider.
$ pi install npm:pi-claude-agent-sdkGoal mode extension for pi: durable long-running objectives, a constant six-tool surface, structured tasks, independent completion audit, Sisyphus mode, auto-continue, and a status overlay.
$ pi install npm:@xzzpig/pi-goal-xMulti-account Anthropic Claude routing extension for pi
$ pi install npm:@ravshansbox/pi-multi-claudeOpinionated Modular Pi Subagents (OMPS): YAML-mapped personas run as native Pi child processes.
$ pi install npm:om-pi-subagentsCopy any past assistant reply to the clipboard from Pi (/copy-reply two-pane picker, last, or Nth-newest)
$ pi install npm:pi-copy-replyMake pi's Anthropic OAuth requests match the current Claude Code client so OAuth login works correctly.
$ pi install npm:@pi-plugins/claude-oauthA file mailbox between Pi sessions on the same machine
$ pi install npm:pi-session-mail⁂ Casual — a project-free home for everyday PI WEB conversations, in one tab with a numbered strip.
$ pi install npm:pi-web-casualThe Pi extension of harness: the subagent tool, the /subagent command, the subagents widget, the /harness mirror sessions and the subagent skill
$ pi install npm:@vzlentin/pi-agentsAutomatic execution approval review for Pi, inspired by Codex's "Approve for me". Reviews tool execution with rules and Pi's current model, requesting user approval when needed.
$ pi install npm:@buyong/pi-codex-auto-reviewDelayed desktop notifications with circuit breaker for pi-archimedes
$ pi install npm:@pi-archimedes/notifyHashline edit extension for pi
$ pi install npm:@ravshansbox/pi-hashline-editKeeps cx's reports and drafts on a board beside the chat.
$ pi install npm:@comchatx/cx-boardPersistent memory for Pi — Rembric's MCP tools, slash commands, nudges and session capture
$ pi install npm:@rembric/piStructured question tool with tabbed multi-question flow and inline note editing
$ pi install npm:@pi-archimedes/askPi compaction that reuses the model server's prefix cache (vLLM, SGLang, llama.cpp, or hosted APIs with automatic caching such as DeepSeek; Anthropic Messages and OpenAI Chat Completions): no cold re-prefill of the history, a warm-up so the next turn star
$ pi install npm:pi-prefix-cache-compactionUse your Claude Pro, Max or Ultra plan in the Pi coding agent with Opus, Sonnet, Haiku and Fable. No API key, no Claude Code. Shows your usage limits and warns when requests are billed as extra usage.
$ pi install npm:pi-claude-proPi extension with independent Main and Subagents permission profiles, file guards, and OS sandbox enforcement.
$ pi install npm:pi-better-sandboxWeb search, URL fetching, GitHub repo extraction, and content tools for Pi.
$ pi install npm:@hheei/pi-web-accessInspect and manage stored sessions; review deletion behavior before use.
$ pi install npm:@saifymatteo/pi-session-retention