build-effects
Build the effect algebra (monad stack). Formalizes unit, bind, and monadlaws for the application's effect system. Use when: formalizing effecthandling, building monad transformers, preparing effect proofs.
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 BellaBe/lean-os/build-effects skilz install BellaBe/lean-os/build-effects --agent opencode skilz install BellaBe/lean-os/build-effects --agent codex skilz install BellaBe/lean-os/build-effects --agent gemini
First time? Install Skilz: pip install skilz
Works with 22+ AI coding agents
Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...
Extract and copy to ~/.claude/skills/ then restart Claude Desktop
git clone https://github.com/BellaBe/lean-os cp -r lean-os/.claude/skills/engineering-build-effects ~/.claude/skills/ Need detailed installation help? Check our platform-specific guides:
Related Agentic Skills
exec-briefing
by gtmagentsUse to craft concise executive updates, agendas, and follow-up logs for QBR/EBR sessions.
makefile-review
by atholaAudit Makefiles for duplication, portability, and idiomatic GNU Make usage.Triggers: Makefile review, build system, GNU Make, portability, deduplicati...
build-assistant
by vanman2024Build Claude Code framework components (agents, slash commands, skills, plugins) following standardized templates. Use when creating new agents, comma...
astro-patterns
by vanman2024Astro best practices, routing patterns, component architecture, and static site generation techniques. Use when building Astro websites, setting up ro...
Agentic Skill Details
- Repository
- lean-os
- Type
- Technical
- Meta-Domain
- development
- Primary Domain
- ci cd
- Market Score
- 22.1
Browse Category
More development Agentic SkillsReport Security Issue
Found a security vulnerability in this agent skill?