GitHub
hol4
HOL4 proof development pipeline - planning, sketching, and proving phases. (project)
Skills IA Outils
Découvrez les skills Outils, comparez leurs dépôts et consultez leurs instructions.
Catégories: Outils
Outils Effacer les filtres
Explorer
GitHub
hol
HOL4 interactive proof development. Use when working with HOL4 proofs, .sml theorem files, Holmake builds, or hol-agent-helper.sh sessions. (project)
GitHub
knowledge-manager
Manages user preferences and learned knowledge with confidence scoring
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...
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...
GitHub
image-gen
Generate images using Google's Nano Banana Pro (Gemini 3 Pro Image) with workflow-based prompting
GitHub
obsidian-manager
Manage Obsidian vault for persistent knowledge storage, search, and retrieval
GitHub
research
Multi-LLM parallel research with query decomposition and synthesis
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...
GitHub
browser-control
Full browser control for authenticated web interactions using Playwright scripts
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...
GitHub
freshservice-manager
Manage Freshservice tickets, approvals, and get team performance reports across all workspaces
GitHub
psd-brand-guidelines
Apply Peninsula School District official brand colors, typography, and logos to artifacts
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...
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
GitHub
presentation-master
World-class presentation creation embodying principles from Garr Reynolds, Nancy Duarte, Guy Kawasaki, Seth Godin, and TED
GitHub
writer
Generate content in your authentic voice across emails, blogs, social media, and reports
GitHub
strategic-planning-manager
Annual strategic review and goal-setting interview across life/work domains with quarterly progress check-ins
GitHub
omnifocus-manager
Manage OmniFocus tasks, projects, and inbox with proper tagging and organization
GitHub
google-workspace
Unified Google Workspace integration for managing email, calendar, files, and communication across multiple accounts
GitHub
drafts-manager
Triage Drafts inbox and route notes to OmniFocus tasks or Obsidian documents
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...
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.
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.
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.