Skill Claude CodeOpenCode
Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.
not rated 443
+1 2d ago A 36 tokens
Skill Claude CodeOpenCode
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support.
not rated 443
+1 2d ago A 21 tokens
skill-memory
123Skill 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
Agent Claude CodeOpenCode
Implement Nix configuration changes from plans.
not rated 443
+1 2d ago A 13 tokens
Agent Claude CodeOpenCode
Research NixOS and Home Manager configuration tasks.
not rated 443
+1 2d ago A 15 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
Agent Claude CodeOpenCode
Implement Neovim configuration changes from plans.
not rated 443
+1 2d ago A 15 tokens
Agent Claude CodeOpenCode
Research Neovim configuration and plugin tasks.
not rated 443
+1 2d ago A 15 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
budget-agent
132Agent Claude CodeOpenCode
Grant budget spreadsheet generation with forcing questions and XLSX export.
not rated 443
+1 2d ago A 14 tokens
funds-agent
133Agent Claude CodeOpenCode
Funding landscape analysis with funder portfolio mapping and budget verification.
not rated 443
+1 2d ago A 15 tokens
grant-agent
134Agent Claude CodeOpenCode
Grant proposal research and writing with funder analysis.
not rated 443
+1 2d ago A 12 tokens
Agent Claude CodeOpenCode
PowerPoint presentation assembly from slide-mapped research reports.
not rated 443
+1 2d ago A 16 tokens
Agent Claude CodeOpenCode
Review presentation materials against critique rubric.
not rated 443
+1 2d ago A 11 tokens
Agent Claude CodeOpenCode
Create slide-by-slide implementation plans from interactive design feedback and research reports.
not rated 443
+1 2d ago A 18 tokens
Agent Claude CodeOpenCode
Research talk material synthesis for academic presentations.
not rated 443
+1 2d ago A 12 tokens
Agent Claude CodeOpenCode
Slidev presentation assembly from slide-mapped research reports.
not rated 443
+1 2d ago A 16 tokens
timeline-agent
140Agent Claude CodeOpenCode
Research agent for medical research project timelines with WBS/PERT/Gantt capabilities.
not rated 443
+1 2d ago A 18 tokens
budget
141Command Claude CodeOpenCode
Grant budget spreadsheet generation with forcing questions and task integration.
not rated 443
+1 2d ago A 0 tokens
funds
142Command Claude CodeOpenCode
Funding landscape analysis with funder portfolio mapping, budget justification, and gap analysis.
not rated 443
+1 2d ago A 0 tokens
grant
143Command Claude CodeOpenCode
Create grant tasks, execute grant workflows (draft, budget), or create revisions.
not rated 443
+1 2d ago A 0 tokens
timeline
144Command Claude CodeOpenCode
Create timeline tasks or execute research timeline workflows for medical research projects.
not rated 443
+1 2d ago A 0 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: