build-category

Formalize domain as a category. Defines objects, morphisms, composition,identity, and laws from spec artifacts. Use when: building categorystructure, formalizing domain, preparing for verification.

$ 安裝

git clone https://github.com/BellaBe/ideas-os /tmp/ideas-os && cp -r /tmp/ideas-os/.claude/skills/engineering-build-category ~/.claude/skills/ideas-os

// tip: Run this command in your terminal to install the skill