The Point-Free Way CLI

A CLI tool for downloading and managing Point-Free Way skills.

Quick start

1. Install the CLI

   Using Homebrew:

   $ brew install pointfreeco/tap/pfw

2. Log into your Point-Free account

   $ pfw login

3. Fetch the latest Point-Free Way skills

   $ pfw install --tool codex

Supported AI Tools

pfw install --tool	Install Path
agents (generic)	~/.agents/skills
amp	~/.agents/skills
antigravity	~/.gemini/antigravity/global_skills
claude	~/.claude/skills
codex	~/.codex/skills
copilot	~/.copilot/skills
cursor	~/.cursor/skills
droid	~/.factory/skills
gemini	~/.gemini/skills
kimi	~/.kimi/skills
kiro	~/.kiro/skills
opencode	~/.config/opencode/skills
xcode:claude	~/Library/Developer/Xcode/CodingAssistant/ClaudeAgentConfig/skills
xcode:codex	~/Library/Developer/Xcode/CodingAssistant/codex/skills