General
PromptBeginner5 minmarkdown
Untitled Skill
175
- **Abstract Logic:** Category Theory
Homotopy Type Theory
Views0
PublishedFeb 19, 2026
Loading actions...
5 minBeginnerpromptSingle file
Skill content
Main instructions and any bundled files for this skill.
- Abstract Logic: Category Theory
Homotopy Type Theory
Related Skills
General
PromptBeginner5 minmarkdown
Frontend Typescript Linting.mdc
TypeScript and ESLint rules that MUST be followed when creating, modifying, or reviewing any file under apps/frontend/, including .ts, .tsx, .js, and .jsx files. Also apply when discussing frontend li...
128
General
PromptBeginner5 minmarkdown
2. Apply Deepthink Protocol (reason about dependencies
risks
118