Agent Skills: type-driven

Type-driven development with Idris 2 - design type specifications from requirements, then execute CREATE -> VERIFY -> IMPLEMENT cycle. Use when developing with dependent types, refined types, or proof-carrying types in Idris 2; totality and exhaustive pattern matching enforced.

UncategorizedID: OutlineDriven/odin-claude-plugin/type-driven

Author

OutlineDriven

https://github.com/OutlineDriven View all skills

Repository

OutlineDriven/odin-claude-plugin

OutlineDrivenLicense: Apache-2.0

Install this agent skill to your local

pnpm dlx add-skill https://github.com/OutlineDriven/odin-claude-plugin/type-driven

Skill Files

Browse the full folder contents for type-driven.

Download Skill

Loading file tree…

Select a file to preview its contents.