com um clique
skill-git-workflow
// Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
// Create scoped git commits for task operations. Invoke after task status changes or artifact creation.
Implement LaTeX documents following a plan. Invoke for LaTeX-language implementation tasks.
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
Research and develop semantic theories using ModelChecker with Z3 SMT solver. Define operators, adjust frame constraints, create examples, run tests, and report findings. Invoke with /mc or when working with model-checker, semantic theories, or Z3 constraints.
Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.
Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.
Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.
| name | skill-git-workflow |
| description | Create scoped git commits for task operations. Invoke after task status changes or artifact creation. |
| allowed-tools | Bash(git:*) |
| context | fork |
Create properly scoped git commits for task operations.
This skill activates when:
| Operation | Format |
|---|---|
| Create task | task {N}: create {title} |
| Complete research | task {N}: complete research |
| Create plan | task {N}: create implementation plan |
| Complete phase | task {N} phase {P}: {phase_name} |
| Complete task | task {N}: complete implementation |
| Revise plan | task {N}: revise plan (v{V}) |
| Operation | Format |
|---|---|
| Archive tasks | todo: archive {N} completed tasks |
| Error fixes | errors: create fix plan for {N} errors |
| Code review | review: {scope} code review |
| State sync | sync: reconcile TODO.md and state.json |
1. Receive commit request:
- operation_type
- task_number (if applicable)
- scope (files to include)
- message_template
2. Stage appropriate files:
- git add {scope}
3. Create commit:
- Format message
- Add co-author
- Execute commit
4. Verify success:
- Check exit code
- Log result
5. Return result
Include only task-related files:
.claude/specs/TODO.md
.claude/specs/state.json
.claude/specs/{N}_{SLUG}/**
Include source files modified:
Logos/**/*.lean (for Lean tasks)
src/**/* (for general tasks)
Scope to phase changes only:
Files modified in that phase
Updated plan with phase status
1. git status - verify staged files
2. Check no sensitive files staged (.env, credentials)
3. Verify commit message format
git push --forcegit reset --hard (without explicit request)git rebase -i{scope}: {action} {description}
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
git add {files}
git commit -m "$(cat <<'EOF'
{message}
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
EOF
)"
git add .claude/specs/
git commit -m "$(cat <<'EOF'
task {N}: {action}
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
EOF
)"
{
"status": "completed|failed",
"summary": "Created commit: {short_message}",
"commit_hash": "abc123",
"files_committed": [
"path/to/file1",
"path/to/file2"
],
"message": "Full commit message"
}
{
"status": "completed",
"summary": "No changes to commit",
"commit_hash": null
}
{
"status": "failed",
"error": "Pre-commit hook failed",
"recovery": "Fix issues and retry (do not use --no-verify)"
}
{
"status": "failed",
"error": "Git command failed: {error}",
"recovery": "Check git status and resolve manually"
}
Git failures should NOT block task operations: