Skill Claude CodeOpenCode
Coordinate formal reasoning research across logic, math, and physics domains. Invoke for formal-language research requiring cross-domain coordination.
not rated 443
+1 2d ago A 29 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 Claude CodeOpenCode
Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.
not rated 443
+1 2d ago A 37 tokens
Skill Claude CodeOpenCode
Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.
not rated 443
+1 2d ago A 37 tokens
Skill Claude CodeOpenCode
Research physics formalization tasks using domain context and codebase exploration. Invoke for physics-language research involving dynamical systems, chaos theory, and related formalization.
not rated 443
+1 2d ago A 37 tokens
Skill Claude CodeOpenCode
Competitive landscape research with positioning maps.
not rated 443
+1 2d ago A 10 tokens
Skill Claude CodeOpenCode
Route design consultations to domain-specific design partner agents.
not rated 443
+1 2d ago A 13 tokens
Skill Claude CodeOpenCode
Route deck implementation to deck-builder-agent for Slidev pitch deck generation.
not rated 443
+1 2d ago A 19 tokens
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
39Skill Claude CodeOpenCode
Contract review and legal analysis for founders.
not rated 443
+1 2d ago A 11 tokens
skill-market
40Skill Claude CodeOpenCode
Market sizing research with TAM/SAM/SOM framework.
not rated 443
+1 2d ago A 13 tokens
Skill Claude CodeOpenCode
Investor meeting note processing and CSV tracking.
not rated 443
+1 2d ago A 11 tokens
Skill Claude CodeOpenCode
Project research with scope analysis and timeline estimation.
not rated 443
+1 2d ago A 11 tokens
Skill Claude CodeOpenCode
Go-to-market strategy research with positioning and channels.
not rated 443
+1 2d ago A 13 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
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
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
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: