GitHub
code-simplifier
Simplifies and refines code for clarity, consistency, and maintainability while preserving all functionality. Focuses on recently modified code unless instructed otherwise.
☆ 0查看技能
商业与营销 AI 技能
发现 商业与营销 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 商业与营销
商业与营销 清除筛选
全部技能
GitHub
stripe-integration
Stripe決済機能の実装・デバッグ・Webhook処理時に使用。サブスクリプション、単発課金、顧客管理を理解。Use when "payment", "webhook", "subscription", "決済エラー", "課金", "Stripe" と言われた時。
☆ 0查看技能
GitHub
material-design
Google Material Design 3 (Material You) に基づいたUIデザイン。動的カラーシステム、アダプティブデザイン、アクセシビリティ重視。UIコンポーネント作成時に使用。Use when "Material You", "Material Design", "Google st...
☆ 0查看技能
GitHub
apple-design
Apple風のモダンUIデザイン。モノトーンダークモード基調、青系アクセントカラー、ミニマルで洗練されたインターフェース。UIコンポーネント作成時に使用。Use when "dark mode", "minimal UI", "Apple style", "ダークモード"...
☆ 0查看技能
GitHub
review
Performs comprehensive PR code review from 5 perspectives (quality/performance/tests/docs/security) in parallel, providing Blockers/Suggestions/Nice-to-have and merge decision. Args: /review [owner/repo] [pr-nu...
☆ 0查看技能
GitHub
e2e-testing
Supports E2E test creation, debugging, and failure fixes for Playwright tests. Activates when user mentions "test failed", "flaky test", "E2Eが落ちた", "テストが動かない", "Playwright error", "新規テスト作成",...
☆ 0查看技能
GitHub
pptx-translation
Assists with PowerPoint translation feature implementation, debugging, and improvements. Covers PPTX processing, Claude API integration, and the full translation workflow. Activates when user mentions "translat...
☆ 0查看技能
GitHub
claude-skill-creator
Provides guidance for creating effective Claude Code skills with proper YAML frontmatter, directory structure, and best practices. Activates when user mentions "create skill", "new skill", "スキル作成", "SKILL....
☆ 0查看技能
GitHub
create-job
Creates a Siril job file for a target by scanning the data folder structure, reading FITS headers for temperature, and finding matching calibration files.
☆ 0查看技能
GitHub
rweq-proofs
Helps construct RwEq (rewrite equivalence) proofs using transitivity, congruence, and canonical lemmas from the LND_EQ-TRS system. Use when proving path equalities, working with quotients, or establishing rewri...
☆ 0查看技能
GitHub
path-tactics
Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure calc-based proofs cleanly.
☆ 0查看技能
GitHub
quotients-and-lifts
Work effectively with Lean 4 quotients in ComputationalPaths (Quot.lift/Quot.ind/Quot.sound), including nested lifts and common proof obligations.
☆ 0查看技能
GitHub
lean-build
Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for errors, running tests, cleaning artifacts, or debugging Lean 4 compilation issues.
☆ 0查看技能
GitHub
quotients-and-lifts
Work effectively with Lean 4 quotients in ComputationalPaths (Quot.lift/Quot.ind/Quot.sound), including nested lifts and common proof obligations.
☆ 0查看技能
GitHub
aristotle
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries that needs automated proof search. Handles API setup, HIT detection, and result verificatio...
☆ 0查看技能
GitHub
ci-and-releases
A lightweight checklist for CI, toolchain bumps, and version/release hygiene for the ComputationalPaths Lean 4 project (Lake + lean-action CI).
☆ 0查看技能
GitHub
lean-build
Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for errors, running tests, cleaning artifacts, or debugging Lean 4 compilation issues.
☆ 0查看技能
GitHub
ci-and-releases
A lightweight checklist for CI, toolchain bumps, and version/release hygiene for the ComputationalPaths Lean 4 project (Lake + lean-action CI).
☆ 0查看技能
GitHub
aristotle
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries that needs automated proof search. Handles API setup, HIT detection, and result verificatio...
☆ 0查看技能
GitHub
lean-hit-development
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topologica...
☆ 0查看技能
GitHub
rweq-proofs
Helps construct RwEq (rewrite equivalence) proofs using transitivity, congruence, and canonical lemmas from the LND_EQ-TRS system. Use when proving path equalities, working with quotients, or establishing rewri...
☆ 0查看技能
GitHub
path-tactics
Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure calc-based proofs cleanly.
☆ 0查看技能
GitHub
lean-hit-development
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topologica...
☆ 0查看技能
GitHub
web-design-reviewer
This skill enables visual inspection of websites running locally or remotely to identify and fix design issues. Triggers on requests like "review website design", "check the UI", "fix the layout", "find design...
☆ 0查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。