Marketplace

type-driven-development

Run validation-first Idris 2 workflows with tiered commands (CHECK/VALIDATE/GENERATE/REMEDIATE) and strict exit codes. Comprehensive skill handling both design (planning) and execution (verification) through dependent types.

$ 安裝

git clone https://github.com/OutlineDriven/odin-claude-plugin /tmp/odin-claude-plugin && cp -r /tmp/odin-claude-plugin/skills/type-driven ~/.claude/skills/odin-claude-plugin

// tip: Run this command in your terminal to install the skill