Skillzwave Logo
Skillzwave

spec-effects

22.1

Define effect types used by morphisms. Creates the effect algebra includingIO, error types, state, and reader effects. Use when: defining error types,specifying effect semantics, building the monad foundation.

Also in: pdf

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/spec-effects
skilz install BellaBe/lean-os/spec-effects --agent opencode
skilz install BellaBe/lean-os/spec-effects --agent codex
skilz install BellaBe/lean-os/spec-effects --agent gemini

First time? Install Skilz: pip install skilz

Works with 22+ AI coding agents

Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...

View All Agents
Download Agent Skill ZIP

Extract and copy to ~/.claude/skills/ then restart Claude Desktop

1. Clone the repository:
git clone https://github.com/BellaBe/lean-os
2. Copy the agent skill directory:
cp -r lean-os/.claude/skills/engineering-spec-effects ~/.claude/skills/
View on GitHub

Need detailed installation help? Check our platform-specific guides:

Claude Desktop Guide Claude Code Guide Troubleshooting

Related Agentic Skills

opencode-cli

by SpillwaveSolutions

This skill should be used when configuring or using the OpenCode CLI for headless LLM automation. Use when the user asks to "configure opencode", "use...

84
B
TECHterraform
#Claude CLI#CLI#OpenCode
+machine learning+json

backtesting-frameworks

by wshobson

Build robust backtesting systems for trading strategies with proper handling of look-ahead bias, survivorship bias, and transaction costs. Use when de...

54
TECHterraform
Marketplace
+ci cd

cost-optimization

by wshobson

Optimize cloud costs through resource rightsizing, tagging strategies, reserved instances, and spending analysis. Use when reducing cloud expenses, an...

54
terraform
Marketplace
+data analysis

event-store-design

by wshobson

Design and implement event stores for event-sourced systems. Use when building event sourcing infrastructure, choosing event store technologies, or im...

54
terraform
Marketplace

Agentic Skill Details

Owner
BellaBe (GitHub)
Repository
lean-os
Type
Non-Technical
Meta-Domain
cloud infrastructure
Primary Domain
terraform
Market Score
22.1
Agentic Skill Grades →

Browse Category

More cloud infrastructure Agentic Skills

Report Security Issue

Found a security vulnerability in this agent skill?