1saver
Community@music-brain88 · Tokyo/Japan
Nipponn no Todouhukenn
Agent Skills by 1saver
Showing 11 vetted skills indexed across 1 GitHub repositories.
music-brain88wtclean
Remove merged worktrees and branches from Git repositories.
music-brain88herdr
Manage herdr workspaces and tabs via CLI commands.
music-brain88wt
Generate branch names and create worktrees in Git repositories.
music-brain88release-note
Generate GitHub release notes from pull request details via shell scripting.
music-brain88create-issue
Create GitHub Issues with templates, label suggestions, and preview confirmation.
music-brain88context
Fetches GitHub issues, pull requests, and discussions and summarizes their details.
music-brain88herdr-chat
Implement the herdr protocol for communication between users and AI agents.
music-brain88formal
Automate formal verification of specifications and implementations using Z3, TLC, and Python.
music-brain88session-log
Create and organize research notes from agent session transcripts in Obsidian.
music-brain88daily
Create and update daily notes in Obsidian via shell scripting.
music-brain88pr
Automate pull request creation and updates using GitHub CLI.