GitHub
hol4
HOL4 proof development pipeline - planning, sketching, and proving phases. (project)
☆ 3View skill
Tools AI Skills
Discover Tools skills, compare source repositories and read the instructions for each workflow.
Categories: Tools
Tools Clear filters
Browse 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)
☆ 3View skill
GitHub
knowledge-manager
Manages user preferences and learned knowledge with confidence scoring
☆ 3View skill
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...
☆ 3View skill
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...
☆ 3View skill
GitHub
image-gen
Generate images using Google's Nano Banana Pro (Gemini 3 Pro Image) with workflow-based prompting
☆ 3View skill
GitHub
obsidian-manager
Manage Obsidian vault for persistent knowledge storage, search, and retrieval
☆ 3View skill
GitHub
research
Multi-LLM parallel research with query decomposition and synthesis
☆ 3View skill
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...
☆ 3View skill
GitHub
browser-control
Full browser control for authenticated web interactions using Playwright scripts
☆ 3View skill
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...
☆ 3View skill
GitHub
freshservice-manager
Manage Freshservice tickets, approvals, and get team performance reports across all workspaces
☆ 3View skill
GitHub
psd-brand-guidelines
Apply Peninsula School District official brand colors, typography, and logos to artifacts
☆ 3View skill
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...
☆ 3View skill
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
☆ 3View skill
GitHub
presentation-master
World-class presentation creation embodying principles from Garr Reynolds, Nancy Duarte, Guy Kawasaki, Seth Godin, and TED
☆ 3View skill
GitHub
writer
Generate content in your authentic voice across emails, blogs, social media, and reports
☆ 3View skill
GitHub
strategic-planning-manager
Annual strategic review and goal-setting interview across life/work domains with quarterly progress check-ins
☆ 3View skill
GitHub
omnifocus-manager
Manage OmniFocus tasks, projects, and inbox with proper tagging and organization
☆ 3View skill
GitHub
google-workspace
Unified Google Workspace integration for managing email, calendar, files, and communication across multiple accounts
☆ 3View skill
GitHub
drafts-manager
Triage Drafts inbox and route notes to OmniFocus tasks or Obsidian documents
☆ 3View skill
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...
☆ 3View skill
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.
☆ 3View skill
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.
☆ 3View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.