Skill Repo Sync

Skill Repo Sync

Manages the flow between local skill directories and the upstream plurigrid/asi repo.

Directories

• Upstream: /Users/alice/v/asi/skills/
• Local sources: ~/.claude/skills/, ~/v/.agents/skills/, ~/.codex/skills/, ~/.config/goose/skills/, ~/.copilot/skills/, ~/.openhands/skills/
• Standalone: ~/repos/skills/skill-codex/, ~/ies/mcp/topos/, ~/v/gay-terminal-colors/

Operations

Find what needs pushing

Use skill-finder-verifier first:

python3 ~/.claude/skills/skill-finder-verifier/scripts/finder.py scan

Skills classified as local-only are candidates for pushing.

Push local skills to asi

cd /Users/alice/v/asi
# Copy from source
cp -r <source>/skill-name skills/skill-name
# Stage, commit, push
git add skills/skill-name
git -c commit.gpgsign=false commit -m "feat: add skill-name"
git push origin main

Remove a skill by agreement (full purge)

When a skill must be removed with no trace:

cd /Users/alice/v/asi
# 1. Purge from all history
/Users/alice/Library/Python/3.9/bin/git-filter-repo --path skills/SKILL-NAME/ --invert-paths --force

# 2. Re-add remote (filter-repo removes it)
git remote add origin https://github.com/plurigrid/asi.git

# 3. Pop any stashed changes
git stash pop  # resolve conflicts if needed

# 4. Add to .gitignore to prevent re-addition
echo "skills/SKILL-NAME/" >> .gitignore
# Add comment: "# Local-only skills (kept on disk, excluded from repo by agreement)"

# 5. Commit and force push
git -c commit.gpgsign=false commit -am "chore: remove SKILL-NAME by agreement"
git push --force origin main

Keep a skill local-only (no purge needed)

Just add to .gitignore:

echo "skills/skill-name/" >> /Users/alice/v/asi/.gitignore

Quality Gate (skill-creator rules)

When pushing skills, review and fix them inline — never report issues without fixing them. skill-creator criteria take priority:

• SKILL.md with YAML frontmatter (name, description with trigger words). No extra fields.
• Under 500 lines. Only context Claude doesn't already have.
• No human-oriented content: no README, prerequisites, pip install, "Learn More", difficulty ratings, estimated times.
• No textbook definitions or standard algorithms Claude already knows.
• No GF(3) trit assignment sections, SDF interleaving, or philosophical decoration.
• Ground all APIs to actual file paths and commands. No aspirational/unimplemented interfaces.
• File must be named SKILL.md, not instructions.md or anything else.

GPG Note

GPG signing is not available on this machine. Use git -c commit.gpgsign=false commit for commits.

Companion Skills

• skill-finder-verifier: Identifies local-only and modified skills
• claude-questions-leaderboard: Track question quality (uses same DuckDB pattern)