بنقرة واحدة
git
Best practices for git usage, commits, and workflow
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
القائمة
Best practices for git usage, commits, and workflow
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
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
استنادا إلى تصنيف SOC المهني
| 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>