commit

takoeight0821/ziku

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.

0 stars

0 forks

Lean

69 views

View on GitHub Add to Favorites

Installation

Option 1: Use slash command in Claude Code

/install-skill https://github.com/takoeight0821/ziku/tree/feat/type-inference-improvements/.claude/skills/commit

Option 2: Clone to skills directory

# Global (all projects)

git clone https://github.com/takoeight0821/ziku/tree/feat/type-inference-improvements/.claude/skills/commit ~/.claude/skills/ziku

# Project-specific

git clone https://github.com/takoeight0821/ziku/tree/feat/type-inference-improvements/.claude/skills/commit .claude/skills/ziku

Add MCP server to .cursor/mcp.json:

{
  "mcpServers": {
    "skillz": {
      "command": "npx",
      "args": ["-y", "skillz-mcp", "https://github.com/takoeight0821/ziku/tree/feat/type-inference-improvements/.claude/skills/commit"]
    }
  }
}

Restart Cursor after adding the configuration.

Option 1: Use Gemini CLI command

gemini extensions install https://github.com/takoeight0821/ziku/tree/feat/type-inference-improvements/.claude/skills/commit

Option 2: Clone to extensions directory

git clone https://github.com/takoeight0821/ziku/tree/feat/type-inference-improvements/.claude/skills/commit ~/.gemini/extensions/ziku

Topics

Related Skills

collimator

Guide for using Collimator, a profunctor optics library for Lean 4. Use when writing code with lenses, prisms, traversals, or when accessing/modifying nested data structures.