con un clic
git
Best practices for git usage, commits, and workflow
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Menú
Best practices for git usage, commits, and workflow
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional SOC
Optimizing arithmetic circuits / constraint systems (R1CS, PLONKish, AIR) for zero-knowledge proofs — minimizing multiplication constraints, rows, witnesses, and gate degree. Use when reducing constraint/witness counts, designing or golfing R1CS/PLONK/AIR gadgets (boolean ops, adders, range checks, hashes like SHA-256/Keccak/Poseidon), doing foreign-field/non-native or CRT/RNS arithmetic, choosing lookups vs arithmetic, or using SMT (cvc5) and SageMath (Gröbner basis) to synthesize, verify, and certify constraint encodings.
Writing, proving, and debugging Lean 4 + Mathlib. Use when proving theorems, filling `sorry`s, formalizing math, fixing broken proofs, or setting up a Lean project. Covers the cached-Mathlib setup and a plan-first proving workflow.
Performance-guided Rust optimization using benchmarks, sampling profilers, and agent-readable profiling artifacts. Use when optimizing Rust throughput, latency, CPU time, allocations, code size, compile/runtime hot paths, Criterion benchmarks, hyperfine measurements, Linux perf, macOS xctrace/Instruments, samply, flamegraphs, heap profilers, cargo-bloat, cargo-llvm-lines, or cargo-asm.
The essential best practices for Rust development
Invoke Codex CLI as a sub-agent for code tasks. Useful for second opinions, parallel exploration, or offloading isolated subtasks.
Best practices for Python development
| name | Git |
| description | Best practices for git usage, commits, and workflow |
| version | 1.0.0 |
Before writing a commit message, inspect the recent history to understand the repo's conventions:
git log --oneline -20
Match the existing style — capitalization, use of scopes, prefix conventions, verbosity of bodies, etc. The Conventional Commits format below is a default; if the repo uses a different consistent style, follow that instead.
Default format (Conventional Commits):
<type>[optional scope]: <description>
[optional body]
[optional footer(s)]
Types: feat, fix, refactor, test, docs, chore, perf, style, ci, build
Co-Authored-By: Claude or similar AI attribution linesfeat(auth): add OAuth2 login flow
Replaces the previous session-based auth with OAuth2 to support
third-party integrations. Token refresh is handled automatically.
fix(parser): handle empty input without panicking
refactor: extract validation logic into separate module
# Bad: mentions AI
feat: add login (generated by Claude)
# Bad: vague
fix: stuff
# Bad: past tense
fixed: the bug in parser
# Bad: AI co-author
feat: add feature
Co-Authored-By: Claude <noreply@anthropic.com>
Prefer staging specific files over staging everything:
# Good: intentional
git add src/auth.rs tests/auth_test.rs
# Avoid: may include unintended files
git add -A
git add .
Always review staged changes before committing:
git diff --staged
--no-gpg-sign, and do not disable commit.gpgsign to work around a signing problem.fix/null-pointer-login, feat/oauth2-flowgit commit --amendgit rebase -i to clean up local history before pushingUse annotated tags for releases:
git tag -a v1.2.3 -m "Release v1.2.3"
Keep PR titles and bodies short, accurate, and neat.
Before opening a PR, check recent merged PRs to match the repo's tone and structure:
gh pr list --state merged --limit 10
gh pr view <number>