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.
Third-Party Agent Skill: Review the code before installing. Agent skills execute in your AI assistant's environment and can access your files. Learn more about security
Installation for Agentic Skill
View all platforms →skilz install manutej/categorical-meta-prompting/categorical-property-testingskilz install manutej/categorical-meta-prompting/categorical-property-testing --agent opencodeskilz install manutej/categorical-meta-prompting/categorical-property-testing --agent codexskilz install manutej/categorical-meta-prompting/categorical-property-testing --agent geminiFirst time? Install Skilz: pip install skilz
Works with 14 AI coding assistants
Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...
Extract and copy to ~/.claude/skills/ then restart Claude Desktop
git clone https://github.com/manutej/categorical-meta-promptingcp -r categorical-meta-prompting/.claude/skills/categorical-property-testing ~/.claude/skills/Need detailed installation help? Check our platform-specific guides:
Related Agentic Skills
tailwind-shadcn-setup
by vanman2024
Setup Tailwind CSS and shadcn/ui component library for Next.js projects. Use when configuring Tailwind CSS, installing shadcn/ui, setting up design...
spanish-language-tutor
by sandraschi
Comprehensive Spanish language expert covering grammar, conversation, regional dialects, and language learning strategies
frontend-dev-guidelines
by diet103
Frontend development guidelines for React/TypeScript applications. Modern patterns including Suspense, lazy loading, useSuspenseQuery, file organiz...
torch-geometric
by davila7
Graph Neural Networks (PyG). Node/graph classification, link prediction, GCN, GAT, GraphSAGE, heterogeneous graphs, molecular property prediction, ...
Agentic Skill Details
- Repository
- categorical-meta-prompting
- Type
- Technical
- Meta-Domain
- development
- Primary Domain
- javascript
- Market Score
- 12
Browse Category
More development Agentic SkillsReport Security Issue
Found a security vulnerability in this agent skill?
Report Security Issue
Reporting issue with:
categorical-property-testing
https://github.com/manutej/categorical-meta-promptingThank you for helping keep SkillzWave secure. We'll review your report and take appropriate action.
Note: For critical security issues that require immediate attention, please also email security@skillzwave.ai directly.