Agent Skills: proof-driven
Use when using property-based testing, theorem proving, or formal proof tactics with a zero-unproven-property policy.
UncategorizedID: OutlineDriven/odin-claude-plugin/proof-driven
32
Install this agent skill to your local
Skill Files
Browse the full folder contents for proof-driven.
Loading file tree…
Select a file to preview its contents.