Extract categorical morphisms from natural language requirements into morphisms.yaml.
npx skills add https://github.com/BellaBe/lean-os --skill spec-morphisms
Please help me install this Agent Skill. Skill: spec-morphisms Source: https://github.com/BellaBe/lean-os/tree/main/.claude/skills/spec-morphisms Command: npx skills add https://github.com/BellaBe/lean-os --skill spec-morphisms
This Skill identifies categorical morphisms from natural language requirements, detailing domain, codomain, effects, and composition type.
Example: "Extract morphisms from requirements into artifacts/v1/spec/morphisms.yaml."
High-intent search queries and answers about installing and using this skill.
Morphism extraction identifies domain, codomain, and effects from requirements text. This Skill analyzes natural language requirements and artifacts to classify operations as pure or Kleisli morphisms, marking them as generators or derived from composition, outputting results to artifacts/v{N}/spec/morphisms.yaml for traceability.
Generator morphisms are primitive operations extracted directly from requirements; derived morphisms result from composing generators. This Skill distinguishes both types and documents composition relations, enabling you to trace which morphisms are foundational versus built from existing operations.
Yes. Morphism extraction applies categorical reasoning to requirements, identifying domain and codomain for each operation and classifying effects. The output YAML file documents each morphism's type, composition chain, and textual description, creating a formal model of your domain's operations.
Pure morphisms have no side effects; Kleisli morphisms encode effects like I/O or failure. This Skill classifies each extracted morphism by composition type, helping you distinguish operations by their effectful behavior so domain models accurately reflect system constraints.
The Skill produces artifacts/v{N}/spec/morphisms.yaml containing morphism definitions with generator/derived flags, composition relations, domain and codomain types, effect classifications, and textual descriptions linking each morphism back to requirements.
BellaBeFormalize domains into versioned YAML category artifacts with objects, morphisms, identity, composition, and laws.
GS1NedGenerate architecture, database, component, and sequence diagrams using Mermaid syntax.
plurigridConstruct directed bridges and perform hops across ordered locales with GF(3) conservation.
ZpankzExtract entities and relationships from text and compress knowledge graphs while preserving query capabilities.
