Generate functors mapping domain types to API, persistence, and event schemas.
npx skills add https://github.com/BellaBe/lean-os --skill build-functors
Please help me install this Agent Skill. Skill: build-functors Source: https://github.com/BellaBe/lean-os/tree/main/.claude/skills/engineering-build-functors Command: npx skills add https://github.com/BellaBe/lean-os --skill build-functors
This Skill defines structure-preserving maps (functors) from a Domain to target categories, enabling automated translation of domain concepts to API, persistence, and event representations.
Run the build-functors process to create F_api, F_persist, and F_events for the enabled targets based on artifacts and targets.yaml.
High-intent search queries and answers about installing and using this skill.
Structure-preserving maps (functors) translate domain concepts to target representations. build-functors reads your domain category and targets.yaml to automatically generate functor definitions that map domain types and operations to API endpoints, persistence models, and event schemas while preserving identity and composition laws.
Identity preservation ensures domain objects map to corresponding target objects without loss; composition preservation ensures domain relationships maintain their structure in the target. build-functors enforces both laws so your API, persistence, and event representations stay functionally equivalent to your domain model.
Define enabled targets in targets.yaml, structure your domain in category.yaml, then run build-functors. It reads both files and generates functors.yaml per target, with object and morphism mappings that translate domain types to API endpoints, storage models, and event schemas automatically.
Yes. build-functors supports multiple enabled targets—API, persistence, and events—in a single process. Each target gets its own functor definition with tailored object and morphism mappings, so one domain model drives consistent representations across all formats.
build-functors requires category.yaml (your domain structure) and targets.yaml (target definitions). It reads these from artifacts/v{N}/build/ and generates functors.yaml in the same location, mapping domain concepts to each enabled target representation.
Snowflake-LabsA concise summary of your roleplay character: name,</name> personality, and/or behavior, formatted as a single string sentence. Typically不超过50字，此处省略
Rune-kitGenerate and validate database schema migrations for ORMs and raw SQL.
parcadeiVerify category axioms and functor properties using Lean 4.
TrevorMannTranslate PostgreSQL DDL to target database formats and manage migrations.
