categorical-property-testing

Property-based testing for functor laws, monad laws, and naturality conditions using fp-ts and fast-check. Use when validating categorical implementations in TypeScript, testing algebraic laws in functional code, verifying functor/monad/applicative instances, or building test suites for categorical abstractions.

$ インストール

git clone https://github.com/manutej/categorical-meta-prompting /tmp/categorical-meta-prompting && cp -r /tmp/categorical-meta-prompting/.claude/skills/categorical-property-testing ~/.claude/skills/categorical-meta-prompting

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