Skill Claude CodeOpenCode
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support.
not rated 443
+1 2d ago A 21 tokens
443Stars on the repository
223Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
skill-memory
50Skill Claude CodeOpenCode
Memory vault management - create, search, classify, and index memories. Invoke for /learn command memory operations.
not rated 443
+1 2d ago A 25 tokens
Skill Claude CodeOpenCode
Implement Nix configuration changes from plans. Invoke for nix implementation tasks.
not rated 443
+1 2d ago A 20 tokens
Skill Claude CodeOpenCode
Conduct Nix/NixOS/Home Manager research using MCP-NixOS, web docs, and codebase exploration. Invoke for nix research tasks.
not rated 443
+1 2d ago A 35 tokens
Skill Claude CodeOpenCode
Implement Neovim configuration changes from plans. Invoke for neovim implementation tasks.
not rated 443
+1 2d ago A 24 tokens
Skill Claude CodeOpenCode
Conduct Neovim configuration research using plugin docs and codebase exploration. Invoke for neovim research tasks.
not rated 443
+1 2d ago A 29 tokens
skill-budget
55Skill Claude CodeOpenCode
Grant budget spreadsheet generation with forcing questions. Invoke for budget tasks.
not rated 443
+1 2d ago A 16 tokens
skill-funds
56Skill Claude CodeOpenCode
Funding landscape analysis with funder portfolio mapping. Invoke for funds tasks.
not rated 443
+1 2d ago A 18 tokens
skill-grant
57Skill Claude CodeOpenCode
Grant proposal research and drafting with funder analysis. Invoke for grant tasks.
not rated 443
+1 2d ago A 19 tokens
Skill Claude CodeOpenCode
Interactive critique loop for slide presentations. Delegates to slide-critic-agent, presents findings to user, collects accept/reject/modify decisions, produces filtered critique report.
not rated 443
+1 2d ago A 38 tokens
Skill Claude CodeOpenCode
Interactive slide planning with narrative arc review and per-slide feedback. Invoke for /plan on present:slides tasks.
not rated 443
+1 2d ago A 27 tokens
skill-slides
60Skill Claude CodeOpenCode
Research talk material synthesis, design-aware planning, and presentation assembly. Invoke for slides tasks.
not rated 443
+1 2d ago A 22 tokens
Skill Claude CodeOpenCode
Research timeline planning for medical research projects. Invoke for timeline tasks.
not rated 443
+1 2d ago A 17 tokens
Skill Claude CodeOpenCode
Implement Python code. Invoke for Python-language implementation tasks.
not rated 443
+1 2d ago A 16 tokens
Skill Claude CodeOpenCode
Research Python development tasks. Invoke for Python-language research.
not rated 443
+1 2d ago A 16 tokens
Skill Claude CodeOpenCode
Implement Typst documents. Invoke for Typst-language implementation tasks.
not rated 443
+1 2d ago A 20 tokens
Skill Claude CodeOpenCode
Research Typst documentation tasks. Invoke for Typst-language research.
not rated 443
+1 2d ago A 20 tokens
Skill Claude CodeOpenCode
Implement web (Astro/Tailwind/TypeScript) changes following a plan. Invoke for web-language implementation tasks.
not rated 443
+1 2d ago A 29 tokens
Skill Claude CodeOpenCode
Conduct web development research using framework docs and codebase exploration. Invoke for web research tasks.
not rated 443
+1 2d ago A 23 tokens
Skill Claude CodeOpenCode
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
not rated 443
+1 2d ago A 19 tokens
Skill Claude CodeOpenCode
Research Z3/SMT tasks. Invoke for Z3-language research.
not rated 443
+1 2d ago A 21 tokens
skill-learn
70Skill Claude CodeOpenCode
Scan codebase for FIX:/NOTE:/TODO:/QUESTION: tags and create structured tasks with interactive selection. Invoke for /learn command.
not rated 443
+1 2d ago A 0 tokens
Skill Claude CodeOpenCode
Autonomous state machine that drives a task through its full lifecycle (research -> plan -> implement -> complete) without user confirmation between phases. Invoke for /orchestrate command.
not rated 443
+1 2d ago A 40 tokens
Skill Claude Code
Execute hard-mode implementation with anti-analysis contracts, per-phase dispatch, and territory-aware execution. Invoke for --hard implementation tasks.
not rated 443
+1 2d ago B 31 tokens
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: