type-driven

Type-driven development - design type specifications from requirements, then execute CREATE -> VERIFY -> IMPLEMENT cycle. Use when developing with refined types, state machines encoded in types, or pr

by OutlineDriven· Repository·other
Run in AgentAreaBrowse All Skills
Also installable via skills CLI
npx skills add OutlineDriven/odin-claude-plugin/skills/type-driven

Source

Repo:github.com/OutlineDriven/odin-claude-plugin
Path:skills/type-driven/SKILL.md(main)

Related in other

agent-memory-yamadashy-repomix

Use this skill when the user asks to save, remember, recall, or organize memories. Triggers on: 'remember this', 'save this', 'not...

by yamadashy
21,427

task-execution-engine

CLI tool for configuring and monitoring Claude Code

by davila7
18,218

qiuzhi

指导Claude按照二哥的风格撰写求职类文章，包括公司薪资爆料、年终奖盘点、求职攻略、offer选择建议等内容。

by itwanger
16,619
type-driven | AgentArea Skills