GitHub
hol4
HOL4 proof development pipeline - planning, sketching, and proving phases. (project)
☆ 3查看技能
工具与集成 AI 技能
发现 工具与集成 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 工具与集成
工具与集成 清除筛选
全部技能
GitHub
hol
HOL4 interactive proof development. Use when working with HOL4 proofs, .sml theorem files, Holmake builds, or hol-agent-helper.sh sessions. (project)
☆ 3查看技能
GitHub
knowledge-manager
Manages user preferences and learned knowledge with confidence scoring
☆ 3查看技能
GitHub
skill-creator
Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that extends Claude's capabilities with specialized knowledge, workflows, or to...
☆ 3查看技能
GitHub
xlsx
Comprehensive spreadsheet creation, editing, and analysis with support for formulas, formatting, data analysis, and visualization. When Claude needs to work with spreadsheets (.xlsx, .xlsm, .csv, .tsv, etc) for...
☆ 3查看技能
GitHub
image-gen
Generate images using Google's Nano Banana Pro (Gemini 3 Pro Image) with workflow-based prompting
☆ 3查看技能
GitHub
obsidian-manager
Manage Obsidian vault for persistent knowledge storage, search, and retrieval
☆ 3查看技能
GitHub
research
Multi-LLM parallel research with query decomposition and synthesis
☆ 3查看技能
GitHub
pptx
Presentation creation, editing, and analysis. When Claude needs to work with presentations (.pptx files) for: (1) Creating new presentations, (2) Modifying or editing content, (3) Working with layouts, (4) Addi...
☆ 3查看技能
GitHub
browser-control
Full browser control for authenticated web interactions using Playwright scripts
☆ 3查看技能
GitHub
docx
Comprehensive document creation, editing, and analysis with support for tracked changes, comments, formatting preservation, and text extraction. When Claude needs to work with professional documents (.docx file...
☆ 3查看技能
GitHub
freshservice-manager
Manage Freshservice tickets, approvals, and get team performance reports across all workspaces
☆ 3查看技能
GitHub
psd-brand-guidelines
Apply Peninsula School District official brand colors, typography, and logos to artifacts
☆ 3查看技能
GitHub
Comprehensive PDF manipulation toolkit for extracting text and tables, creating new PDFs, merging/splitting documents, and handling forms. When Claude needs to fill in a PDF form or programmatically process, ge...
☆ 3查看技能
GitHub
multi-model-research
Orchestrate multiple frontier LLMs (Claude, GPT-5.1, Gemini 3.0 Pro, Perplexity Sonar, Grok 4.1) for comprehensive research using LLM Council pattern with peer review and synthesis
☆ 3查看技能
GitHub
presentation-master
World-class presentation creation embodying principles from Garr Reynolds, Nancy Duarte, Guy Kawasaki, Seth Godin, and TED
☆ 3查看技能
GitHub
writer
Generate content in your authentic voice across emails, blogs, social media, and reports
☆ 3查看技能
GitHub
strategic-planning-manager
Annual strategic review and goal-setting interview across life/work domains with quarterly progress check-ins
☆ 3查看技能
GitHub
omnifocus-manager
Manage OmniFocus tasks, projects, and inbox with proper tagging and organization
☆ 3查看技能
GitHub
google-workspace
Unified Google Workspace integration for managing email, calendar, files, and communication across multiple accounts
☆ 3查看技能
GitHub
drafts-manager
Triage Drafts inbox and route notes to OmniFocus tasks or Obsidian documents
☆ 3查看技能
GitHub
researching-codebase
This skill should be used when the user asks to "research the codebase", "understand how X works", "explore the code", "gather context", "investigate the implementation", "analyze the architecture", or invokes...
☆ 3查看技能
GitHub
git-worktrees
Isolated workspace creation for parallel development work. Use when starting feature work that needs isolation from the current workspace. Creates git worktrees with proper setup and safety verification.
☆ 3查看技能
GitHub
finishing-work
Structured completion workflow for implementation work. Use when implementation is complete, all tests pass, and you need to decide how to integrate the work. Guides merge, PR creation, or cleanup decisions.
☆ 3查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。