Skill Claude CodeOpenCode
Pitch deck planning with interactive template, content, and ordering selection.
not rated 443
+1 2d ago A 17 tokens
Skill Claude CodeOpenCode
Pitch deck content research through material synthesis.
not rated 443
+1 2d ago A 13 tokens
Skill Claude CodeOpenCode
Financial analysis and verification for founders.
not rated 443
+1 2d ago A 10 tokens
Skill Claude CodeOpenCode
Financial analysis with forcing questions and spreadsheet generation.
not rated 443
+1 2d ago A 13 tokens
Skill Claude CodeOpenCode
Execute founder plans and generate strategy reports.
not rated 443
+1 2d ago A 12 tokens
Skill Claude CodeOpenCode
Create founder analysis plans with interactive forcing questions.
not rated 443
+1 2d ago A 12 tokens
Skill Claude CodeOpenCode
Cost breakdown spreadsheet generation with forcing questions.
not rated 443
+1 2d ago A 13 tokens
skill-legal
104Skill Claude CodeOpenCode
Contract review and legal analysis for founders.
not rated 443
+1 2d ago A 11 tokens
skill-market
105Skill Claude CodeOpenCode
Market sizing research with TAM/SAM/SOM framework.
not rated 443
+1 2d ago A 13 tokens
skill-meeting
106Skill Claude CodeOpenCode
Investor meeting note processing and CSV tracking.
not rated 443
+1 2d ago A 11 tokens
skill-project
107Skill Claude CodeOpenCode
Project research with scope analysis and timeline estimation.
not rated 443
+1 2d ago A 11 tokens
skill-strategy
108Skill Claude CodeOpenCode
Go-to-market strategy research with positioning and channels.
not rated 443
+1 2d ago A 13 tokens
Agent Claude CodeOpenCode
Implement LaTeX documents following implementation plans.
not rated 443
+1 2d ago A 13 tokens
Agent Claude CodeOpenCode
Research LaTeX documentation tasks using domain context and codebase exploration.
not rated 443
+1 2d ago A 18 tokens
Skill Claude CodeOpenCode
Implement LaTeX documents. Invoke for LaTeX-language implementation tasks.
not rated 443
+1 2d ago A 21 tokens
Skill Claude CodeOpenCode
Research LaTeX documentation tasks. Invoke for LaTeX-language research.
not rated 443
+1 2d ago A 21 tokens
Agent Claude CodeOpenCode
Implement Lean 4 proofs following implementation plans.
not rated 443
+1 2d ago A 13 tokens
Agent Claude CodeOpenCode
Research Lean 4 and Mathlib for theorem proving tasks.
not rated 443
+1 2d ago A 16 tokens
lake
115Command Claude CodeOpenCode
Run Lean build with automatic error repair.
not rated 443
+1 2d ago A 7 tokens
lean
116Command Claude CodeOpenCode
Manage Lean toolchain and Mathlib versions.
not rated 443
+1 2d ago A 8 tokens
Agent Claude CodeOpenCode
Reference: Load when executing lean-implementation-agent after Stage 0.
not rated 443
+1 2d ago A 0 tokens
Agent Claude CodeOpenCode
Reference: Load when executing lean-research-agent after Stage 0.
not rated 443
+1 2d ago A 0 tokens
Skill Claude CodeOpenCode
Run Lean build with automatic error repair for missing cases, unused variables, and unused imports.
not rated 443
+1 2d ago A 23 tokens
Skill Claude CodeOpenCode
Implement Lean 4 proofs and definitions using lean-lsp tools. Invoke for Lean-language implementation tasks.
not rated 443
+1 2d ago A 26 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: