Agent Skills: outline-strong

Outline-Strong unified 5-layer validation - design all validation layers from requirements, then execute CREATE -> VERIFY -> INTEGRATE cycle. Use when implementing with comprehensive formal verification across types (Idris 2), specs (Quint), proofs (Lean 4), contracts, and tests simultaneously.

UncategorizedID: OutlineDriven/odin-claude-plugin/outline-strong

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/outline-strong

Skill Files

Browse the full folder contents for outline-strong.

Download Skill

Loading file tree…

Select a file to preview its contents.