A CLI tool for downloading and managing Point-Free Way skills.
-
Install the CLI
Using Homebrew:
brew install pointfreeco/tap/pfw
-
Log into your Point-Free account
pfw login
-
Fetch the latest Point-Free Way skills
pfw install --tool codex
pfw install --tool |
Install Path |
|---|---|
agents (generic) |
~/.agents/skills |
amp |
~/.agents/skills |
antigravity |
~/.gemini/antigravity/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 |
pi |
~/.pi/agent/skills |
xcode:claude |
~/Library/Developer/Xcode/CodingAssistant/ClaudeAgentConfig/skills |
xcode:codex |
~/Library/Developer/Xcode/CodingAssistant/codex/skills |