Skip to main content
GitHub repository

dotfiles

dotfiles contains 9 collected skills from aymericbeaumet, with repository-level occupation coverage and site-owned skill detail pages.

skills collected
9
Stars
15
updated
2026-06-03
Forks
1
Occupation coverage
1 occupation categories · 100% classified
repository explorer

Skills in this repository

commit
software-developers

Stage all changes and commit with an auto-generated message. Does NOT push.

2026-06-03
distill
software-developers

Distill the current session into a rich, scoped memory entry — for Codex sessions, append to ~/.codex/memories/rollout_summaries/ in the established task-group format; for Claude sessions, write to the auto-memory directory. Use when you've finished a non-trivial unit of work that future-you (or another agent) should benefit from.

2026-06-03
pr
software-developers

Create a new pull request or update an existing one's title and description. Use when the user asks to open a PR, submit a PR, update a PR, or push changes for review.

2026-06-03
squash
software-developers

Squash all local commits (ahead of remote) into a single commit with an auto-generated message.

2026-06-03
peon-ping-config
software-developers

Update peon-ping configuration — volume, pack rotation, categories, active pack, and other settings. Use when user wants to change peon-ping settings like volume, enable round-robin, add packs to rotation, toggle sound categories, or adjust any config.

2026-05-28
peon-ping-log
software-developers

Log exercise reps for the Peon Trainer. Use when user says they did pushups, squats, or wants to log reps. Examples - "/peon-ping-log 25 pushups", "/peon-ping-log 30 squats", "log 50 pushups".

2026-05-28
peon-ping-toggle
software-developers

Toggle peon-ping sound notifications on/off. Use when user wants to mute, unmute, pause, or resume peon sounds during a session.

2026-05-28
peon-ping-use
software-developers

Set which voice pack (character voice) plays for the current chat session. Use when user wants a specific character voice like GLaDOS, Peon, or Kerrigan for this conversation.

2026-05-28
push
software-developers

Stage all changes, commit with an auto-generated message, pull/rebase remote, and push.

2026-05-28