This skill should be used when the user asks to "create a commit", "commit changes", "write a commit message", "make a commit", needs help with "conventional commits", or wants to understand commit message format and best practices.
Installation
Details
Usage
After installing, this skill will be available to your AI coding assistant.
Verify installation:
npx agent-skills-cli listSkill Instructions
name: commit description: This skill should be used when the user asks to "create a commit", "commit changes", "write a commit message", "make a commit", needs help with "conventional commits", or wants to understand commit message format and best practices.
Conventional Commit Guidelines
Guidance for creating well-structured commit messages following the Conventional Commits specification.
Commit Workflow
- Run
git statusandgit diffto analyze changes - If there are unstaged changes to include, stage them with
git add - Check recent commits with
git log --oneline -5for style reference - Determine the appropriate commit type based on the nature of changes
- Write a concise commit message in imperative mood
- Create the commit
Commit Message Structure
<type>[optional scope]: <description>
[optional body]
[optional footer(s)]
Commit Types
| Type | When to Use |
|---|---|
feat | New feature or capability added |
fix | Bug fix |
refactor | Code change that neither fixes a bug nor adds a feature |
docs | Documentation only changes |
style | Formatting, whitespace, semicolons (no code change) |
test | Adding or correcting tests |
chore | Build process, dependencies, auxiliary tools |
perf | Performance improvement |
ci | CI/CD configuration changes |
build | Build system or external dependency changes |
revert | Reverting a previous commit |
Writing Good Commit Messages
Description Guidelines
- Use imperative mood ("add feature" not "added feature")
- Keep under 50 characters when possible
- Do not end with a period
- Focus on the "what" and "why", not the "how"
Examples
Good:
feat: add user authentication endpoint
fix: resolve null pointer in data parser
refactor: extract validation logic to helper
docs: update API documentation for v2
chore: update dependencies to latest versions
With scope:
feat(auth): add OAuth2 support
fix(parser): handle empty input gracefully
refactor(api): simplify request handling
With body:
feat: add rate limiting to API endpoints
Implement token bucket algorithm for rate limiting.
Default limit is 100 requests per minute per user.
Closes #123
Breaking Changes
Mark breaking changes with an exclamation mark (!) after type/scope:
feat!: remove deprecated API endpoints
feat(api)!: change response format to JSON:API
Or include BREAKING CHANGE: in the footer:
feat: update authentication flow
BREAKING CHANGE: JWT tokens now expire after 1 hour instead of 24 hours
More by takoeight0821
View allSearch for Lean 4 and Mathlib theorems, lemmas, and definitions by type signature, name, or subexpression pattern. Use when the user asks to find a theorem, look up a Lean definition, search for lemmas, or needs help discovering Mathlib functions.
Surface → IR translation rules and IR reduction semantics for Ziku's λμμ̃-calculus based intermediate representation. Use when implementing translation, IR evaluation, or understanding the core semantics.
This skill should be used when the user asks to "refactor", "extract function", "rename", "improve code quality", "reduce duplication", or "remove code smell". Supports Lean 4 and general refactoring patterns.
Find relevant research and guide implementation based on it. Use when implementing features, fixing bugs, or exploring techniques where existing research in docs/research/ may provide guidance. Trigger phrases include "apply research", "use research", "based on the research", "implement from paper", or "find relevant research for [task]".
